Ina Schaefer - RankMe

348 papers A* 1A 12B 41C 31Misc 2Journal 71Unranked 165

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Investigating Retargetability Claims for Quantum Compilers. CoRR Luke Southall, Joshua Ammermann, Rinor Kelmendi, Domenik Eichhorn, Ina Schaefer
2025	—	`conf`	Automated Learning of Software Configuration Spaces is not Easy. SPLC (A) Mathis Weiß, Robert Müller, Lukas Güthing, Tobias Vente, Lukas Wegmeth, Ina Schaefer, Malte Lochau
2025	—	`conf`	Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems. SPLC (A) Tim Bächle, Erik Hofmayer, Christoph König, Tobias Pett, Ina Schaefer
2025	C	`conf`	Model-Based Testing of Quantum Computations. Software Engineering Malte Lochau, Ina Schaefer
2025	—	`conf`	ProvideQ: A Quantum Optimization Toolbox. QSW Domenik Eichhorn, Nick Poser, Maximilian Schweikart, Ina Schaefer
2025	J	`jnl`	ProvideQ: A Quantum Optimization Toolbox. CoRR Domenik Eichhorn, Nick Poser, Maximilian Schweikart, Ina Schaefer
2025	—	`conf`	QSE 2025 Workshop Summary. Software Engineering Companion Malte Lochau, Benedikt Fauseweh, Ina Schaefer
2025	J	`jnl`	QbC: Quantum Correctness by Construction. Proc. ACM Program. Lang. Anurudh Peduri, Ina Schaefer, Michael Walter
2025	—	`conf`	Quantum Pattern Detection: Accurate State- and Circuit-Based Analyses. Q-SE Julian Shen, Joshua Ammermann, Christoph König, Ina Schaefer
2025	J	`jnl`	Quantum Pattern Detection: Accurate State- and Circuit-based Analyses. CoRR Julian Shen, Joshua Ammermann, Christoph König, Ina Schaefer
2025	C	`conf`	Scaling Information Flow Control By-Construction to Component-Based Software Architectures. FORTE Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer
2025	—	`conf`	Selective Sampling: A Complexity-Aware Sampling Strategy for Combinatorial Scenario-based Testing. VaMoS Lukas Birkemeyer, Tobias Pett, Tobias Runge, Ina Schaefer
2025	J	`jnl`	Sustainable Software Engineering: Concepts, Challenges, and Vision. ACM Trans. Softw. Eng. Methodol. Christoph König, Daniel J. Lang, Ina Schaefer
2025	—	`conf`	Towards Consistency Preservation for Multi-Domain Variability Modeling. SPLC (A) Dirk Neumann, Tobias Pett, Ina Schaefer
2025	J	`jnl`	Towards Quantum Software for Quantum Simulation. CoRR Maja Franz, Lukas Schmidbauer, Joshua Ammermann, Ina Schaefer, Wolfgang Mauerer
2024	—	`ch.`	Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective. Quantum Software Cecilia Carbonelli, Michael Felderer, Matthias Jung, Elisabeth Lobe, Malte Lochau, Sebastian Luber, Wolfgang Mauerer, Rudolf Ramler, Ina Schaefer, Christoph Schroth
2024	—	`conf`	Consistency Is Key: Can Your Product Line Realise What It Models? MoDELS (Companion) Philip Ochs, Tobias Pett, Ina Schaefer
2024	—	`book`	Ernst Denert Award for Software Engineering 2022 - Practice Meets Foundations Ernst Denert Award for Software Engineering Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
2024	C	`conf`	Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. Software Engineering Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
2024	—	`conf`	Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm
2024	J	`jnl`	From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design. Computer Tabea Bordis, Maximilian Kodetzki, Ina Schaefer
2024	C	`conf`	Model-Based Testing of Quantum Computations. TAP Malte Lochau, Ina Schaefer
2024	—	`conf`	MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2024	J	`jnl`	MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. CoRR Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2024	—	`conf`	Out-of-the-Box Prediction of Non-Functional Variant Properties Using Automated Machine Learning. SPLC (B) Lukas Güthing, Tobias Pett, Ina Schaefer
2024	—	`conf`	Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer
2024	—	`conf`	Quantum Solution for Configuration Selection and Prioritization. Q-SE@ICSE Joshua Ammermann, Fabian Jakob Brenneisen, Tim Bittner, Ina Schaefer
2024	J	`jnl`	Reusing d-DNNFs for Efficient Feature-Model Counting. ACM Trans. Softw. Eng. Methodol. Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
2024	—	`conf`	Sampling Cardinality-Based Feature Models. VaMoS Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau
2024	—	`conf`	Towards AI-Assisted Correctness-by-Construction Software Development. ISoLA (4) Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer
2024	—	`conf`	Towards View-based Development of Quantum Software. INFORMATIK Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer
2024	J	`jnl`	Towards View-based Development of Quantum Software. CoRR Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer
2024	—	`conf`	X-by-Construction Meets AI. ISoLA (4) Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer
2023	J	`jnl`	A Query Language for Software Architecture Information (Extended version). CoRR Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer
2023	B	`conf`	A Query Language for Software Architecture Information. ECSA Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer
2023	J	`jnl`	A model-based mutation framework for IEC61131-3 manufacturing systems. Autom. Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
2023	B	`conf`	Automated Integration of Heteregeneous Architecture Information into a Unified Model. ECSA Sven Jordan, Christoph König, Lukas Linsbauer, Ina Schaefer
2023	—	`conf`	Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? Q-SE@ICSE Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl
2023	J	`jnl`	Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint). CoRR Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl
2023	—	`conf`	Consistency in the View-Based Development of Cyber-Physical Systems (Convide). MoDELS (Companion) Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger
2023	—	`conf`	Continuous T-Wise Coverage. SPLC (A) Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2023	—	`conf`	Coverage-Driven Test Automation for Highly-Configurable Railway Systems. VaMoS Domenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl, Ina Schaefer
2023	J	`jnl`	Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
2023	J	`jnl`	Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
2023	J	`jnl`	Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2023	J	`jnl`	Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
2023	—	`conf`	Is Scenario Generation Ready for SOTIF? A Systematic Literature Review. ITSC Lukas Birkemeyer, Christian King, Ina Schaefer
2023	J	`jnl`	Is Scenario Generation Ready for SOTIF? A Systematic Literature Review. CoRR Lukas Birkemeyer, Christian King, Ina Schaefer
2023	J	`jnl`	Methods, approaches and applications in software-driven manufacturing. Autom. Birgit Vogel-Heuser, Tobias Kleinert, Ina Schaefer
2023	—	`conf`	Providing Quantum Readiness: The Vision of the ProvideQ Toolbox. GI-Jahrestagung Domenik Eichhorn, Maximilian Schweikart, Nick Poster, Tobias Osborne, Ina Schaefer
2023	J	`jnl`	QbC: Quantum Correctness by Construction. CoRR Anurudh Peduri, Ina Schaefer, Michael Walter
2023	—	`conf`	Quantum Computing for Feature Model Analysis: Potentials and Challenges. SPLC (A) Domenik Eichhorn, Tobias Pett, Tobias Osborne, Ina Schaefer
2023	C	`conf`	Quantum Software Engineering - Quo Vadis? Software Engineering Ina Schaefer
2023	—	`ch.`	Re-engineering Automation Software with the Variability Analysis Toolkit. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
2023	—	`conf`	SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling. ITSC Lukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer
2023	J	`jnl`	SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling. CoRR Lukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer
2023	J	`jnl`	Systems and software product lines of the future. J. Syst. Softw. Maurice H. ter Beek, Ina Schaefer
2023	—	`conf`	The e4CompareFramework: Annotation-based Software Product-Line Extraction. SPLC (B) Kamil Rosiak, Ina Schaefer
2023	—	`conf`	True Variability Shining Through Taxonomy Mining. SPLC (A) Christoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer
2022	—	`ed.`	10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022 FormaliSE@ICSE Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat
2022	J	`jnl`	A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022	C	`conf`	A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022	B	`conf`	AutoArx: Digital Twins of Living Architectures. ECSA Sven Jordan, Lukas Linsbauer, Ina Schaefer
2022	—	`conf`	Derivation of subset product lines in FeatureIDE. SPLC (B) Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022	—	`ed.`	Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations Denert Award Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
2022	—	`ch.`	Ernst Denert Software Engineering Award 2022. Ernst Denert Award for Software Engineering Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
2022	J	`jnl`	Ernst Denert Software-Engineering-Preis 2021. Softwaretechnik-Trends Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
2022	—	`conf`	Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming. VaMoS Michael Nieke, Adrian Hoff, Ina Schaefer, Christoph Seidl
2022	J	`jnl`	Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. J. Comput. Lang. Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer
2022	—	`conf`	Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱. VaMoS Lukas Birkemeyer, Tobias Pett, Andreas Vogelsang, Christoph Seidl, Ina Schaefer
2022	J	`jnl`	Flexible Correct-by-Construction Programming. CoRR Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2022	B	`conf`	Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022	J	`jnl`	Guiding the evolution of product-line configurations. Softw. Syst. Model. Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
2022	J	`jnl`	Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
2022	B	`conf`	Information Flow Control-by-Construction for an Object-Oriented Language. SEFM Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
2022	B	`conf`	Model-Based Fault Classification for Automotive Software. APLAS Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
2022	J	`jnl`	Model-based Fault Classification for Automotive Software. CoRR Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
2022	A	`conf`	Quantifying the variability mismatch between problem and solution space. MoDELS Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer
2022	—	`conf`	Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
2022	—	`conf`	Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
2022	—	`conf`	Synchronizing software variants: a two-dimensional approach. SPLC (B) Christoph König, Kamil Rosiak, Lukas Linsbauer, Ina Schaefer
2022	J	`jnl`	Traits for Correct-by-Construction Programming. CoRR Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
2022	C	`conf`	Traits: Correctness-by-Construction for Free. FORTE Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
2022	—	`conf`	VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM Workshops Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer
2022	—	`ch.`	Variability in Products and Production. Digital Transformation Alexander Egyed, Paul Grünbacher, Lukas Linsbauer, Herbert Prähofer, Ina Schaefer
2022	—	`conf`	Verification Strategies for Feature-Oriented Software Product Lines. VaMoS Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer
2022	—	`conf`	X-by-Construction Meets Runtime Verification. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
2021	C	`conf`	18th Workshop on Automotive Software Engineering (ASE'21). Software Engineering Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
2021	—	`conf`	Applications of #SAT Solvers on Feature Models. VaMoS Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer
2021	J	`jnl`	Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines. J. Comput. Lang. Michael Nieke, Adrian Hoff, Christoph Seidl, Ina Schaefer
2021	—	`conf`	AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
2021	J	`jnl`	Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages. CoRR Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
2021	J	`jnl`	Custom-tailored clone detection for IEC 61131-3 programming languages. J. Syst. Softw. Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
2021	—	`conf`	GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE Alexander Knüppel, Thomas Thüm, Ina Schaefer
2021	—	`conf`	How much Specification is Enough? Mutation Analysis for Software Contracts. FormaliSE@ICSE Alexander Knüppel, Leon Schaer, Ina Schaefer
2021	—	`conf`	Hyper Explanations for Feature-Model Defect Analysis. VaMoS Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer
2021	—	`conf`	Integration of UVL in FeatureIDE. SPLC (B) Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer
2021	C	`ed.`	Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021. Software Engineering (Satellite Events) Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann
2021	C	`conf`	Skill-Based Verification of Cyber-Physical Systems. Software Engineering Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer
2021	C	`ed.`	Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell. Software Engineering Anne Koziolek, Ina Schaefer, Christoph Seidl
2021	—	`conf`	Stability of Product-Line Samplingin Continuous Integration. VaMoS Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
2021	—	`conf`	Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
2021	C	`conf`	Tool Support for Correctness-by-Construction. Software Engineering Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
2021	—	`conf`	Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson
2021	—	`ch.`	Variant and Product Line Co-Evolution. Model-Based Engineering of Collaborative Embedded Systems Jörg Christian Kirchhof, Michael Nieke, Ina Schaefer, David Schmalzing, Michael Schulze
2020	—	`conf`	17. Workshop Automotive Software Engineering. SE Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
2020	C	`conf`	ASE 2020 Preface. Software Engineering (Workshops) Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
2020	—	`conf`	Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) Dilian Gurov, Paula Herber, Ina Schaefer
2020	—	`conf`	Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. SE Alexander Schlie, Sandro Schulze, Ina Schaefer
2020	—	`conf`	Consistency-preserving evolution planning on feature models. SPLC (A) Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer
2020	B	`conf`	Correctness-by-construction for feature-oriented software product lines. GPCE Tabea Bordis, Tobias Runge, Ina Schaefer
2020	—	`ed.`	Ernst Denert Award for Software Engineering 2019 - Practice Meets Foundations Denert Award Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
2020	—	`conf`	Ernst Denert Software Engineering Award 2020. Denert Award Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
2020	—	`conf`	Evaluating #SAT solvers on industrial feature models. VaMoS Chico Sundermann, Thomas Thüm, Ina Schaefer
2020	—	`conf`	GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
2020	—	`conf`	Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. SPLC (A) Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer
2020	—	`conf`	Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
2020	—	`conf`	Recovering variability information from source code of clone-and-own software systems. VaMoS Alexander Schlie, Sandro Schulze, Ina Schaefer
2020	—	`conf`	Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software. IEEM Juliane Fischer, Birgit Vogel-Heuser, Fabian Haben, Ina Schaefer
2020	—	`conf`	Risk-based compatibility analysis in automotive systems engineering. MoDELS (Companion) Tobias Pett, Domenik Eichhorn, Ina Schaefer
2020	—	`conf`	SMT-based variability analyses in FeatureIDE. VaMoS Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
2020	—	`ed.`	SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume B SPLC (B) Rafael Capilla, Philippe Collet, Paul Gazzillo, Jacob Krüger, Roberto Erick Lopez-Herrejon, Sarah Nadi, Gilles Perrouin, Iris Reinhartz-Berger, Julia Rubin, Ina Schaefer
2020	—	`conf`	Scaling Correctness-by-Construction. ISoLA (1) Alexander Knüppel, Tobias Runge, Ina Schaefer
2020	B	`conf`	Skill-Based Verification of Cyber-Physical Systems. FASE Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
2020	—	`ch.`	Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2020	B	`conf`	Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse. SMC Juliane Fischer, Birgit Vogel-Heuser, Jan Wilch, Frieder Loch, Kathrin Land, Ina Schaefer
2020	—	`conf`	Variational correctness-by-construction. VaMoS Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
2020	—	`conf`	X-by-Construction - Correctness Meets Probability. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
2019	—	`conf`	16. Workshop Automotive Software Engineering. SE/SWM Steffen Helke, Ina Schaefer, Andreas Vogelsang
2019	—	`conf`	Analyzing variability in 25 years of industrial legacy software: an experience report. SPLC (B) Kamil Rosiak, Oliver Urbaniak, Alexander Schlie, Christoph Seidl, Ina Schaefer
2019	—	`conf`	Analyzing variability in automation software with the variability analysis toolkit. SPLC (B) Alexander Schlie, Kamil Rosiak, Oliver Urbaniak, Ina Schaefer, Birgit Vogel-Heuser
2019	—	`conf`	Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
2019	—	`conf`	Ernst Denert Software Engineering Awards 2019. Denert Award Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer
2019	—	`conf`	Feature-oriented contract composition. SPLC (A) Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019	J	`jnl`	Feature-oriented contract composition. J. Syst. Softw. Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019	—	`conf`	On language levels for feature modeling notations. SPLC (B) Thomas Thüm, Christoph Seidl, Ina Schaefer
2019	—	`ch.`	Performance Analysis Strategies for Software Variants and Versions. Managed Software Evolution Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter
2019	B	`ed.`	Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019. GPCE Ina Schaefer, Christoph Reichenbach, Tijs van der Storm
2019	C	`ed.`	Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019. Software Engineering (Workshops) Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn
2019	—	`conf`	Product sampling for product lines: the scalability challenge. SPLC (A) Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
2019	—	`ch.`	Reengineering Variants of MATLAB/Simulink Software Systems. Security and Quality in Cyber-Physical Systems Engineering Alexander Schlie, Christoph Seidl, Ina Schaefer
2019	J	`jnl`	Retest test selection for product-line regression testing of variants and versions of variants. J. Syst. Softw. Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer
2019	B	`conf`	SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. SEFM Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer
2019	—	`ch.`	Software Reuse: From Cloned Variants to Managed Software Product Lines. Automotive Systems and Software Engineering Christoph Seidl, David Wille, Ina Schaefer
2019	J	`jnl`	Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang
2019	B	`conf`	Tool Support for Correctness-by-Construction. FASE Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
2019	—	`conf`	Towards efficient analysis of variation in time and space. SPLC (B) Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
2019	—	`conf`	Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
2019	B	`conf`	Visualization of Variability Analysis of Control Software From Industrial Automation Systems. SMC Safa Bougouffa, Birgit Vogel-Heuser, Juliane Fischer, Ina Schaefer, Huaxia Li
2018	—	`conf`	175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer
2018	—	`conf`	A Personal History of Delta Modelling. Principled Software Development Ina Schaefer
2018	A	`conf`	A Qualitative Study of Variability Management of Control Software for Industrial Automation Systems. ICSME Juliane Fischer, Safa Bougouffa, Alexander Schlie, Ina Schaefer, Birgit Vogel-Heuser
2018	B	`conf`	A classification of product sampling for software product lines. SPLC Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
2018	J	`jnl`	A core calculus for dynamic delta-oriented programming. Acta Informatica Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl
2018	C	`conf`	An Automata-Based View on Configurability and Uncertainty. ICTAC Martin Berglund, Ina Schaefer
2018	J	`jnl`	Change analysis on evolving PLC software in automated production systems. Autom. Alexander Schlie, Safa Bougouffa, Juliane Fischer, Ina Schaefer, Birgit Vogel-Heuser
2018	A	`conf`	Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. ICSME Alexander Schlie, Sandro Schulze, Ina Schaefer
2018	C	`conf`	Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines. MODELSWARD Sven Schuster, Christoph Seidl, Ina Schaefer
2018	—	`conf`	Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
2018	B	`conf`	Generative software product line development using variability-aware design patterns. SPLC Christoph Seidl, Sven Schuster, Ina Schaefer
2018	J	`jnl`	Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer
2018	C	`conf`	Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
2018	—	`ed.`	Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. Modellierung (Workshops) Ina Schaefer, Loek Cleophas, Michael Felderer, Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer
2018	J	`jnl`	Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes. Softw. Syst. Model. Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer
2018	—	`ed.`	Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany Modellierung Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl
2018	—	`ed.`	Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday Principled Software Development Peter Müller, Ina Schaefer
2018	—	`conf`	Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS Thomas Thüm, Sebastian Krieter, Ina Schaefer
2018	—	`conf`	Reducing variability of technically related software systems in large-scale IT landscapes. CASCON Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer
2018	—	`conf`	Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
2018	B	`ed.`	Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings SEFM Einar Broch Johnsen, Ina Schaefer
2018	—	`conf`	Towards Confidentiality-by-Construction. ISoLA (1) Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson
2018	B	`conf`	Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
2018	J	`jnl`	Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). Sci. Comput. Program. Loek Cleophas, Ina Schaefer, Bruce W. Watson
2018	—	`conf`	X-by-Construction. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson
2017	B	`conf`	An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer
2017	—	`conf`	Automated recommendations for reducing unnecessary variability of technology architectures. FOSD Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer
2017	B	`conf`	Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ICSR Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer
2017	—	`conf`	Decision Support for Reducing Unnecessary IT Complexity of Application Architectures. ICSA Workshops Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer
2017	—	`conf`	Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. VACE@ICSE Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake
2017	—	`conf`	Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. SPLC (A) Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer
2017	J	`jnl`	Generative software product line development using variability-aware design patterns. Comput. Lang. Syst. Struct. Christoph Seidl, Sven Schuster, Ina Schaefer
2017	J	`jnl`	Introduction to the Special Issue on "International Conference on Software Reuse 2015". J. Syst. Softw. Ina Schaefer, Ioannis Stamelos
2017	—	`conf`	Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
2017	Misc	`conf`	Many-MADFAct: Concurrently Constructing MADFAs. PSC Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson
2017	C	`conf`	Modularization of Refinement Steps for Agile Formal Methods. ICFEM Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
2017	A	`conf`	Multi-objective black-box test case selection for system testing. GECCO Remo Lachmann, Michael Felderer, Manuel Nieke, Sandro Schulze, Christoph Seidl, Ina Schaefer
2017	—	`conf`	Optimizing product orders using graph algorithms for improving incremental product-line analysis. VaMoS Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer
2017	—	`ed.`	Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017 VaMoS Maurice H. ter Beek, Norbert Siegmund, Ina Schaefer
2017	—	`conf`	Risk-based integration testing of software product lines. VaMoS Remo Lachmann, Simon Beddig, Sascha Lity, Sandro Schulze, Ina Schaefer
2017	—	`conf`	Towards a development process for maturing Delta-oriented software product lines. FOSD Sven Schuster, Christoph Seidl, Ina Schaefer
2017	—	`conf`	Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures. GI-Jahrestagung Kenny Wehling, Ina Schaefer
2017	—	`conf`	Variability Mining of Technical Architectures. SPLC (A) David Wille, Kenny Wehling, Christoph Seidl, Martin Pluchator, Ina Schaefer
2016	—	`conf`	A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages. Modellierung Christoph Seidl, Tim Winkelmann, Ina Schaefer
2016	C	`conf`	ATPS 2016: 9. Arbeitstagung Programmiersprachen. Software Engineering Andreas Krall, Ina Schaefer
2016	B	`conf`	Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer
2016	—	`conf`	Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. ISoLA (1) Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson
2016	—	`conf`	Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? ISoLA (1) Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas
2016	—	`conf`	Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer
2016	A	`conf`	Custom-Tailored Variability Mining for Block-Based Languages. SANER David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer
2016	J	`jnl`	Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Dave Clarke, Ina Schaefer
2016	C	`conf`	Evolution of software in automated production systems: challenges and research directions. Software Engineering Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy
2016	—	`conf`	Fine-grained test case prioritization for integration testing of delta-oriented software product lines. FOSD Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Franz Fürchtegott, Ina Schaefer
2016	C	`ed.`	Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. Software Engineering (Workshops) Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach
2016	—	`conf`	Higher-order delta modeling for software product line evolution. FOSD Sascha Lity, Matthias Kowal, Ina Schaefer
2016	—	`conf`	Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. ISoLA (2) David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer
2016	—	`conf`	Implicit constraints in partial feature models. FOSD Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer
2016	—	`conf`	Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems. FMSPLE Matthias Kowal, Ina Schaefer
2016	—	`conf`	Name resolution strategies in variability realization languages for software product lines. FOSD Sven Schuster, Michael Nieke, Ina Schaefer
2016	C	`conf`	Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
2016	B	`ed.`	Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016 GPCE Bernd Fischer, Ina Schaefer
2016	—	`ed.`	Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016 VaMoS Ina Schaefer, Vander Alves, Eduardo Santana de Almeida
2016	J	`jnl`	Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016	—	`conf`	Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer
2016	C	`conf`	Scaling size and parameter spaces in variability-aware software performance models. Software Engineering Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2016	B	`conf`	Synchronizing software variants with variantsync. SPLC Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer
2016	C	`conf`	System-Level Test Case Prioritization Using Machine Learning. ICMLA Remo Lachmann, Sandro Schulze, Manuel Nieke, Christoph Seidl, Ina Schaefer
2016	B	`conf`	Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
2016	—	`conf`	Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
2016	J	`jnl`	Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel
2016	—	`conf`	Variability mining of state charts. FOSD David Wille, Sandro Schulze, Ina Schaefer
2016	—	`ch.`	Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, Holger Schlingloff, Sebastian Schröck, Christoph Schulze, Michael Schulze, Stephan Weißleder
2016	C	`conf`	Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016). Software Engineering (Workshops) Andreas Krall, Ina Schaefer
2015	J	`jnl`	Abstract delta modelling. Math. Struct. Comput. Sci. Dave Clarke, Michiel Helvensteijn, Ina Schaefer
2015	—	`conf`	Analysis Strategies for Software Product Lines: A Classification and Survey. Software Engineering & Management Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake
2015	B	`conf`	Delta-oriented test case prioritization for integration testing of software product lines. SPLC Remo Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer
2015	—	`conf`	Detecting and Explaining Conflicts in Attributed Feature Models. FMSPLE Uwe Lesta, Ina Schaefer, Tim Winkelmann
2015	—	`conf`	Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines. MASE@MoDELS Daniel Lüddecke, Christoph Seidl, Ina Schaefer
2015	J	`jnl`	Evolution of software in automated production systems: Challenges and research directions. J. Syst. Softw. Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy
2015	—	`conf`	Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management Matthias Kowal, Ina Schaefer, Mirco Tribastone
2015	B	`ed.`	Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings FASE Alexander Egyed, Ina Schaefer
2015	B	`conf`	Generative software product line development using variability-aware design patterns. GPCE Christoph Seidl, Sven Schuster, Ina Schaefer
2015	J	`jnl`	Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2015	A	`conf`	Modeling user intentions for in-car infotainment systems using Bayesian networks. MoDELS Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer
2015	—	`conf`	Refactoring Delta-Oriented Software Product Lines. Software Engineering & Management Sandro Schulze, Ina Schaefer
2015	—	`conf`	SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits. SAICSIT Ina Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson
2015	A*	`conf`	Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2015	C	`conf`	Selected challenges of software evolution for automated production systems. INDIN 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	—	`conf`	Supporting commissioning of production plants by model-based testing and model learning. ISIE Jan Ladiges, Alexander Fay, Christopher Haubeck, Winfried Lamersdorf, Sascha Lity, Ina Schaefer
2015	J	`jnl`	Systematic synthesis of delta modeling languages. Int. J. Softw. Tools Technol. Transf. Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer, Christoph Schulze
2015	A	`conf`	Towards incremental model slicing for delta-oriented software product lines. SANER Sascha Lity, Hauke Baller, Ina Schaefer
2015	C	`conf`	Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study. INDIN Birgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl, Ina Schaefer
2014	J	`jnl`	A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake
2014	—	`conf`	A Core Language for Separate Variability Modeling. ISoLA (1) Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski
2014	—	`conf`	Capturing variability in space and time with hyper feature models. VaMoS Christoph Seidl, Ina Schaefer, Uwe Aßmann
2014	J	`jnl`	Delta Modeling for Software Architectures. CoRR Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2014	—	`conf`	Delta modeling for variant-rich and evolving manufacturing systems. MoSEMInA Matthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer, Birgit Vogel-Heuser
2014	—	`conf`	Delta-Trait Programming of Software Product Lines. ISoLA (1) Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann
2014	J	`jnl`	Delta-oriented Architectural Variability Using MontiCore. CoRR Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2014	J	`jnl`	Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz
2014	B	`conf`	Delta-oriented multi software product lines. SPLC Ferruccio Damiani, Ina Schaefer, Tim Winkelmann
2014	—	`conf`	DeltaEcore - A Model-Based Delta Language Generation Framework. Modellierung Christoph Seidl, Ina Schaefer, Uwe Aßmann
2014	—	`conf`	DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani
2014	J	`jnl`	Engineering Delta Modeling Languages. CoRR Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer
2014	J	`jnl`	Evolving Delta-oriented Software Product Line Architectures. CoRR Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2014	—	`conf`	Family model mining for function block diagrams in automation software. SPLC Workshops Sönke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer, Birgit Vogel-Heuser
2014	B	`conf`	Family-Based Performance Analysis of Variant-Rich Software Systems. FASE Matthias Kowal, Ina Schaefer, Mirco Tribastone
2014	J	`jnl`	First-Class Variability Modeling in Matlab/Simulink. CoRR Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer
2014	—	`conf`	Flexible product line engineering with a virtual platform. ICSE Companion Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer
2014	—	`conf`	Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). ISoLA (1) Ina Schaefer, Maurice H. ter Beek
2014	—	`ed.`	Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures SFM Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer
2014	J	`jnl`	Hierarchical Variability Modeling for Software Architectures. CoRR Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden
2014	B	`conf`	Integrated management of variability in space and time in software families. SPLC Christoph Seidl, Ina Schaefer, Uwe Aßmann
2014	—	`ed.`	International Workshop on Engineering Simulations for Cyber-Physical Systems, ES4CPS '14, Dresden, Germany, March 28 - 28, 2014 ES4CPS@DATE Christian Berger, Ina Schaefer
2014	—	`conf`	Model-Based Testing. SFM Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer
2014	J	`jnl`	Model-based Development and Performance Analysis for Evolving Manufacturing Systems. Autom. Matthias Kowal, Christian Prehofer, Ina Schaefer, Mirco Tribastone
2014	A	`conf`	Multi-objective Test Suite Optimization for Incremental Product Family Testing. ICST Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer
2014	A	`conf`	Ontology-Based Modeling of Context-Aware Systems. MoDELS Daniel Lüddecke, Nina Bergmann, Ina Schaefer
2014	B	`ed.`	Software Reuse for Dynamic Systems in the Cloud and Beyond - 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ICSR Ina Schaefer, Ioannis Stamelos
2014	—	`conf`	Structural feature interaction patterns: case studies and guidelines. VaMoS Sven Schuster, Sandro Schulze, Ina Schaefer
2014	—	`conf`	Towards Efficient and Effective Testing in Automotive Software Development. GI-Jahrestagung Remo Lachmann, Ina Schaefer
2014	J	`jnl`	Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models. CoRR Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2014	J	`jnl`	Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
2013	—	`conf`	Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen. GI-Jahrestagung Sönke Holthusen, Peter Manhart, Ina Schaefer, Sandro Schulze, Christian Singer, David Wille
2013	J	`jnl`	Compositional type checking of delta-oriented software product lines. Acta Informatica Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2013	B	`conf`	Engineering delta modeling languages. SPLC Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Bernhard Rumpe, Klaus Müller, Ina Schaefer
2013	—	`conf`	First-class variability modeling in Matlab/Simulink. VaMoS Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer
2013	B	`conf`	Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee
2013	—	`conf`	Herausforderungen beim Testen von Fahrerassistenzsystemen. GI-Jahrestagung Remo Lachmann, Ina Schaefer
2013	—	`conf`	Interface variability in family model mining. SPLC Workshops David Wille, Sönke Holthusen, Sandro Schulze, Ina Schaefer
2013	C	`conf`	Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung. Software Engineering (Workshops) Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer, Christoph Schulze
2013	—	`conf`	Refactoring delta-oriented software product lines. AOSD Sandro Schulze, Oliver Richers, Ina Schaefer
2013	—	`conf`	Requirements-based delta-oriented SPL testing. PLEASE@ICSE Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau
2013	A	`conf`	Reuse in Software Verification by Abstract Method Calls. CADE Reiner Hähnle, Ina Schaefer, Richard Bubel
2013	—	`conf`	The PLA model: on the combination of product-line analyses. VaMoS Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer
2013	—	`conf`	Towards efficient SPL testing by variant reduction. VariComp@AOSD Matthias Kowal, Sandro Schulze, Ina Schaefer
2013	J	`jnl`	TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
2013	J	`jnl`	Variability Management beyond Feature Models. Computer Anna-Lena Lamprecht, Stefan Naujokat, Ina Schaefer
2013	—	`conf`	Variability-aware safety analysis using delta component fault diagrams. SPLC Workshops Christoph Seidl, Ina Schaefer, Uwe Aßmann
2012	—	`conf`	20 Jahre Softwaretechnik an der TU Braunschweig. 40 Jahre Informatik @ Braunschweig Bernhard Rumpe, Ina Schaefer, Gregor Snelting
2012	—	`ed.`	4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012 FOSD Ina Schaefer, Thomas Thüm
2012	—	`conf`	A Liskov Principle for Delta-Oriented Programming. ISoLA (1) Reiner Hähnle, Ina Schaefer
2012	J	`jnl`	A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2012	B	`conf`	A formal foundation for dynamic delta-oriented software product lines. GPCE Ferruccio Damiani, Luca Padovani, Ina Schaefer
2012	—	`conf`	A transformational proof system for delta-oriented programming. SPLC (2) Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
2012	—	`conf`	Adaptable and Evolving Software for Eternal Systems - (Track Summary). ISoLA (1) Reiner Hähnle, Ina Schaefer
2012	B	`conf`	Applying Design by Contract to Feature-Oriented Programming. FASE Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake
2012	—	`conf`	Approaches for Mastering Change. ISoLA (1) Ina Schaefer, Malte Lochau, Martin Leucker
2012	—	`conf`	Delta-oriented model-based SPL regression testing. PLEASE@ICSE Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz
2012	J	`jnl`	Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga
2012	—	`conf`	Evolving Delta-Oriented Software Product Line Architectures. Monterey Workshop Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2012	—	`conf`	Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) Ferruccio Damiani, Ina Schaefer
2012	B	`conf`	Family-based deductive verification of software product lines. GPCE Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel
2012	—	`conf`	Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong
2012	—	`conf`	Incremental Model-Based Testing of Delta-Oriented Software Product Lines. TAP@TOOLS Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
2012	J	`jnl`	Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transf. Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
2012	—	`conf`	Supporting Agile Software Development by Natural Language Processing. EternalS@ECAI Barbara Plank, Thomas Sauer, Ina Schaefer
2011	—	`conf`	A Hierarchical Variability Model for Software Product Lines. ISoLA Workshops Dilian Gurov, Bjarte M. Østvold, Ina Schaefer
2011	—	`conf`	Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. EternalS@FET Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2011	—	`conf`	Compositional type-checking for delta-oriented programming. AOSD Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
2011	C	`conf`	Constraint-oriented Variability Modeling. SEW Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria
2011	—	`conf`	Delta Modeling for Software Architectures. MBEES Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2011	—	`conf`	Delta-oriented architectural variability using MontiCore. ECSA Companion Volume Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2011	—	`conf`	Dynamic delta-oriented programming. SPLC Workshops Ferruccio Damiani, Ina Schaefer
2011	J	`jnl`	Formal Methods in Software Product Line Engineering. Computer Ina Schaefer, Reiner Hähnle
2011	—	`conf`	HATS Abstract Behavioral Specification: The Architectural View. FMCO Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2011	B	`conf`	Hierarchical Variability Modeling for Software Architectures. SPLC Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden
2011	—	`conf`	Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2011	—	`conf`	Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer
2011	—	`conf`	Proof Composition for Deductive Verification of Software Product Lines. ICST Workshops Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel
2011	—	`ed.`	Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2) SPLC Workshops Ina Schaefer, Isabel John, Klaus Schmid
2011	—	`conf`	Synthesis-Based Variability Control: Correctness by Construction. FMCO Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2011	—	`conf`	Towards Verification as a Service. EternalS@FET Ina Schaefer, Thomas Sauer
2011	—	`conf`	Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
2010	B	`conf`	1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). SPLC Ina Schaefer, Martin Becker, Ralf Carbon, Sven Apel
2010	—	`conf`	A prototypical Java-like language with records and traits. PPPJ Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
2010	B	`conf`	Abstract delta modeling. GPCE Dave Clarke, Michiel Helvensteijn, Ina Schaefer
2010	J	`jnl`	Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embed. Comput. Syst. Rasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter
2010	—	`conf`	Compositional Algorithmic Verification of Software Product Lines. FMCO Ina Schaefer, Dilian Gurov, Siavash Soleimanifard
2010	B	`conf`	Delta-Oriented Programming of Software Product Lines. SPLC Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
2010	—	`conf`	First International Workshop on Formal Methods in Software Product Line Engineering. SPLC Workshops Ina Schaefer, Ralf Carbon
2010	Misc	`conf`	Implementing software product lines using traits. SAC Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2010	—	`conf`	Modeling and Analyzing Diversity - Description of EternalS Task Force 1. ISoLA (2) Ina Schaefer
2010	—	`conf`	Pure delta-oriented programming. FOSD Ina Schaefer, Ferruccio Damiani
2010	—	`conf`	Variability Modelling for Model-Driven Development of Software Product Lines. VaMoS Ina Schaefer
2010	—	`conf`	Variability Modelling in the ABS Language. FMCO Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
2010	—	`conf`	Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS Daniel Bruns, Vladimir Klebanov, Ina Schaefer
2009	—	`conf`	A Model-Based Framework for Automated Product Derivation. MAPLE@SPLC Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter
2009	J	`jnl`	Model-based verification of adaptive embedded systems under environment constraints. SIGBED Rev. Ina Schaefer, Arnd Poetzsch-Heffter
2008	B	`conf`	Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM Ina Schaefer, Arnd Poetzsch-Heffter
2008	—	`—`	Integrating formal verification into the model-based development of adaptive embedded systems. Ina Schaefer
2008	A	`conf`	Slicing for model reduction in adaptive embedded systems development. SEAMS Ina Schaefer, Arnd Poetzsch-Heffter
2007	C	`conf`	From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié
2007	J	`jnl`	Security of multi-agent systems: A case study on comparison shopping. J. Appl. Log. Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
2007	B	`conf`	Translation Validation of System Abstractions. RV Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter
2006	C	`conf`	Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS Ina Schaefer, Arnd Poetzsch-Heffter
2006	—	`conf`	Specification and Verification of Dynamic Communication Systems. ACSD Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
2006	—	`conf`	Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software Ina Schaefer, Arnd Poetzsch-Heffter
2005	A	`conf`	Summaries for While Programs with Recursion. ESOP Andreas Podelski, Ina Schaefer, Silke Wagner