Thüm, Thomas ; Hoorn, André van ; Apel, Sven ; Bürdek, Johannes ; Getir, Sinem ; Heinrich, Robert ; Jung, Reiner ; Kowal, Matthias ; Lochau, Malte ; Schaefer, Ina ; Walter, Jürgen (2019)
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_8
Buchkapitel, Bibliographie

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019)
Product Sampling for Product Lines: The Scalability Challenge.
23rd International Systems and Software Product Line Conference (SPLC '19).
doi: 10.1145/3336294.3336322
Konferenzveröffentlichung, Bibliographie

Schürr, Andy
Hrsg.: Schaefer, Ina ; Karagiannis, Dimitris ; Vogelsang, Andreas ; Méndez, Daniel ; Seidl, Christoph (2018)
Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings.
doi: 10.1007/978-3-319-66845-1_8
Konferenzveröffentlichung, Bibliographie

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I.
doi: 10.1007/978-3-319-47166-2_51
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Owe, Olaf ; Schaefer, Ina ; Yu, Ingrid Chieh (2016)
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
In: Trans. Found. Mastering Chang., 1
doi: 10.1007/978-3-319-46508-1_8
Artikel, Bibliographie

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; Schaefer, Ina (2015)
Re-Engineering Automation Systems as Dynamic Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (2014)
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.
doi: 10.1007/978-3-319-07317-0
Buch, Bibliographie

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; Schaefer, Ina (2014)
Model-Based Testing.
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems.
Konferenzveröffentlichung, Bibliographie

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina (2014)
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
7th IEEE International Conference on Software Testing, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

Lity, Sascha ; Lachmann, Remo ; Lochau, Malte ; Schaefer, Ina (2013)
Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study.
Report, Bibliographie

Lochau, Malte ; Lity, Sascha ; Lachmann, Remo ; Schaefer, Ina ; Goltz, Ursula (2013)
Delta-oriented model-based integration testing of large-scale systems.
In: Journal of Systems and Software
Artikel, Bibliographie

Lity, Sascha ; Lachmann, Remo ; Lochau, Malte ; Dukaczewski, Michael ; Schaefer, Ina (2013)
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum, 2013
Artikel, Bibliographie

Dukaczewski, Michael ; Schaefer, Ina ; Lachmann, Remo ; Lochau, Malte (2013)
Requirements-Based Delta-Oriented SPL Testing.
4th International IEEE Workshop on Product Line Approaches in Software Engineering (PLEASE).
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Hrsg.: Bonacina, Maria Paola (2013)
Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Buchkapitel, Bibliographie

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012)
Family-Based Deductive Verification of Software Product Lines.
Dresden, Germany
Konferenzveröffentlichung, Bibliographie

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; Goltz, Ursula (2012)
Delta-oriented Model-based SPL Regression Testing.
2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE). Los Alamitos
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_1
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Hrsg.: Brucker, Achim ; Julliand, Jacques (2012)
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
A Liskov Principle for Delta-Oriented Programming.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_4
Konferenzveröffentlichung, Bibliographie

Schaefer, Ina ; Hähnle, Reiner (2011)
Formal Methods in Software Product Line Engineering.
In: IEEE Computer, 44 (2)
Artikel, Bibliographie

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Hrsg.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers.
doi: 10.1007/978-3-642-35887-6_6
Konferenzveröffentlichung, Bibliographie

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Hrsg.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
Variability Modelling in the ABS Language.
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.
doi: 10.1007/978-3-642-25271-6_11
Konferenzveröffentlichung, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Artikel, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Artikel, Bibliographie