Participants
-
ArtistDesign Participants
- Strategic Management Board — ArtistDesign NoE
- ArtistDesign Core partners - full consortium
-
ArtistDesign Core Partners - by Cluster topics
- Cluster: Modeling and Validation
- Cluster: SW Synthesis, Code Generation and Timing Analysis
- Cluster: Operating Systems and Networks
- Cluster: Hardware Platforms and MPSoC Design
- Intercluster activity: Design for Adaptivity
- Intercluster activity: Design for Predictability and Performance
- Intercluster activity: Integration Driven by Industrial Applications
- Artist2 Participants
Cluster: Modeling and Validation
-
Tom A. Henzinger
Ecole Polytechnique Fédérale de Lausanne
Email: 
Tom Henzinger <tah@eecs.berkeley.edu>
Tel: +41 21 693-5234 
Member of the Strategic Management Board
Cluster Leader for
Modeling and Validation
Participates in
Intercluster activity: Design for Predictability and Performance
Leader of the JPRA Activity: “Modeling”
-
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
Modeling and Validation
Leader of the JPRA Activity: “Validation”
-
Ed Brinksma
University of Twente
Email: Ed Brinksma <brinksma@cs.utwente.nl>
Tel: +31 (0)40 – 247 47 20
Member of the Strategic Management Board
Cluster Leader for
Intercluster activity: Integration Driven by Industrial Applications
Participates in
Modeling and Validation
-
Werner Damm
OFFIS
Email: Werner Damm <damm@offis.de>
Tel: +49 441 9722 500
Participates in
Modeling and Validation
-
Alberto Ferrari
PARADES
Email: Alberto.Ferrari@parades.rm.cnr.it
Tel: +390668100327
Participates in
Modeling and Validation
Participates in
Operating Systems and Networks
Participates in
Intercluster activity: Design for Predictability and Performance
Participates in
Intercluster activity: Integration Driven by Industrial Applications
-
Sébastien Gérard
CEA / SACLAY
Email: Sebastien.GERARD@cea.fr
Tel: +33 1 69 08 58 24 secr: +33 1 69 08 45 19
Participates in
Modeling and Validation
-
Alain Girault
INRIA
Email: Alain.Girault@inria.fr
Tel: +33 476 61 53 51
Participates in
Modeling and Validation
Participates in
Intercluster activity: Design for Predictability and Performance
-
Thierry Jéron
INRIA
Email: Thierry.Jeron@irisa.fr
Tel: +33 2 99 84 74 64
Participates in
Modeling and Validation
-
Bengt Jonsson
Uppsala University
Email: Bengt.Jonsson@it.uu.se
Tel: +46 18 4713157
Member of the Strategic Management Board
Cluster Leader for
Intercluster activity: Design for Predictability and Performance
Participates in
Modeling and Validation
-
Bernhard Josko
OFFIS
Email: Bernhard.Josko@offis.de
Tel: +49 441 9722-520
Participates in
Modeling and Validation
-
Christoph Kirsch
University of Salzburg
Email: Christoph Kirsch <ck@cs.uni-salzburg.at>
Tel: +43 662 8044 6411
Participates in
Modeling and Validation
-
Alberto Sangiovanni-Vincentelli
PARADES
Email: Alberto Sangiovanni-Vincentelli <alberto@parades.rm.cnr.it>
Tel: +39 6 68807923
Member of the Strategic Management Board
Cluster Leader for
Intercluster activity: Integration Driven by Industrial Applications
Participates in
Modeling and Validation
-
Joseph Sifakis
Research Director at Verimag Laboratory
Email: Joseph.Sifakis@imag.fr
Tel: (+33) 4 56 52 03 51
ArtistDesign Scientific Coordinator
Member of the Strategic Management Board
Participates in
Modeling and Validation
-
Martin Törngren
KTH - Royal Institute of Technology Stockholm
Email: Martin Törngren <martin@md.kth.se>
Tel: +46 8 790 63 07 +46 70 5136582 (mobile)
Participates in
Modeling and Validation
-
Wang Yi
University of Uppsala
Email: Wang Yi <yi@it.uu.se>
Tel: +46(0)18 4713110 Mobile: +46(0)70 4250293
Participates in
Modeling and Validation
(c) Artist2 Consortium, All Rights Reserved - 2006