Modeling and Validation
- Bensalem
- Crnkovic
- Gérard
- Graf
- Haverkort
- Henzinger
- Jantsch
- Jéron
- Jonsson
- Kirsch
- Minea
- Sangiovanni-Vincentelli
- Sifakis
- Törngren
- Yi
Intercluster activity: Design for Predictability and Performance
Subscriptions
Core Team Leaders
Alain Girault
Role within the ArtistDesign European Network of Excellence
Participates in
Modeling and Validation
Participates in
Intercluster activity: Design for Predictability and Performance
Participates in
Modeling and Validation
Participates in
Intercluster activity: Design for Predictability and PerformanceRole within the Artist2 European Network of Excellence
Participates in
Real-Time Components
Company or Institution
INRIAContact
Home page: http://www.inrialpes.fr/pop-art/people/girault/ Email: 
Alain.Girault@inria.fr
Tel: +33 476 61 53 51
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009