World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
6731
World Ranking
8056
National Ranking
394

Overview

Ina Schaefer is affiliated with Technische Universität Braunschweig in Germany. Their research primarily lies within the field of Computer Science, with a significant focus on subfields such as Artificial Intelligence, Software, Information Systems, Computational Theory and Mathematics, and Computer Networks and Communications.

Their main topics of work include:

  • Advanced Software Engineering Methodologies
  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Model-Driven Software Engineering Techniques
  • Security and Verification in Computing

Ina Schaefer has published extensively, with recent papers that cover a range of software engineering and computational topics. Notable publications include:

  • "Evaluating state-of-the-art # SAT solvers on industrial configuration spaces," 2023, Empirical Software Engineering
  • "Custom-tailored clone detection for IEC 61131-3 programming languages," 2021, Journal of Systems and Software
  • "Guiding the evolution of product-line configurations," 2021, Software & Systems Modeling
  • "TRPM3-mediated dynamic mitochondrial activity in nerve growth factor-induced latent sensitization of chronic low back pain," 2022, Pain
  • "Correctness-by-Construction," 2023, ACM SIGAda Ada Letters

They frequently collaborate with several researchers, including:

  • Tobias Runge
  • Thomas Thüm
  • Tabea Bordis
  • Tobias Heß
  • Alex Potanin

Ina Schaefer's work appears regularly in specific publication venues such as:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Gesellschaft für Informatik (GI)
  • Journal of Systems and Software
  • ACM Transactions on Software Engineering and Methodology

Best Publications

  • A Classification and Survey of Analysis Strategies for Software Product Lines

    Thomas Thüm;Sven Apel;Christian Kästner;Ina Schaefer

  • Delta-oriented programming of software product lines

    Ina Schaefer;Lorenzo Bettini;Ferruccio Damiani;Nico Tanzarella

  • Evolution of software in automated production systems

    Birgit Vogel-Heuser;Alexander Fay;Ina Schaefer;Matthias Tichy

  • Software diversity: state of the art and perspectives

    Ina Schaefer;Rick Rabiser;Dave Clarke;Lorenzo Bettini

  • Abstract delta modelling

    Dave Clarke;Michiel Helvensteijn;Ina Schaefer

  • Abstract delta modeling

    Dave Clarke;Michiel Helvensteijn;Ina Schaefer

  • Incremental model-based testing of delta-oriented software product lines

    Malte Lochau;Ina Schaefer;Jochen Kamischke;Sascha Lity

  • Flexible product line engineering with a virtual platform

    Michał Antkiewicz;Wenbin Ji;Thorsten Berger;Krzysztof Czarnecki

  • Variability Modelling for Model-Driven Development of Software Product Lines

    Ina Schaefer

  • Family-based deductive verification of software product lines

    Thomas Thüm;Ina Schaefer;Sven Apel;Martin Hentschel

  • First-class variability modeling in Matlab/Simulink

    Arne Haber;Carsten Kolassa;Peter Manhart;Pedram Mir Seyed Nazari

  • Analysis Strategies for Software Product Lines

    Thomas Thüm;Sven Apel;Christian Kästner;Martin Kuhlemann

  • Hierarchical Variability Modeling for Software Architectures

    Arne Haber;Holger Rendel;Bernhard Rumpe;Ina Schaefer

  • Is there a mismatch between real-world feature models and product-line research?

    Alexander Knüppel;Thomas Thüm;Stephan Mennicke;Jens Meinicke

  • Pure delta-oriented programming

    Ina Schaefer;Ferruccio Damiani

  • Compositional type-checking for delta-oriented programming

    Ina Schaefer;Lorenzo Bettini;Ferruccio Damiani

  • DeltaEcore - A Model-Based Delta Language Generation Framework.

    Christoph Seidl;Ina Schaefer;Uwe Aßmann

  • From model-based design to formal verification of adaptive embedded systems

    Rasmus Adler;Ina Schaefer;Tobias Schuele;Eric Vecchié

  • A classification of product sampling for software product lines

    Mahsa Varshosaz;Mustafa Al-Hajjaji;Thomas Thüm;Tobias Runge

  • System-Level Test Case Prioritization Using Machine Learning

    Remo Lachmann;Sandro Schulze;Manuel Nieke;Christoph Seidl

  • Hierarchical Variability Modeling for Software Architectures

    Arne Haber;Holger Renel;Bernhard Rumpe;Ina Schaefer

Frequent Co-Authors

Thomas Thüm
Thomas Thüm University of Ulm
Bernhard Rumpe
Bernhard Rumpe RWTH Aachen University
Birgit Vogel-Heuser
Birgit Vogel-Heuser Technical University of Munich
Sven Apel
Sven Apel Saarland University
Reiner Hähnle
Reiner Hähnle Technical University of Darmstadt
Gunter Saake
Gunter Saake Otto-von-Guericke University Magdeburg
Christian Kästner
Christian Kästner Carnegie Mellon University
Tiziana Margaria
Tiziana Margaria University of Limerick
Andreas Podelski
Andreas Podelski University of Freiburg
Bernhard Steffen
Bernhard Steffen TU Dortmund University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a range of related disciplines and online degree pathways. Many students consider areas like environmental engineering, mechanical engineering, and physics, which complement a computer science background and expand career possibilities.

For those interested in sustainability and technology, pursuing the cheapest online environmental science degree can lead to roles in data analysis, environmental consulting, or green tech innovation. Similarly, an online degree in mechanical engineering can pair well with computer science for careers in robotics, manufacturing, and automation.

If you’re fascinated by scientific principles and problem-solving, the cheapest online physics degree can open avenues in research, software development, and high-tech industries. For students focused on big data and analytics, numerous data science programs offer affordable and flexible online options to launch careers in one of today’s fastest-growing tech sectors.

By considering these related degrees, you can further diversify your skill set and adapt to the dynamic demands of the digital workforce.

Best Scientists Citing Ina Schaefer

Trending Scientists