| 2026 | GPCE | Comparing Solver Representations for Analyzing Cardinality-Based Feature Models. | Fabian Eger, Lukas Gthing, Kevin Feichtinger, Ina Schaefer |
| 2025 | FORTE | Scaling Information Flow Control By-Construction to Component-Based Software Architectures. | Rasmus C. Rnneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer |
| 2025 | SPLC | Towards Consistency Preservation for Multi-Domain Variability Modeling. | Dirk Neumann, Tobias Pett, Ina Schaefer |
| 2025 | SPLC | Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems. | Tim Bchle, Erik Hofmayer, Christoph Knig, Tobias Pett, Ina Schaefer |
| 2025 | SPLC | Automated Learning of Software Configuration Spaces is not Easy. | Mathis Wei, Robert Mller, Lukas Gthing, Tobias Vente, Lukas Wegmeth, Ina Schaefer, Malte Lochau |
| 2024 | GI | Towards View-based Development of Quantum Software. | Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer |
| 2024 | ISoLA | X-by-Construction Meets AI. | Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer |
| 2024 | ISoLA | Towards AI-Assisted Correctness-by-Construction Software Development. | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer |
| 2024 | MODELS | Consistency Is Key: Can Your Product Line Realise What It Models? | Philip Ochs, Tobias Pett, Ina Schaefer |
| 2024 | SPLC | Out-of-the-Box Prediction of Non-Functional Variant Properties Using Automated Machine Learning. | Lukas Gthing, Tobias Pett, Ina Schaefer |
| 2024 | SPLC | MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. | Tobias Pett, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2024 | TAP | Model-Based Testing of Quantum Computations. | Malte Lochau, Ina Schaefer |
| 2023 | ECSA | A Query Language for Software Architecture Information. | Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer |
| 2023 | ECSA | Automated Integration of Heteregeneous Architecture Information into a Unified Model. | Sven Jordan, Christoph Knig, Lukas Linsbauer, Ina Schaefer |
| 2023 | GI | Providing Quantum Readiness: The Vision of the ProvideQ Toolbox. | Domenik Eichhorn, Maximilian Schweikart, Nick Poster, Tobias Osborne, Ina Schaefer |
| 2023 | MODELS | Consistency in the View-Based Development of Cyber-Physical Systems (Convide). | Ralf Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger |
| 2023 | SPLC | Quantum Computing for Feature Model Analysis: Potentials and Challenges. | Domenik Eichhorn, Tobias Pett, Tobias Osborne, Ina Schaefer |
| 2023 | SPLC | True Variability Shining Through Taxonomy Mining. | Christoph Knig, Kamil Rosiak, Loek Cleophas, Ina Schaefer |
| 2023 | SPLC | Continuous T-Wise Coverage. | Tobias Pett, Tobias He, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2023 | SPLC | The e4CompareFramework: Annotation-based Software Product-Line Extraction. | Kamil Rosiak, Ina Schaefer |
| 2022 | APLAS | Model-Based Fault Classification for Automotive Software. | Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sren van der Wall, Sebastian Wolff |
| 2022 | ECSA | AutoArx: Digital Twins of Living Architectures. | Sven Jordan, Lukas Linsbauer, Ina Schaefer |
| 2022 | FORTE | Traits: Correctness-by-Construction for Free. | Tobias Runge, Alex Potanin, Thomas Thm, Ina Schaefer |
| 2022 | GPCE | Generic Solution-Space Sampling for Multi-domain Product Lines. | Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2022 | ICTAC | A Specification Logic for Programs in the Probabilistic Guarded Command Language. | Ral Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
| 2022 | ISoLA | X-by-Construction Meets Runtime Verification. | Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer |
| 2022 | ISoLA | Runtime Verification of Correct-by-Construction Driving Maneuvers. | Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer |
| 2022 | MODELS | Quantifying the variability mismatch between problem and solution space. | Marc Hentze, Chico Sundermann, Thomas Thm, Ina Schaefer |
| 2022 | SEFM | VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. | Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer |
| 2022 | SEFM | Information Flow Control-by-Construction for an Object-Oriented Language. | Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |
| 2022 | SPLC | Synchronizing software variants: a two-dimensional approach. | Christoph Knig, Kamil Rosiak, Lukas Linsbauer, Ina Schaefer |
| 2022 | SPLC | Derivation of subset product lines in FeatureIDE. | Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2021 | ICSE | How much Specification is Enough? Mutation Analysis for Software Contracts. | Alexander Knppel, Leon Schaer, Ina Schaefer |
| 2021 | ICSE | GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. | Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2021 | SPLC | AutoSMP: an evaluation platform for sampling algorithms. | Tobias Pett, Sebastian Krieter, Thomas Thm, Malte Lochau, Ina Schaefer |
| 2021 | SPLC | Integration of UVL in FeatureIDE. | Chico Sundermann, Tobias He, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer |
| 2020 | FASE | Skill-Based Verification of Cyber-Physical Systems. | Alexander Knppel, Inga Jatzkowski, Marcus Nolte, Thomas Thm, Tobias Runge, Ina Schaefer |
| 2020 | GPCE | Correctness-by-construction for feature-oriented software product lines. | Tabea Bordis, Tobias Runge, Ina Schaefer |
| 2020 | ICSE | Lattice-Based Information Flow Control-by-Construction for Security-by-Design. | Tobias Runge, Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2020 | ISoLA | X-by-Construction - Correctness Meets Probability. | Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson |
| 2020 | ISoLA | Automated Verification of Embedded Control Software - Track Introduction. | Dilian Gurov, Paula Herber, Ina Schaefer |
| 2020 | ISoLA | Scaling Correctness-by-Construction. | Alexander Knppel, Tobias Runge, Ina Schaefer |
| 2020 | MODELS | Risk-based compatibility analysis in automotive systems engineering. | Tobias Pett, Domenik Eichhorn, Ina Schaefer |
| 2020 | SMC | Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse. | Juliane Fischer, Birgit Vogel-Heuser, Jan Wilch, Frieder Loch, Kathrin Land, Ina Schaefer |
| 2020 | SP | Ernst Denert Software Engineering Award 2020. | Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| 2020 | SPLC | Consistency-preserving evolution planning on feature models. | Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer |
| 2020 | SPLC | GuyDance: Guiding Configuration Updates for Product-Line Evolution. | Michael Nieke, Gabriela Cunha Sampaio, Thomas Thm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer |
| 2020 | SPLC | Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. | Alexander Schlie, Alexander Knppel, Christoph Seidl, Ina Schaefer |
| 2019 | FASE | Tool Support for Correctness-by-Construction. | Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thm, Derrick G. Kourie, Bruce W. Watson |
| 2019 | FM | Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. | Tobias Runge, Thomas Thm, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2019 | SMC | Visualization of Variability Analysis of Control Software From Industrial Automation Systems. | Safa Bougouffa, Birgit Vogel-Heuser, Juliane Fischer, Ina Schaefer, Huaxia Li |
| 2019 | SEFM | SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. | Paul Maximilian Bittner, Thomas Thm, Ina Schaefer |
| 2019 | SPLC | Product sampling for product lines: the scalability challenge. | Tobias Pett, Thomas Thm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer |
| 2019 | SPLC | Analyzing variability in 25 years of industrial legacy software: an experience report. | Kamil Rosiak, Oliver Urbaniak, Alexander Schlie, Christoph Seidl, Ina Schaefer |
| 2019 | SPLC | Analyzing variability in automation software with the variability analysis toolkit. | Alexander Schlie, Kamil Rosiak, Oliver Urbaniak, Ina Schaefer, Birgit Vogel-Heuser |
| 2019 | SPLC | Feature-oriented contract composition. | Thomas Thm, Alexander Knppel, Stefan Krger, Stefanie Bolle, Ina Schaefer |
| 2019 | SPLC | On language levels for feature modeling notations. | Thomas Thm, Christoph Seidl, Ina Schaefer |
| 2019 | SPLC | Towards efficient analysis of variation in time and space. | Thomas Thm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer |
| 2018 | ICTAC | An Automata-Based View on Configurability and Uncertainty. | Martin Berglund, Ina Schaefer |
| 2018 | ISoLA | X-by-Construction. | Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2018 | ISoLA | Scalability of Deductive Verification Depends on Method Call Treatment. | Alexander Knppel, Thomas Thm, Carsten Pardylla, Ina Schaefer |
| 2018 | ISoLA | Towards Confidentiality-by-Construction. | Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson |
| 2018 | ITP | Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. | Alexander Knppel, Thomas Thm, Carsten Immanuel Pardylla, Ina Schaefer |
| 2018 | MODELSWARD | Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines. | Sven Schuster, Christoph Seidl, Ina Schaefer |
| 2018 | SPLC | Generative software product line development using variability-aware design patterns. | Christoph Seidl, Sven Schuster, Ina Schaefer |
| 2018 | SPLC | A classification of product sampling for software product lines. | Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer |
| 2017 | GECCO | Multi-objective black-box test case selection for system testing. | Remo Lachmann, Michael Felderer, Manuel Nieke, Sandro Schulze, Christoph Seidl, Ina Schaefer |
| 2017 | GI | Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures. | Kenny Wehling, Ina Schaefer |
| 2017 | ICFEM | Modularization of Refinement Steps for Agile Formal Methods. | Fabian Benduhn, Thomas Thm, Ina Schaefer, Gunter Saake |
| 2017 | ICSA | Decision Support for Reducing Unnecessary IT Complexity of Application Architectures. | Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer |
| 2017 | ICSE | Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. | Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thm, Ina Schaefer, Gunter Saake |
| 2017 | ICSR | Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. | Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer |
| 2017 | IFM | An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. | Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |
| 2017 | OOPSLA | Towards a development process for maturing Delta-oriented software product lines. | Sven Schuster, Christoph Seidl, Ina Schaefer |
| 2017 | OOPSLA | Automated recommendations for reducing unnecessary variability of technology architectures. | Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer |
| 2017 | SPLC | Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. | Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer |
| 2017 | SPLC | Variability Mining of Technical Architectures. | David Wille, Kenny Wehling, Christoph Seidl, Martin Pluchator, Ina Schaefer |
| 2016 | ICMLA | System-Level Test Case Prioritization Using Machine Learning. | Remo Lachmann, Sandro Schulze, Manuel Nieke, Christoph Seidl, Ina Schaefer |
| 2016 | ICSR | Applying Incremental Model Slicing to Product-Line Regression Testing. | Sascha Lity, Thomas Morbach, Thomas Thm, Ina Schaefer |
| 2016 | ICSR | Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. | Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson |
| 2016 | ISoLA | Correctness-by-Construction and Post-hoc Verification: Friends or Foes? | Maurice H. ter Beek, Reiner Hhnle, Ina Schaefer |
| 2016 | ISoLA | Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. | Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson |
| 2016 | ISoLA | Proof-Carrying Apps: Contract-Based Deployment-Time Verification. | Snke Holthusen, Michael Nieke, Thomas Thm, Ina Schaefer |
| 2016 | ISoLA | Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? | Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas |
| 2016 | ISoLA | Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. | David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer |
| 2016 | OOPSLA | Implicit constraints in partial feature models. | Sofia Ananieva, Matthias Kowal, Thomas Thm, Ina Schaefer |
| 2016 | OOPSLA | Fine-grained test case prioritization for integration testing of delta-oriented software product lines. | Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Franz Frchtegott, Ina Schaefer |
| 2016 | OOPSLA | Higher-order delta modeling for software product line evolution. | Sascha Lity, Matthias Kowal, Ina Schaefer |
| 2016 | OOPSLA | Name resolution strategies in variability realization languages for software product lines. | Sven Schuster, Michael Nieke, Ina Schaefer |
| 2016 | OOPSLA | Variability mining of state charts. | David Wille, Sandro Schulze, Ina Schaefer |
| 2016 | SPLC | Synchronizing software variants with variantsync. | Tristan Pfofe, Thomas Thm, Sandro Schulze, Wolfram Fenske, Ina Schaefer |
| 2015 | GPCE | Generative software product line development using variability-aware design patterns. | Christoph Seidl, Sven Schuster, Ina Schaefer |
| 2015 | INDIN | Selected challenges of software evolution for automated production systems. | Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert |
| 2015 | INDIN | Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study. | Birgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl, Ina Schaefer |
| 2015 | MODELS | Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines. | Daniel Lddecke, Christoph Seidl, Ina Schaefer |
| 2015 | MODELS | Modeling user intentions for in-car infotainment systems using Bayesian networks. | Daniel Lddecke, Christoph Seidl, Jens Schneider, Ina Schaefer |
| 2015 | SPLC | Delta-oriented test case prioritization for integration testing of software product lines. | Remo Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer |
| 2014 | FASE | Family-Based Performance Analysis of Variant-Rich Software Systems. | Matthias Kowal, Ina Schaefer, Mirco Tribastone |
| 2014 | GI | Towards Efficient and Effective Testing in Automotive Software Development. | Remo Lachmann, Ina Schaefer |
| 2014 | ICSE | Flexible product line engineering with a virtual platform. | Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lmmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer |
| 2014 | ICSE | Delta modeling for variant-rich and evolving manufacturing systems. | Matthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer, Birgit Vogel-Heuser |
| 2014 | ICST | Multi-objective Test Suite Optimization for Incremental Product Family Testing. | Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer |
| 2014 | ISoLA | Delta-Trait Programming of Software Product Lines. | Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann |
| 2014 | ISoLA | A Core Language for Separate Variability Modeling. | Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski |
| 2014 | ISoLA | Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). | Ina Schaefer, Maurice H. ter Beek |
| 2014 | MODELS | Ontology-Based Modeling of Context-Aware Systems. | Daniel Lddecke, Nina Bergmann, Ina Schaefer |
| 2014 | SPLC | Delta-oriented multi software product lines. | Ferruccio Damiani, Ina Schaefer, Tim Winkelmann |
| 2014 | SPLC | Family model mining for function block diagrams in automation software. | Snke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer, Birgit Vogel-Heuser |
| 2014 | SPLC | Integrated management of variability in space and time in software families. | Christoph Seidl, Ina Schaefer, Uwe Amann |
| 2013 | CADE | Reuse in Software Verification by Abstract Method Calls. | Reiner Hhnle, Ina Schaefer, Richard Bubel |
| 2013 | GI | Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen. | Snke Holthusen, Peter Manhart, Ina Schaefer, Sandro Schulze, Christian Singer, David Wille |
| 2013 | GI | Herausforderungen beim Testen von Fahrerassistenzsystemen. | Remo Lachmann, Ina Schaefer |
| 2013 | ICSE | Requirements-based delta-oriented SPL testing. | Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau |
| 2013 | SPLC | Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. | Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee |
| 2013 | SPLC | Engineering delta modeling languages. | Arne Haber, Katrin Hlldobler, Carsten Kolassa, Markus Look, Bernhard Rumpe, Klaus Mller, Ina Schaefer |
| 2013 | SPLC | Variability-aware safety analysis using delta component fault diagrams. | Christoph Seidl, Ina Schaefer, Uwe Amann |
| 2013 | SPLC | Interface variability in family model mining. | David Wille, Snke Holthusen, Sandro Schulze, Ina Schaefer |
| 2012 | ECAI | Supporting Agile Software Development by Natural Language Processing. | Barbara Plank, Thomas Sauer, Ina Schaefer |
| 2012 | FASE | Applying Design by Contract to Feature-Oriented Programming. | Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake |
| 2012 | GPCE | A formal foundation for dynamic delta-oriented software product lines. | Ferruccio Damiani, Luca Padovani, Ina Schaefer |
| 2012 | GPCE | Family-based deductive verification of software product lines. | Thomas Thm, Ina Schaefer, Martin Hentschel, Sven Apel |
| 2012 | ICSE | Delta-oriented model-based SPL regression testing. | Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz |
| 2012 | ISoLA | Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. | Ferruccio Damiani, Ina Schaefer |
| 2012 | ISoLA | Adaptable and Evolving Software for Eternal Systems - (Track Summary). | Reiner Hhnle, Ina Schaefer |
| 2012 | ISoLA | A Liskov Principle for Delta-Oriented Programming. | Reiner Hhnle, Ina Schaefer |
| 2012 | ISoLA | Approaches for Mastering Change. | Ina Schaefer, Malte Lochau, Martin Leucker |
| 2012 | SPLC | Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. | Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong |
| 2012 | SPLC | A transformational proof system for delta-oriented programming. | Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu |
| 2012 | TAP | Incremental Model-Based Testing of Delta-Oriented Software Product Lines. | Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity |
| 2011 | ECOOP | Verifying traits: a proof system for fine-grained reuse. | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer |
| 2011 | ECSA | Delta-oriented architectural variability using MontiCore. | Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer |
| 2011 | ICST | Proof Composition for Deductive Verification of Software Product Lines. | Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel |
| 2011 | ISoLA | A Hierarchical Variability Model for Software Product Lines. | Dilian Gurov, Bjarte M. stvold, Ina Schaefer |
| 2011 | SEW | Constraint-oriented Variability Modeling. | Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria |
| 2011 | SPLC | Dynamic delta-oriented programming. | Ferruccio Damiani, Ina Schaefer |
| 2011 | SPLC | Hierarchical Variability Modeling for Software Architectures. | Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden |
| 2010 | GPCE | Abstract delta modeling. | Dave Clarke, Michiel Helvensteijn, Ina Schaefer |
| 2010 | GPCE | Pure delta-oriented programming. | Ina Schaefer, Ferruccio Damiani |
| 2010 | ISoLA | Modeling and Analyzing Diversity - Description of EternalS Task Force 1. | Ina Schaefer |
| 2010 | SAC | Implementing software product lines using traits. | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer |
| 2010 | SPLC | Delta-Oriented Programming of Software Product Lines. | Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella |
| 2010 | SPLC | 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). | Ina Schaefer, Martin Becker, Ralf Carbon, Sven Apel |
| 2010 | SPLC | First International Workshop on Formal Methods in Software Product Line Engineering. | Ina Schaefer, Ralf Carbon |
| 2009 | SPLC | A Model-Based Framework for Automated Product Derivation. | Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter |
| 2008 | ICSE | Slicing for model reduction in adaptive embedded systems development. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2008 | SEFM | Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2007 | ICFEM | From Model-Based Design to Formal Verification of Adaptive Embedded Systems. | Rasmus Adler, Ina Schaefer, Tobias Schle, Eric Vecchi |
| 2007 | RV | Translation Validation of System Abstractions. | Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |
| 2006 | SSS | Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2005 | ESOP | Summaries for While Programs with Recursion. | Andreas Podelski, Ina Schaefer, Silke Wagner |