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

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael (2018):
Interoperability of software product line variants.
ACM, In: SPLC, pp. 264-268, [Conference or Workshop Item]

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael (2018):
Same Same But Different: Interoperability of Software Product Line Variants.
Springer, In: Principled Software Development, pp. 99-117, [Conference or Workshop Item]

Damiani, Ferruccio and Hähnle, Reiner and Lienhardt, Michael Gabmeyer, Sebastian and Johnsen, Einar Broch (eds.) (2017):
Abstraction Refinement for the Analysis of Software Product Lines.
10375In: Lecture Notes in Computer Science, Springer, In: Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, pp. 3-20, DOI: 10.1007/978-3-319-61467-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-61467-0_1],
[Conference or Workshop Item]

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

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael Huisman, Marieke and Rubin, Julia (eds.) (2017):
A Unified and Formal Programming Model for Deltas and Traits.
10202In: Lecture Notes in Computer Science, Springer, In: Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 424-441, DOI: 10.1007/978-3-662-54494-5₂₅,
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_25],
[Conference or Workshop Item]

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

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

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

This list was generated on Tue Oct 27 01:06:40 2020 CET.