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 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.
In: Lecture Notes in Computer Science, 10375, 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.
In: Lecture Notes in Computer Science, 10510, 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.
In: Lecture Notes in Computer Science, 10202, 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]

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.
In: Lecture Notes in Computer Science, 7542, 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 Sat Jan 25 01:43:56 2020 CET.