ACI Alidecs
Réunion de travail
VERIMAG

2 et 3 février 2005

La réunion de l'ACI sécurité ALIDECS s'est tenue les 2 et 3 février sur le campus de Grenoble/Gières, dans les locaux de Verimag (accès). Étaient présents :

• LIP6 : Marc Pouzet, Louis Mandel, Claire Pagetti,
• INRIA RhÔne-Alpes : Alan Schmitt, Alain Girault, Gregor Goessler, Gwenaël Delaval, Pascal Fradet, Jean-Bernard Stefani, Tolga Ayav,
• VERIMAG : Pascal Raymond, Nicolas Halbwachs, Paul Caspi, Erwan Jahier, Fabienne Lagnier, Dimitru Potop-Butucaru, Xavier Nicollin, Mathieu Moy, Adrian Curic, Claude Helmstetter, David Merchat, Florence Maraninchi, Lionel Morel, Karine Altisen,
• LaMi Évry : Jean-Marc Delosme, Bachir Djafri,
• INRIA Sophia-Antipolis : Frédéric Boussinot.

Mercredi 2 février

Avant 11h acceuil café/biscuits

11h-13h

• Marc Pouzet (LIP6) Automates de mode en Lustre

13h : déjeuner

14h-16h

• Paul Caspi (VERIMAG) Flots de données et automates de modes
• Tolga Ayav (INRIA Rhône-Alpes) Aspect oriented programming for Fault-tolerant real-time systems

16h : pause

16h30-18h

• Jean-Bernard Stefani (INRIA Rhône-Alpes) Fractal

Jeudi 3 février

9h-10h30

• Gregor Goessler (INRIA Rhône-Alpes) Compositionalité et vérification statique

10h30 : pause

11h-13h

• Claire Pagetti Synchronizing Periodic Clocks in Kahn Networks (transparents)

13h : déjeuner

14h-16h

• Frédéric Boussinot Programmation réactive (transparents)