Michael Lienhardt

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