50 likes | 200 Views
VERIMAG. Presentation for the CC meeting 24/1/02. UMR (JRU in English). (Upside-down):. Director: Joseph Sifakis 16 Permanent researchers and professors 7 Engineers and post-docs 20 PhD students. Sub-Groups.
E N D
VERIMAG Presentation for the CC meeting 24/1/02
UMR (JRU in English) (Upside-down): • Director: Joseph Sifakis • 16 Permanent researchers and professors • 7 Engineers and post-docs • 20 PhD students
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)
Timed and Hybrid Systems Permanent Members: • Eugene Asarin • Saddek Bensalem • Thao Dang • Stavros Tripakis • Sergio Yovine
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