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 15  
    Select a publication
    Show Title Venue Rating Date
    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
    Conference paper
    Michael Lienhardt, Dave Clarke.
    Row types for delta-oriented programming.
    Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani.
    A Reversible Abstract Machine and Its Space Overhead.
    Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Michael Lienhardt, Dave Clarke.
    Conflict Detection in Delta-Oriented Programming.
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I 2012 (0) 2012
    Conference paper
    Michael Lienhardt, Mario Bravetti, Davide Sangiorgi.
    An Object Group-Based Component Model.
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I 2012 (0) 2012
    Show item 1 to 10 of 15  

    Your query returned 15 matches in the database.