Michael Lienhardt

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 37

Top Venues

SPLC (A)

Sci. Comput. Program.

CoRR

IFM

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
Product lines of dataflows. J. Syst. Softw. 210 (2024)
Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
Product lines of dataflows. SPLC (A) (2024)
Michael Lienhardt
The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly. WRLA (2024)
Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Deltas for Functional Programs with Algebraic Data Types. SPLC (A) (2023)
Michael Lienhardt
PYDOP: A Generic Python Library for Delta-Oriented Programming. SPLC (B) (2023)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules. J. Syst. Softw. 195 (2023)
Eduard Kamburjan, Michael Lienhardt
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version). CoRR (2023)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. 912 (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27 (1) (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224 (2022)
Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel
Towards a Modular and Variability-Aware Aerodynamic Simulator. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
Static analysis and family-based model checking with VMC. SPLC (A) (2021)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules for Java-like languages. SPLC (A) (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) (2021)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On Two Characterizations of Feature Models. ICTAC (2020)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On Slicing Software Product Line Signatures. ISoLA (1) (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy Product Discovery in Huge Configuration Spaces. CoRR (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy product discovery in huge configuration spaces. ICSE (2020)
Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez
Time analysis of actor programs. J. Log. Algebraic Methods Program. 105 (2019)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172 (2019)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Static analysis of featured transition systems. SPLC (A) (2019)
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM (2019)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Interoperability of software product line variants. SPLC (2018)
Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
Multi Software Product Lines in the Wild. VaMoS (2018)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development (2018)
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166 (2018)
Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF (2017)
Abel Garcia, Cosimo Laneve, Michael Lienhardt
Static analysis of cloud elasticity. Sci. Comput. Program. 147 (2017)
Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. 86 (1) (2017)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
A Unified and Formal Programming Model for Deltas and Traits. FASE (2017)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
A Formal Model for Multi SPLs. FSEN (2017)
Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM (2017)
Ferruccio Damiani, Michael Lienhardt
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) (2016)
Ferruccio Damiani, Michael Lienhardt
On Type Checking Delta-Oriented Product Lines. IFM (2016)
Elena Giachino, Cosimo Laneve, Michael Lienhardt
A framework for deadlock detection in core ABS. Softw. Syst. Model. 15 (4) (2016)
Ferruccio Damiani, Michael Lienhardt
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE (2016)
Elena Giachino, Cosimo Laneve, Michael Lienhardt
A framework for deadlock detection in core ABS. CoRR (2015)
Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC (2015)
Abel Garcia, Cosimo Laneve, Michael Lienhardt
Static analysis of cloud elasticity. PPDP (2015)
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR (2015)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) (2014)
Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
Automated synthesis and deployment of cloud applications. ASE (2014)
Ornela Dardha, Elena Giachino, Michael Lienhardt
A Type System for Components. SEFM (2013)
Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM (2013)
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC (2013)
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Concurrent Flexible Reversibility. ESOP (2013)
Michael Lienhardt, Dave Clarke
Row types for delta-oriented programming. VaMoS (2012)
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE (2012)
Michael Lienhardt, Dave Clarke
Conflict Detection in Delta-Oriented Programming. ISoLA (1) (2012)
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi
An Object Group-Based Component Model. ISoLA (1) (2012)
Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
HATS Abstract Behavioral Specification: The Architectural View. FMCO (2011)
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
A Component Model for the ABS Language. FMCO (2010)
Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Typing Component-Based Communication Systems. FMOODS/FORTE (2009)
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
Typing communicating component assemblages. GPCE (2008)
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
Oz/K: a kernel language for component-based open programming. GPCE (2007)

Michael Lienhardt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Lienhardt