Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Michael
    Last name: Lienhardt
    DBLP: 38/2487
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 22  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Ferruccio Damiani, Michael Lienhardt.
    Refactoring Delta-Oriented Product Lines to achieve Monotonicity.
    Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. 2016, Volume 206 (0) 2016
    Conference paper
    Ferruccio Damiani, Michael Lienhardt.
    On Type Checking Delta-Oriented Product Lines.
    Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Elena Giachino, Cosimo Laneve, Michael Lienhardt.
    A framework for deadlock detection in core ABS.
    Software and System Modeling 2016, Volume 15 (0) 2016
    Conference paper
    Abel Garcia, Cosimo Laneve, Michael Lienhardt.
    Static analysis of cloud elasticity.
    Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 2015 (0) 2015
    Conference paper
    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).
    26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 2015 (0) 2015
    Conference paper
    Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro.
    On the Integration of Automatic Deployment into the ABS Modeling Language.
    Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings 2015 (0) 2015
    Journal article
    Elena Giachino, Cosimo Laneve, Michael Lienhardt.
    A framework for deadlock detection in core ABS.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi.
    Automated synthesis and deployment of cloud applications.
    ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014 2014 (0) 2014
    Conference paper
    Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro.
    Fault Model Design Space for Cooperative Concurrency.
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Conference paper
    Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani.
    Concurrent Flexible Reversibility.
    Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Show item 1 to 10 of 22  

    Your query returned 22 matches in the database.