BibTeX Bibliography References

2013


Aeolus: Mastering the Complexity of Cloud Application Deployment

@inproceedings{Catan2013,
  author    = {Michel Catan and Roberto Di Cosmo and Antoine Eiche and Tudor A. Lascu and Michael Lienhardt and Jacopo Mauro and Ralf Treinen and Stefano Zacchiroli and Gianluigi Zavattaro and Jakub Zwolakowski},
  title     = {Aeolus: Mastering the Complexity of Cloud Application Deployment},
  booktitle = {ESOCC},
  year      = {2013},
  pages     = {1-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40651-5\_1}
}

Concurrent Flexible Reversibility

@inproceedings{Lanese2013,
  author    = {Ivan Lanese and Michael Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
  title     = {Concurrent Flexible Reversibility},
  booktitle = {ESOP},
  year      = {2013},
  pages     = {370-390},
  ee        = {http://dx.doi.org/10.1007/978-3-642-37036-6\_21}
}

Deadlock Analysis of Concurrent Objects: Theory and Practice

@inproceedings{Giachino2013,
  author    = {Elena Giachino and Carlo A. Grazia and Cosimo Laneve and Michael Lienhardt and Peter Y. H. Wong},
  title     = {Deadlock Analysis of Concurrent Objects: Theory and Practice},
  booktitle = {IFM},
  year      = {2013},
  pages     = {394-411},
  ee        = {http://dx.doi.org/10.1007/978-3-642-38613-8\_27}
}

A Type System for Components

@inproceedings{Dardha2013,
  author    = {Ornela Dardha and Elena Giachino and Michael Lienhardt},
  title     = {A Type System for Components},
  booktitle = {SEFM},
  year      = {2013},
  pages     = {167-181},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40561-7\_12}
}

Optimal Provisioning in the Cloud — Proofs

@techreport{zephyrus-tr2013,
  author = {Roberto Di Cosmo and Michael Lienhardt and Ralf Treinen and Stefano Zacchiroli and Jakub Zwolakowski},
  title = {Optimal Provisioning in the Cloud --- Proofs},
  institution = {Université Paris Diderot},
  year = {2013},
  note = {Technical report available at \url{http://hal.archives-ouvertes.fr/hal-00831455/}},
}

2012


Conflict Detection in Delta-Oriented Programming

@inproceedings{Lienhardt12-3,
  author    = {Michael Lienhardt and Dave Clarke},
  title     = {Conflict Detection in Delta-Oriented Programming},
  booktitle = {ISoLA (1)},
  year      = {2012},
  pages     = {178-192},
  ee        = {http://dx.doi.org/10.1007/978-3-642-34026-0\_14},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2012 - Lienhardt,Clarke - Conflict Detection in Delta-Oriented Programming.pdf},
 x-pays = {BE},
 x-international-audience = {yes},
 x-proceedings = {yes}
}

An Object Group-Based Component Model

@inproceedings{Lienhardt12-2,
  author    = {Michael Lienhardt and Mario Bravetti and Davide Sangiorgi},
  title     = {An Object Group-Based Component Model},
  booktitle = {ISoLA (1)},
  year      = {2012},
  pages     = {64-78},
  ee        = {http://dx.doi.org/10.1007/978-3-642-34026-0\_6},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2012 - Lienhardt,all - An Object Group-Based Component Model.pdf},
 x-pays = {IT},
 x-international-audience = {yes},
 x-proceedings = {yes}
}

HATS Abstract Behavioral Specification: The Architectural View

@inproceedings{Hahnle12,
  author = {Reiner H\"ahnle and Michiel Helvenstijn and Einar Broch Johnsen and Michael Lienhardt and Davide Sangiorgi and Ina Schaefer and Peter Wong},
  title     = {HATS Abstract Behavioral Specification: The Architectural View},
  booktitle = {Formal Methods for Components and Objects (FMCO) 2011},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  volume =  {7542},
  year      = {2011},
  pages     = {165-185},
  url = {http://proton.inrialpes.fr/~mlienhar/articles/2012 - Hahnle,all - HATS Abstract Behavioral Specification: The Architectural View.pdf},
  x-pays = {DE,DK},
  x-international-audience = {yes},
  x-proceedings = {yes}
}

A Reversible Abstract Machine and Its Space Overhead

@inproceedings{Lienhardt12-1,
  author = {Michael Lienhardt and Ivan Lanese and Claudio Antares Mezzina and Jean-Bernard Stefani},
  title = {A Reversible Abstract Machine and Its Space Overhead},
  booktitle = {FMOODS/FORTE},
  year = {2012},
  pages = {1-17},
  ee = {http://dx.doi.org/10.1007/978-3-642-30793-5\_1},
  url = {http://proton.inrialpes.fr/~mlienhar/articles/2012 - Lienhardt,all - A Reversible Abstract Machine and Its Space Overhead.pdf},
 x-pays = {IT},
 x-international-audience = {yes},
 x-proceedings = {yes}
}

Row Types for Delta-Oriented Programming

@inproceedings{Lienhardt12-0,
 author = {Micha\"el Lienhardt and Dave Clarke},
 title = {Row types for delta-oriented programming},
 booktitle = {Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems},
 series = {VaMoS '12},
 year = {2012},
 isbn = {978-1-4503-1058-1},
 location = {Leipzig, Germany},
 pages = {121--128},
 numpages = {8},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2012 - Lienhardt,Clarke - Row Types for Delta-Oriented Programming.pdf},
 doi = {10.1145/2110147.2110161},
 acmid = {2110161},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {delta-oriented programming, software product line engineering, structural typing},
 x-pays = {IT},
 x-international-audience = {yes},
 x-proceedings = {yes}
}

2011


A Component Model for the ABS Language

@inproceedings{Lienhardt11,
  author = {Micha\"el Lienhardt and Ivan Lanese and Mario Bravetti and Davide Sangiorgi and Gianluigi Zavattaro and Yannick Welsch and Jan Sch\"afer and and Arnd Poetzsch-Heffter},
  title     = {A Component Model for the ABS Language},
  booktitle = {Formal Methods for Components and Objects (FMCO) 2010},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  volume =  {6957},
  year      = {2010},
  pages     = {165-185},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2011 - Lienhardt,all - A Component Model for the ABS Language.pdf},
 x-pays = {DE},
 x-international-audience = {yes},
 x-proceedings = {yes}
}

2010


Composants et Typage

@phdthesis{Lienhardt10,
 author = {Michael Lienhardt},
 title = {Composant et Typage},
 year = {2010},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2010 - Lienhardt - Composant et typage (PhD thesis).pdf}
}

2009


Typing Component-Based Communication Systems

@inproceedings{Lienhardt09,
 title     = {Typing Component-Based Communication Systems},
 author    = {Michael Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
 year      = {2009},
 booktitle = {11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems},
 publisher = {Springer},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2009 - Lienhardt,Schmitt,Stefani - Typing Component-Based Communication Systems.pdf}
}

2008


Typing communicating component assemblages

@inproceedings{Lienhardt08,
 title     = {Typing communicating component assemblages},
 author    = {Michael Lienhardt and Alan Schmitt and Jean-Bernard Stefani},
 year      = {2008},
 booktitle = {GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineering},
 publisher = {ACM},
 url = {http://proton.inrialpes.fr/~mlienhar/articles/2008 - Lienhardt,Schmitt,Stefani - Typing Communicating Component Assemblages.pdf}
}

2007


Oz/K: a kernel language for component-based open programming

@inproceedings{Lienhardt07,
  title     = {Oz/K: a kernel language for component-based open programming},
  author    = {Michael Lienhardt and Alan Schmitt and Jean-Bernard Stefani},
  year      = {2007},
  booktitle = {GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering},
  publisher = {ACM},
  url = {http://proton.inrialpes.fr/~mlienhar/articles/2007 - Lienhardt,Schmitt,Stefani - OzK: a kernel language for component-based open programming.pdf}
}

Oz/K: A Kernel Language for Component-Based Distributed Programming

@TechReport{Lienhardt07rep,
  author = {M. Lienhardt and A. Schmitt and J.-B. Stefani},
  title = {{Oz/K: A Kernel Language for Component-Based Distributed Programming }},
  number = {RR-6202}, 
  institution = {INRIA, France}, 
  year = {2007},
  url = {http://proton.inrialpes.fr/~mlienhar/articles/2007 - INRIA-RR-6202.pdf}
}

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License