Oz/K: a kernel language for component-based open programming. - Michael Lienhardt; Alan Schmitt; Jean-Bernard Stefani (GPCE, 2007)

Typing communicating component assemblages. - Michael Lienhardt; Alan Schmitt; Jean-Bernard Stefani (GPCE, 2008)

Typing Component-Based Communication Systems. - Michael Lienhardt; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (FMOODS/FORTE, 2009)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

Composants et Typage. (Components and Types). - Michael Lienhardt (2010)

HATS Abstract Behavioral Specification: The Architectural View. - Reiner Hähnle; Michiel Helvensteijn; Einar Broch Johnsen; Michael Lienhardt; Davide Sangiorgi; Ina Schaefer; Peter Y. H. Wong (FMCO, 2011)

A Reversible Abstract Machine and Its Space Overhead. - Michael Lienhardt; Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (FMOODS/FORTE, 2012)

An Object Group-Based Component Model. - Michael Lienhardt; Mario Bravetti; Davide Sangiorgi (ISoLA (1), 2012)

Conflict Detection in Delta-Oriented Programming. - Michael Lienhardt; Dave Clarke 001 (ISoLA (1), 2012)

Row types for delta-oriented programming. - Michael Lienhardt; Dave Clarke 001 (VaMoS, 2012)

Aeolus: Mastering the Complexity of Cloud Application Deployment. - Michel Catan; Roberto Di Cosmo; Antoine Eiche; Tudor A. Lascu; Michael Lienhardt; Jacopo Mauro; Ralf Treinen; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (ESOCC, 2013)

Concurrent Flexible Reversibility. - Ivan Lanese; Michael Lienhardt; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (ESOP, 2013)

Deadlock Analysis of Concurrent Objects: Theory and Practice. - Elena Giachino; Carlo Augusto Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong (IFM, 2013)

A Type System for Components. - Ornela Dardha; Elena Giachino; Michael Lienhardt (SEFM, 2013)

Fault Model Design Space for Cooperative Concurrency. - Ivan Lanese; Michael Lienhardt; Mario Bravetti; Einar Broch Johnsen; Rudolf Schlatte; Volker Stolz; Gianluigi Zavattaro (ISoLA (2), 2014)

Automated synthesis and deployment of cloud applications. - Roberto Di Cosmo; Michael Lienhardt; Ralf Treinen; Stefano Zacchiroli; Jakub Zwolakowski; Antoine Eiche; Alexis Agahi (ASE, 2014)

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). - Roberto Di Cosmo; Michael Lienhardt; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (CONCUR, 2015)

On the Integration of Automatic Deployment into the ABS Modeling Language. - Stijn de Gouw; Michael Lienhardt; Jacopo Mauro; Behrooz Nobakht; Gianluigi Zavattaro (ESOCC, 2015)

On Type Checking Delta-Oriented Product Lines. - Ferruccio Damiani; Michael Lienhardt (IFM, 2016)

Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. - Ferruccio Damiani; Michael Lienhardt (ISoLA (2), 2016)

Refactoring Delta-Oriented Product Lines to achieve Monotonicity. - Ferruccio Damiani; Michael Lienhardt (FMSPLE, 2016)

A framework for deadlock detection in core ABS. - Elena Giachino; Cosimo Laneve; Michael Lienhardt (Softw. Syst. Model., 2016)

A Unified and Formal Programming Model for Deltas and Traits. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt (FASE, 2017)

A Formal Model for Multi SPLs. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (FSEN, 2017)

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. - Ferruccio Damiani; Michael Lienhardt; Radu Muschevici; Ina Schaefer (IFM, 2017)

Abstraction Refinement for the Analysis of Software Product Lines. - Ferruccio Damiani; Reiner Hähnle; Michael Lienhardt (TAP@STAF, 2017)

Dynamic Rebinding for Concurrent Object Groups: Theory and practice. - Mario Bravetti; Elena Giachino; Michael Lienhardt; Peter Y. H. Wong (J. Log. Algebraic Methods Program., 2017)

Static analysis of cloud elasticity. - Abel Garcia; Cosimo Laneve; Michael Lienhardt (Sci. Comput. Program., 2017)

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

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

Multi Software Product Lines in the Wild. - Michael Lienhardt; Ferruccio Damiani; Simone Donetti; Luca Paolini (VaMoS, 2018)

On checking delta-oriented product lines of statecharts. - Michael Lienhardt; Ferruccio Damiani; Lorenzo Testa; Gianluca Turin (Sci. Comput. Program., 2018)

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. - Michael Lienhardt; Ferruccio Damiani; Lorenzo Testa; Gianluca Turin (IFM, 2019)

Static analysis of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (SPLC (A), 2019)

Time analysis of actor programs. - Cosimo Laneve; Michael Lienhardt; Ka I Pun; Guillermo Román-Díez (J. Log. Algebraic Methods Program., 2019)

A formal model for Multi Software Product Lines. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Sci. Comput. Program., 2019)

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Int. J. Softw. Tools Technol. Transf., 2019)

Lazy product discovery in huge configuration spaces. - Michael Lienhardt; Ferruccio Damiani; Einar Broch Johnsen; Jacopo Mauro (ICSE, 2020)

On Two Characterizations of Feature Models. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (ICTAC, 2020)

On Slicing Software Product Line Signatures. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (ISoLA (1), 2020)

Static analysis and family-based model checking with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michael Lienhardt (SPLC (A), 2021)

Static analysis and family-based model checking of featured transition systems with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michele Valfrè; Michael Lienhardt (SPLC (B), 2021)

Variability modules for Java-like languages. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (SPLC (A), 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Towards a Modular and Variability-Aware Aerodynamic Simulator. - Ferruccio Damiani; Michael Lienhardt; Bruno Maugars; Bertrand Michel (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Efficient static analysis and verification of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (Empir. Softw. Eng., 2022)

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini; Giordano Scarso (Sci. Comput. Program., 2022)

On logical and extensional characterizations of attributed feature models. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Theor. Comput. Sci., 2022)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2022)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2022)

Deltas for Functional Programs with Algebraic Data Types. - Ferruccio Damiani; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (SPLC (A), 2023)

PYDOP: A Generic Python Library for Delta-Oriented Programming. - Michael Lienhardt (SPLC (B), 2023)

Type-Based Verification of Delegated Control in Hybrid Systems (Full Version). - Eduard Kamburjan; Michael Lienhardt (CoRR, 2023)

Variability modules. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (J. Syst. Softw., 2023)

Type-Based Verification of Delegated Control in Hybrid Systems. - Eduard Kamburjan; Michael Lienhardt (Active Object Languages: Current Research Trends, 2024)

The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly. - Michael Lienhardt (WRLA, 2024)

Product lines of dataflows. - Michael Lienhardt; Maurice H. ter Beek; Ferruccio Damiani (J. Syst. Softw., 2024)

Modeling Variability in Complex Software Systems. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Software Engineering, 2025)