![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael Lienhardt
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani:
Product lines of dataflows. J. Syst. Softw. 210: 111928 (2024) - [c41]Michael Lienhardt
, Maurice H. ter Beek
, Ferruccio Damiani
:
Product lines of dataflows. SPLC (A) 2024: 218 - [c40]Michael Lienhardt
:
The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly. WRLA 2024: 165-178 - [p1]Eduard Kamburjan
, Michael Lienhardt
:
Type-Based Verification of Delegated Control in Hybrid Systems. Active Object Languages: Current Research Trends 2024: 323-358 - 2023
- [j11]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini
:
Variability modules. J. Syst. Softw. 195: 111510 (2023) - [c39]Michael Lienhardt
:
PYDOP: A Generic Python Library for Delta-Oriented Programming. SPLC (B) 2023: 30-33 - [c38]Ferruccio Damiani
, Eduard Kamburjan
, Michael Lienhardt
, Luca Paolini
:
Deltas for Functional Programs with Algebraic Data Types. SPLC (A) 2023: 52-63 - [i3]Eduard Kamburjan, Michael Lienhardt:
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version). CoRR abs/2310.01370 (2023) - 2022
- [j10]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): 10 (2022) - [j9]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: 102879 (2022) - [j8]Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. 912: 56-80 (2022) - [c37]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: 147-172 - 2021
- [c36]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini
:
Variability modules for Java-like languages. SPLC (A) 2021: 1-12 - [c35]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: 24-27 - [c34]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: 214 - 2020
- [c33]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
:
Lazy product discovery in huge configuration spaces. ICSE 2020: 1509-1521 - [c32]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Two Characterizations of Feature Models. ICTAC 2020: 103-122 - [c31]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Slicing Software Product Line Signatures. ISoLA (1) 2020: 81-102 - [i2]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy Product Discovery in Huge Configuration Spaces. CoRR abs/2003.07383 (2020)
2010 – 2019
- 2019
- [j7]Cosimo Laneve
, Michael Lienhardt, Ka I Pun
, Guillermo Román-Díez
:
Time analysis of actor programs. J. Log. Algebraic Methods Program. 105: 1-27 (2019) - [j6]Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172: 203-231 (2019) - [j5]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): 691-707 (2019) - [c30]Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM 2019: 534-537 - [c29]Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
:
Static analysis of featured transition systems. SPLC (A) 2019: 9:1-9:13 - 2018
- [j4]Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166: 3-34 (2018) - [c28]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development 2018: 99-117 - [c27]Ferruccio Damiani, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268 - [c26]Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
:
Multi Software Product Lines in the Wild. VaMoS 2018: 89-96 - 2017
- [j3]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): 349-390 (2017) - [j2]Abel Garcia, Cosimo Laneve
, Michael Lienhardt:
Static analysis of cloud elasticity. Sci. Comput. Program. 147: 27-53 (2017) - [c25]Ferruccio Damiani
, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 - [c24]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
A Formal Model for Multi SPLs. FSEN 2017: 67-83 - [c23]Ferruccio Damiani
, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126 - [c22]Ferruccio Damiani
, Reiner Hähnle
, Michael Lienhardt:
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF 2017: 3-20 - 2016
- [j1]Elena Giachino
, Cosimo Laneve
, Michael Lienhardt:
A framework for deadlock detection in core ABS. Softw. Syst. Model. 15(4): 1013-1048 (2016) - [c21]Ferruccio Damiani
, Michael Lienhardt:
On Type Checking Delta-Oriented Product Lines. IFM 2016: 47-62 - [c20]Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) 2016: 579-596 - [c19]Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE 2016: 2-16 - 2015
- [c18]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: 1-16 - [c17]Stijn de Gouw
, Michael Lienhardt, Jacopo Mauro
, Behrooz Nobakht, Gianluigi Zavattaro:
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC 2015: 49-64 - [c16]Abel Garcia, Cosimo Laneve, Michael Lienhardt:
Static analysis of cloud elasticity. PPDP 2015: 125-136 - [i1]Elena Giachino, Cosimo Laneve, Michael Lienhardt:
A framework for deadlock detection in core ABS. CoRR abs/1511.04926 (2015) - 2014
- [c15]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: 22-36 - [c14]Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli
, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi:
Automated synthesis and deployment of cloud applications. ASE 2014: 211-222 - 2013
- [c13]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: 1-3 - [c12]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina
, Alan Schmitt, Jean-Bernard Stefani:
Concurrent Flexible Reversibility. ESOP 2013: 370-390 - [c11]Elena Giachino
, Carlo Augusto Grazia
, Cosimo Laneve
, Michael Lienhardt, Peter Y. H. Wong:
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM 2013: 394-411 - [c10]Ornela Dardha
, Elena Giachino
, Michael Lienhardt:
A Type System for Components. SEFM 2013: 167-181 - 2012
- [c9]Michael Lienhardt, Ivan Lanese
, Claudio Antares Mezzina
, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE 2012: 1-17 - [c8]Michael Lienhardt, Mario Bravetti, Davide Sangiorgi:
An Object Group-Based Component Model. ISoLA (1) 2012: 64-78 - [c7]Michael Lienhardt, Dave Clarke:
Conflict Detection in Delta-Oriented Programming. ISoLA (1) 2012: 178-192 - [c6]Michael Lienhardt, Dave Clarke:
Row types for delta-oriented programming. VaMoS 2012: 121-128 - 2011
- [c5]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: 109-132 - 2010
- [b1]Michael Lienhardt:
Composants et Typage. (Components and Types). Joseph Fourier University, Grenoble, France, 2010 - [c4]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: 165-183
2000 – 2009
- 2009
- [c3]Michael Lienhardt, Claudio Antares Mezzina
, Alan Schmitt, Jean-Bernard Stefani:
Typing Component-Based Communication Systems. FMOODS/FORTE 2009: 167-181 - 2008
- [c2]Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani:
Typing communicating component assemblages. GPCE 2008: 125-136 - 2007
- [c1]Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani:
Oz/K: a kernel language for component-based open programming. GPCE 2007: 43-52
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint