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 19  
    Select a publication
    Show Title Venue Rating Date
    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
    Conference paper
    Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong.
    Deadlock Analysis of Concurrent Objects: Theory and Practice.
    Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    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.
    Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Ornela Dardha, Elena Giachino, Michael Lienhardt.
    A Type System for Components.
    Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings 2013 (0) 2013
    Show item 1 to 10 of 19  

    Your query returned 19 matches in the database.