Participants
- ArtistDesign Participants
- Artist2 Participants
Cluster: Testing and Verification
Leader: Leader: Kim Larsen (Aalborg University)
More information about this cluster’s activities is available here.
More information about this cluster’s activities is available here.
-
Kim Guldstrad Larsen
Aalborg University
Email: 
Kim Guldstrand Larsen <kgl@cs.auc.dk>
Tel: +45 96 35 88 93 
Member of the Strategic Management Board
Cluster Leader for
Testing and Verification
Activity Leader - Testing and Verification Platform (JPIA-Platform)
-
Saddek Bensalem
Verimag Laboratory
Email: Saddek.Bensalem@imag.fr
Tel: +33 456 520 371
Participates in
Testing and Verification
-
Alfons Crespo
Univerdidad Polytécnica de Valencia
Email: Alfons Crespo <alfons@disca.upv.es>
Tel: +34 963 877 576
Participates in
Control for Embedded Systems
Participates in
Testing and Verification
Activity leader: Real-time techniques in control system implementations (Cluster Integration)
-
Thierry Jéron
INRIA
Email: Thierry.Jeron@irisa.fr
Tel: +33 2 99 84 74 64
Participates in
Testing and Verification
-
Philippe Schnoebelen
LSV/CNRS
Email: Philippe.Schnoebelen@lsv.ens-cachan.fr
Tel: +33 1 47 40 75 30 Secr. +33 (0)1 47 40 75 20
Participates in
Testing and Verification
-
Pierre Wolper
Centre Fédéré en Vérification
Email: Pierre Wolper <pw@montefiore.ulg.ac.be>
Tel: +32 4 3662099
Participates in
Testing and Verification
(c) Artist2 Consortium, All Rights Reserved - 2006