TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 25.

Thüm, Thomas ; van Hoorn, André ; 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, pp. 175-206, Springer, DOI: 10.1007/978-3-030-13499-0_8,
[Book Section]

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019):
Product Sampling for Product Lines: The Scalability Challenge.
pp. 14:1-14:6, Paris, ACM, 23rd International Systems and Software Product Line Conference (SPLC '19), DOI: 10.1145/3336294.3336322,
[Conference or Workshop Item]

Schürr, Andy
Schaefer, Ina ; Karagiannis, Dimitris ; Vogelsang, Andreas ; Méndez, Daniel ; Seidl, Christoph (eds.) (2018):
Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
In: Modellierung, P-280, In: Modellierung 2018, p. 15,
Bonn, [Conference or Workshop Item]

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Polikarpova, Nadia ; Schneider, Steve (eds.) (2017):
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
In: Lecture Notes in Computer Science, 10510, pp. 111-126, Springer, Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, DOI: 10.1007/978-3-319-66845-1₈,
[Conference or Workshop Item]

ter Beek, Maurice H. ; Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: Lecture Notes in Computer Science, 9952, pp. 723-729, 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₅₁,
[Conference or Workshop Item]

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, pp. 130-156. DOI: 10.1007/978-3-319-46508-1₈,
[Article]

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; Schaefer, Ina (2015):
Re-Engineering Automation Systems as Dynamic Software Product Lines.
In: Proceedings of the 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pp. 43-52,
[Conference or Workshop Item]

Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (eds.) (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.
In: Lecture Notes in Computer Science, 8483, Springer, ISBN 978-3-319-07316-3,
DOI: 10.1007/978-3-319-07317-0,
[Book]

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; Schaefer, Ina (2014):
Model-Based Testing.
In: Lecture Notes in Computer Science (LNCS), 8483, pp. 310-342, Heidelberg, Springer Verlag, Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, [Conference or Workshop Item]

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina (2014):
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
In: International Conference on Software Testing, Verification and Validation (ICST), Los Alamitos, IEEE Computer Society Press, 7th IEEE International Conference on Software Testing, Verification and Validation, [Conference or Workshop Item]

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

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, Elsevier Science Publ., [Article]

Lity, Sascha ; Lachmann, Remo ; Lochau, Malte ; Dukaczewski, Michael ; Schaefer, Ina (2013):
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum, 2013, SIGS DATACOM, [Article]

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), [Conference or Workshop Item]

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Bonacina, Maria Paola (ed.) (2013):
Reuse in Software Verification by Abstract Method Calls.
In: Lecture Notes in Computer Science, In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings, pp. 300-314, Springer, [Book Section]

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pp. 11-20,
ACM, Dresden, Germany, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; Goltz, Ursula (2012):
Delta-oriented Model-based SPL Regression Testing.
In: Product Line Approaches in Software Engineering (PLEASE), pp. 53-56, Los Alamitos, IEEE Computer Society Press, 2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Los Alamitos, [Conference or Workshop Item]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
In: Lecture Notes in Computer Science, 7609, pp. 1-3, Springer, 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₁,
[Conference or Workshop Item]

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Brucker, Achim ; Julliand, Jacques (eds.) (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Lecture Notes in Computer Science, 7305, In: Tests and Proofs, pp. 67-82,
Springer Berlin Heidelberg, ISBN 978-3-642-30472-9,
[Conference or Workshop Item]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
A Liskov Principle for Delta-Oriented Programming.
In: Lecture Notes in Computer Science, 7609, pp. 32-46, Springer, 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₄,
[Conference or Workshop Item]

Schaefer, Ina ; Hähnle, Reiner (2011):
Formal Methods in Software Product Line Engineering.
In: IEEE Computer, 44 (2), pp. 82--85. [Article]

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
In: Lecture Notes in Computer Science, 7542, pp. 109-132, Springer, 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₆,
[Conference or Workshop Item]

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
In: Lecture Notes in Computer Science, 6957, pp. 204-224, Springer, 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₁₁,
[Conference or Workshop Item]

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

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

This list was generated on Tue Jun 22 02:18:24 2021 CEST.