TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 23.

Schürr, Andy
Schaefer, Ina ; Karagiannis, Dimitris ; Vogelsang, Andreas ; Méndez, Daniel ; 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
[Konferenz- oder Workshop-Beitrag], (2018)

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Polikarpova, Nadia ; 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
[Konferenz- oder Workshop-Beitrag], (2017)

ter Beek, Maurice H. ; Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; 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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Bubel, Richard ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Owe, Olaf ; Schaefer, Ina ; 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.
[Artikel], (2016)

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; 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)
[Konferenz- oder Workshop-Beitrag], (2015)

Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; 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
[Buch], (2014)

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; 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
[Konferenz- oder Workshop-Beitrag], (2014)

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; 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
[Konferenz- oder Workshop-Beitrag], (2014)

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

[Report], (2013)

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

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

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

Hähnle, Reiner ; Schaefer, Ina ; 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.
[Buchkapitel], (2013)

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

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; 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
[Konferenz- oder Workshop-Beitrag], (2012)

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; 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
[Konferenz- oder Workshop-Beitrag], (2012)

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Brucker, Achim ; 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
[Konferenz- oder Workshop-Beitrag], (2012)

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; 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
[Konferenz- oder Workshop-Beitrag], (2012)

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

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

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
[Konferenz- oder Workshop-Beitrag], (2011)

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Aichernig, Bernhard K. ; de Boer, Frank S. ; 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
[Konferenz- oder Workshop-Beitrag], (2010)

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

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

Diese Liste wurde am Tue Sep 18 02:53:29 2018 CEST generiert.