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 26  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong.
    Dynamic Rebinding for Concurrent Object Groups: Theory and practice.
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Conference paper
    Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt.
    A Unified and Formal Programming Model for Deltas and Traits.
    Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt.
    Abstraction Refinement for the Analysis of Software Product Lines.
    Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings 2017 (0) 2017
    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
    Ferruccio Damiani, Michael Lienhardt.
    Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (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
    Show item 1 to 10 of 26  

    Your query returned 26 matches in the database.