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 10  

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 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 10 of 10  

Your query returned 10 matches in the database.