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: 23.

Schürr, Andy
Schaefer, Ina and Karagiannis, Dimitris and Vogelsang, Andreas and Méndez, Daniel and Seidl, Christoph (eds.) :

Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
[Online-Edition: https://dl.gi.de/handle/20.500.12116/14934]
In: Modellierung , P-280 . Bonn
[Conference or Workshop Item] , (2018)

Damiani, Ferruccio and Lienhardt, Michael and Muschevici, Radu and Schaefer, Ina
Polikarpova, Nadia and Schneider, Steve (eds.) :

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
[Online-Edition: https://doi.org/10.1007/978-3-319-66845-1_8]
In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. In: Lecture Notes in Computer Science , 10510 . Springer
[Conference or Workshop Item] , (2017)

ter Beek, Maurice H. and Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) :

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_51]
In: 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. In: Lecture Notes in Computer Science , 9952 .
[Conference or Workshop Item] , (2016)

Bubel, Richard and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and Owe, Olaf and Schaefer, Ina and Yu, Ingrid Chieh :
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
[Online-Edition: https://doi.org/10.1007/978-3-319-46508-1_8]
In: Trans. Found. Mastering Chang., 1 pp. 130-156.
[Article] , (2016)

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

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

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

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

Lity, Sascha and Lachmann, Remo and Lochau, Malte and Schaefer, Ina :
Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study.

[Report] , (2013)

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

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

Dukaczewski, Michael and Schaefer, Ina and Lachmann, Remo and Lochau, Malte :
Requirements-Based Delta-Oriented SPL Testing.
In: 4th International IEEE Workshop on Product Line Approaches in Software Engineering (PLEASE).
[Conference or Workshop Item] , (2013)

Hähnle, Reiner and Schaefer, Ina and Bubel, Richard
Bonacina, Maria Paola (ed.) :

Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (7898). Springer Lake Placid, NY , pp. 300-314.
[Book Section] , (2013)

Thüm, Thomas and Schaefer, Ina and Apel, Sven and Hentschel, Martin :
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12 . ACM
[Conference or Workshop Item] , (2012)

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

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) :

Adaptable and Evolving Software for Eternal Systems - (Track Summary).
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_1]
In: 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. In: Lecture Notes in Computer Science , 7609 . Springer
[Conference or Workshop Item] , (2012)

Lochau, Malte and Schaefer, Ina and Kamischke, Jochen and Lity, Sascha
Brucker, Achim and Julliand, Jacques (eds.) :

Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-30473-6_7]
In: Lecture Notes in Computer Science , 7305 . Springer Berlin Heidelberg
[Conference or Workshop Item] , (2012)

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) :

A Liskov Principle for Delta-Oriented Programming.
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_4]
In: 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. In: Lecture Notes in Computer Science , 7609 . Springer
[Conference or Workshop Item] , (2012)

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

Hähnle, Reiner and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H.
Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) :

HATS Abstract Behavioral Specification: The Architectural View.
[Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6]
In: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. In: Lecture Notes in Computer Science , 7542 . Springer
[Conference or Workshop Item] , (2011)

Clarke, Dave and Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) :

Variability Modelling in the ABS Language.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11]
In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. In: Lecture Notes in Computer Science , 6957 . Springer
[Conference or Workshop Item] , (2010)

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

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

This list was generated on Tue Apr 16 00:23:02 2019 CEST.