Committee (november 13, 2007) :
- Karine Altisen (co-supervisor, VERIMAG)
- Florence Maraninchi (co-supervisor, VERIMAG)
- Mario Südholt (reviewer, EMN, Nantes)
- Shmuel Katz (reviewer, Technion, Israel)
- Pascal Fradet (examinator, INRIA Grenoble)
- Roland Groz (president, Grenoble INP)
Publications
2008
- Formal Analysis Tools for the Synchronous Aspect Language Larissa. David Stauch - EURASIP Journal on Embedded Systems - [bibtex]
2007
- Larissa, un langage d'aspects pour le développement des systèmes réactifs sûrs. David Stauch, Karine Altisen, Florence Maraninchi - 3èmes Journées Francophones sur le Développement de Logiciels par Aspects - [bibtex]
- Larissa, an Aspect-Oriented Language for Reactive Systems. David Stauch - [bibtex]
2006
- Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
- Interference of Larissa Aspects. David Stauch, Karine Altisen, Florence Maraninchi - FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event) - [bibtex]
- Larissa: Modular Design of Man-Machine Interfaces with Aspects. Karine Altisen, Florence Maraninchi, David Stauch - Fifth International Symposium on Software Composition (an ETAPS satellite event) - [bibtex]
2005
- Aspects for Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - [bibtex]
2004
- Exploring Aspects in the Context of Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - Workshop on the Foundations of Aspect-Oriented Languages (FOAL), affiliated with AOSD (International Conference on Aspect-Oriented Software Development) - [bibtex]
