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

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

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

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

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Huisman, Marieke ; Rubin, Julia (eds.) (2017):
A Unified and Formal Programming Model for Deltas and Traits.
In: Lecture Notes in Computer Science, 10202, pp. 424-441, Springer, 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, DOI: 10.1007/978-3-662-54494-5₂₅,
[Conference or Workshop Item]

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]

This list was generated on Sat Jul 31 01:46:54 2021 CEST.