Michael Lienhardt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
14
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Automatic Memory Management for Dataflows. | Michael Lienhardt |
| 2024 | SPLC | Product lines of dataflows. | Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani |
| 2023 | SPLC | Deltas for Functional Programs with Algebraic Data Types. | Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2023 | SPLC | PYDOP: A Generic Python Library for Delta-Oriented Programming. | Michael Lienhardt |
| 2021 | SPLC | Static analysis and family-based model checking with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt |
| 2021 | SPLC | 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 |
| 2021 | SPLC | Variability modules for Java-like languages. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2020 | ICSE | Lazy product discovery in huge configuration spaces. | Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro |
| 2020 | ICTAC | On Two Characterizations of Feature Models. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | ISoLA | On Slicing Software Product Line Signatures. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2019 | IFM | Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. | Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin |
| 2019 | SPLC | Static analysis of featured transition systems. | Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini |
| 2018 | SPLC | Interoperability of software product line variants. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | FASE | A Unified and Formal Programming Model for Deltas and Traits. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | IFM | An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. | Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |
| 2017 | TAP | Abstraction Refinement for the Analysis of Software Product Lines. | Ferruccio Damiani, Reiner Hhnle, Michael Lienhardt |
| 2016 | IFM | On Type Checking Delta-Oriented Product Lines. | Ferruccio Damiani, Michael Lienhardt |
| 2016 | ISoLA | Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. | Ferruccio Damiani, Michael Lienhardt |
| 2015 | CONCUR | 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 |
| 2015 | PPDP | Static analysis of cloud elasticity. | Abel Garcia, Cosimo Laneve, Michael Lienhardt |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2013 | ESOP | Concurrent Flexible Reversibility. | Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2013 | IFM | Deadlock Analysis of Concurrent Objects: Theory and Practice. | Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong |
| 2013 | SEFM | A Type System for Components. | Ornela Dardha, Elena Giachino, Michael Lienhardt |
| 2012 | FORTE | A Reversible Abstract Machine and Its Space Overhead. | Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | ISoLA | An Object Group-Based Component Model. | Michael Lienhardt, Mario Bravetti, Davide Sangiorgi |
| 2012 | ISoLA | Conflict Detection in Delta-Oriented Programming. | Michael Lienhardt, Dave Clarke |
| 2009 | FORTE | Typing Component-Based Communication Systems. | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2008 | GPCE | Typing communicating component assemblages. | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
| 2007 | GPCE | Oz/K: a kernel language for component-based open programming. | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |