Ina Schaefer

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 182

Top Venues

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS (2024)
Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm
Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS (2024)
Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau
Sampling Cardinality-Based Feature Models. VaMoS (2024)
Domenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl, Ina Schaefer
Coverage-Driven Test Automation for Highly-Configurable Railway Systems. VaMoS (2023)
Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger
Consistency in the View-Based Development of Cyber-Physical Systems (Convide). MoDELS (Companion) (2023)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint). CoRR (2023)
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR (2023)
Lukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling. CoRR (2023)
Kamil Rosiak, Ina Schaefer
The e4CompareFramework: Annotation-based Software Product-Line Extraction. SPLC (B) (2023)
Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer
A Query Language for Software Architecture Information (Extended version). CoRR (2023)
Lukas Birkemeyer, Christian King, Ina Schaefer
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review. ITSC (2023)
Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19 (2) (2023)
Ina Schaefer
Quantum Software Engineering - Quo Vadis? Software Engineering (2023)
Domenik Eichhorn, Tobias Pett, Tobias Osborne, Ina Schaefer
Quantum Computing for Feature Model Analysis: Potentials and Challenges. SPLC (A) (2023)
Lukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling. ITSC (2023)
Maurice H. ter Beek, Ina Schaefer
Systems and software product lines of the future. J. Syst. Softw. 199 (2023)
Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer
A Query Language for Software Architecture Information. ECSA (2023)
Anurudh Peduri, Ina Schaefer, Michael Walter
QbC: Quantum Correctness by Construction. CoRR (2023)
Sven Jordan, Christoph König, Lukas Linsbauer, Ina Schaefer
Automated Integration of Heteregeneous Architecture Information into a Unified Model. ECSA (2023)
Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
A model-based mutation framework for IEC61131-3 manufacturing systems. Autom. 71 (5) (2023)
Birgit Vogel-Heuser, Tobias Kleinert, Ina Schaefer
Methods, approaches and applications in software-driven manufacturing. Autom. 71 (5) (2023)
Lukas Birkemeyer, Christian King, Ina Schaefer
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review. CoRR (2023)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? Q-SE@ICSE (2023)
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28 (2) (2023)
Christoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer
True Variability Shining Through Taxonomy Mining. SPLC (A) (2023)
Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Continuous T-Wise Coverage. SPLC (A) (2023)
Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. J. Comput. Lang. 70 (2022)
Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer
Quantifying the variability mismatch between problem and solution space. MoDELS (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits for Correct-by-Construction Programming. CoRR (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM (2022)
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer
Verification Strategies for Feature-Oriented Software Product Lines. VaMoS (2022)
Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM Workshops (2022)
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE (2022)
Michael Nieke, Adrian Hoff, Ina Schaefer, Christoph Seidl
Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming. VaMoS (2022)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-based Fault Classification for Automotive Software. CoRR (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits: Correctness-by-Construction for Free. FORTE (2022)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21 (1) (2022)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-Based Fault Classification for Automotive Software. APLAS (2022)
Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Derivation of subset product lines in FeatureIDE. SPLC (B) (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC (2022)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. CoRR (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR (2022)
Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
X-by-Construction Meets Runtime Verification. ISoLA (1) (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR (2022)
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) (2022)
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Lukas Birkemeyer, Tobias Pett, Andreas Vogelsang, Christoph Seidl, Ina Schaefer
Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱. VaMoS (2022)
Sven Jordan, Lukas Linsbauer, Ina Schaefer
AutoArx: Digital Twins of Living Architectures. ECSA (2022)
Christoph König, Kamil Rosiak, Lukas Linsbauer, Ina Schaefer
Synchronizing software variants: a two-dimensional approach. SPLC (B) (2022)
Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) (2021)
Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer
Integration of UVL in FeatureIDE. SPLC (B) (2021)
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer
Applications of #SAT Solvers on Feature Models. VaMoS (2021)
Michael Nieke, Adrian Hoff, Christoph Seidl, Ina Schaefer
Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines. J. Comput. Lang. 63 (2021)
Alexander Knüppel, Leon Schaer, Ina Schaefer
How much Specification is Enough? Mutation Analysis for Software Contracts. FormaliSE@ICSE (2021)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. Software Engineering (2021)
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea (2021)
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
Stability of Product-Line Samplingin Continuous Integration. VaMoS (2021)
Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages. CoRR (2021)
Alexander Knüppel, Thomas Thüm, Ina Schaefer
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE (2021)
Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer
Hyper Explanations for Feature-Model Defect Analysis. VaMoS (2021)
Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
Custom-tailored clone detection for IEC 61131-3 programming languages. J. Syst. Softw. 182 (2021)
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer
Skill-Based Verification of Cyber-Physical Systems. Software Engineering (2021)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
18th Workshop on Automotive Software Engineering (ASE'21). Software Engineering (2021)
Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev (2021)
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE (2020)
Alexander Schlie, Sandro Schulze, Ina Schaefer
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. SE (2020)
Juliane Fischer, Birgit Vogel-Heuser, Fabian Haben, Ina Schaefer
Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software. IEEM (2020)
Dilian Gurov, Paula Herber, Ina Schaefer
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) (2020)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
ASE 2020 Preface. Software Engineering (Workshops) (2020)
Tabea Bordis, Tobias Runge, Ina Schaefer
Correctness-by-construction for feature-oriented software product lines. GPCE (2020)
Chico Sundermann, Thomas Thüm, Ina Schaefer
Evaluating #SAT solvers on industrial feature models. VaMoS (2020)
Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
Ernst Denert Software Engineering Award 2020. Denert Award (2020)
Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. SPLC (A) (2020)
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
SMT-based variability analyses in FeatureIDE. VaMoS (2020)
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
Skill-Based Verification of Cyber-Physical Systems. FASE (2020)
Tobias Pett, Domenik Eichhorn, Ina Schaefer
Risk-based compatibility analysis in automotive systems engineering. MoDELS (Companion) (2020)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) (2020)
Juliane Fischer, Birgit Vogel-Heuser, Jan Wilch, Frieder Loch, Kathrin Land, Ina Schaefer
Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse. SMC (2020)
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Variational correctness-by-construction. VaMoS (2020)
Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer
Consistency-preserving evolution planning on feature models. SPLC (A) (2020)
Alexander Schlie, Sandro Schulze, Ina Schaefer
Recovering variability information from source code of clone-and-own software systems. VaMoS (2020)
Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
X-by-Construction - Correctness Meets Probability. ISoLA (1) (2020)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
17. Workshop Automotive Software Engineering. SE (2020)
Alexander Knüppel, Tobias Runge, Ina Schaefer
Scaling Correctness-by-Construction. ISoLA (1) (2020)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
Feature-oriented contract composition. SPLC (A) (2019)
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
Product sampling for product lines: the scalability challenge. SPLC (A) (2019)
Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer
Retest test selection for product-line regression testing of variants and versions of variants. J. Syst. Softw. 147 (2019)
Safa Bougouffa, Birgit Vogel-Heuser, Juliane Fischer, Ina Schaefer, Huaxia Li
Visualization of Variability Analysis of Control Software From Industrial Automation Systems. SMC (2019)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. FASE (2019)
Steffen Helke, Ina Schaefer, Andreas Vogelsang
16. Workshop Automotive Software Engineering. SE/SWM (2019)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
Feature-oriented contract composition. J. Syst. Softw. 152 (2019)
Alexander Schlie, Kamil Rosiak, Oliver Urbaniak, Ina Schaefer, Birgit Vogel-Heuser
Analyzing variability in automation software with the variability analysis toolkit. SPLC (B) (2019)
Kamil Rosiak, Oliver Urbaniak, Alexander Schlie, Christoph Seidl, Ina Schaefer
Analyzing variability in 25 years of industrial legacy software: an experience report. SPLC (B) (2019)
Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
Ernst Denert Software Engineering Awards 2019. Denert Award (2019)
Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. SEFM (2019)
Thomas Thüm, Christoph Seidl, Ina Schaefer
On language levels for feature modeling notations. SPLC (B) (2019)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) (2019)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
Towards efficient analysis of variation in time and space. SPLC (B) (2019)
Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang
Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34 (4) (2019)

Ina Schaefer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ina Schaefer