Centre Equation - 2, avenue de Vignate
Telephone : +33 4 56 52 03 65
My research interests lie in the intersection between aspect-oriented programming and formal methods. More specifically, I am developing Larissa, an aspect-oriented extension for Argos, which is a hierarchic automata language and follows the synchronous principle. A compiler for Argos and Larissa is available.
I was moniteur (teaching assistant) at the Computer Science Department of the University Joseph Fourier. I've been involved into teaching Internet technologies, functional programming, Prolog, and GUI programming.
D. Stauch. Modifying Contracts with Larissa Aspects. SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems, March 31, 2007, Braga, Portugal. Appeared in ENTCS, 203 (4), pages 116-140. [bib] [pdf] [slides-pdf]
D. Stauch, K. Altisen and F. Maraninchi. Larissa, un langage d'aspects pour le développement des systèmes réactifs sûrs. 3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), 26 mars 2007, Toulouse, France. [bib] [pdf] [slides-pdf]
K. Altisen, F. Maraninchi and D. Stauch. Aspect-oriented programming for reactive systems: Larissa, a Proposal in the synchronous framework. in Science of Computer Programming 63(3), Special Issue on Foundations of Aspect-Oriented Programming, pages 297-320, 2006. [bib] [pdf]
K. Altisen, F. Maraninchi and D. Stauch. Modular Design of Man-Machine Interfaces with Larissa. 5th International Symposium on Software Composition, in Conjunction with ETAPS 2006, LNCS 4089, pages 291-306, Vienna, Austria. To Appear. [bib] [slides-pdf] [pdf]