2022

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
Hrsg.: Ali, Karim ; Vitek, Jan (2022)
Functional Programming for Distributed Systems with XC.
36th European Conference on Object-Oriented Programming. Berlin, Germany (06.06.2022-10.06.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.20
Konferenzveröffentlichung, Bibliographie

2021

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
Hrsg.: Mousavi, Mohammad Reza ; Schobbens, Pierre-Yves (2021)
Variability modules for Java-like languages.
25th ACM International Systems and Software Product Line Conference. virtual Conference (06.09.2021-11.09.2021)
doi: 10.1145/3461001.3471143
Konferenzveröffentlichung, Bibliographie

2018

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Interoperability of software product line variants.
SPLC.
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Same Same But Different: Interoperability of Software Product Line Variants.
Principled Software Development.
Konferenzveröffentlichung, Bibliographie

2017

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Hrsg.: Gabmeyer, Sebastian ; Johnsen, Einar Broch (2017)
Abstraction Refinement for the Analysis of Software Product Lines.
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_1
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings.
doi: 10.1007/978-3-319-66845-1_8
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Hrsg.: Huisman, Marieke ; Rubin, Julia (2017)
A Unified and Formal Programming Model for Deltas and Traits.
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_25
Konferenzveröffentlichung, Bibliographie

2016

Bubel, Richard ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Owe, Olaf ; Schaefer, Ina ; Yu, Ingrid Chieh (2016)
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
In: Trans. Found. Mastering Chang., 1
doi: 10.1007/978-3-319-46508-1_8
Artikel, Bibliographie

2014

Hrsg.: Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (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.
doi: 10.1007/978-3-319-07317-0
Buch, Bibliographie

2011

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Hrsg.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
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_6
Konferenzveröffentlichung, Bibliographie