1. Presentation for the CC meeting 24/1/02
VERIMAG
Presentation for the CC meeting 24/1/02

2. UMR (JRU in English) (Upside-down): Director: Joseph Sifakis
16 Permanent researchers and professors
7 Engineers and post-docs
20 PhD students

3. Sub-Groups
Synchronous programming (Lustre-Scade environment for programming control applications). P. Caspi and N. Halbwachs
Distributed complex systems (verification of protocols, security). Y. Lakhnech
Timed and Hybrid systems (we)

4. Timed and Hybrid Systems
Permanent Members:
Eugene Asarin
Saddek Bensalem
Thao Dang
Stavros Tripakis
Sergio Yovine

5. Domains of Activity
Validation techniques for real-time software (Taxys-Esterel, RT-Java, TTA)
New approaches to scheduling and planning based on timed automata
Compositional modeling methodology for real-time systems
Timing analysis of circuits
Verification of hybrid systems