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 15 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
    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
    Conference paper
    Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani.
    Typing Component-Based Communication Systems.
    Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani.
    Typing communicating component assemblages.
    Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani.
    Oz/K: a kernel language for component-based open programming.
    Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings 2007 (0) 2007
    Show item 1 to 15 of 15  

    Your query returned 15 matches in the database.