VERIMAG

1
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