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 13  
    Select a publication
    Show Title Venue Rating Date
    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
    Conference paper
    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.
    Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 2013 (0) 2011
    Conference paper
    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.
    Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers 2012 (0) 2010
    Show item 1 to 10 of 13  

    Your query returned 13 matches in the database.