Verimag

David Stauch

supervisor : F. Maraninchi, K. Altisen - PhD 2004-2007

Larissa, an Aspect-Oriented Language for Reactive Systems.

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

  1. Formal Analysis Tools for the Synchronous Aspect Language Larissa. David Stauch - EURASIP Journal on Embedded Systems - [bibtex]

2007

  1. 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]
  2. Larissa, an Aspect-Oriented Language for Reactive Systems. David Stauch - [bibtex]

2006

  1. Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
  2. Interference of Larissa Aspects. David Stauch, Karine Altisen, Florence Maraninchi - FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event) - [bibtex]
  3. 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

  1. Aspects for Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - [bibtex]

2004

  1. 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]

Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 12 ; visites : 429365