Home Page
Participants
Research and Integration
Dissemination
Embedded System Links
intranet
»
Participants
»
ArtistDesign Participants
»
ArtistDesign Core Partners - by Cluster topics
»
Cluster: Modeling and Validation
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
ArtistDesign Affiliated Partners - by cluster topics
Artist2 Participants
ARTIST followup
EMSIG website
more info
Subscriptions
ARTIST Mailing List
Cluster: Modeling and Validation
Albert Benveniste
INRIA / IRISA
Email:
Albert.Benveniste@inria.fr
Tel: +33 299 84 72 35
Role within the ArtistDesign European Network of Excellence
Cluster Leader for
Modeling and Validation
Susanne Graf
Verimag Laboratory
Email:
Susanne.Graf@imag.fr
Tel: +33 4 56 52 03 52
Cluster Leader for
Modeling and Validation
Participates in
Modeling and Validation
Leader of the JPRA Activity: “Modeling”
Kim Guldstrad Larsen
Member of the
Strategic Management Board
Cluster Leader for
Modeling and Validation
Saddek Bensalem
Verimag Laboratory
Email:
Saddek.Bensalem@imag.fr
Tel: +33 456 520 371
Participates in
Modeling and Validation
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
Boudewijn Haverkort
Participates in
Modeling and Validation
Participates in
Intercluster activity: Integration Driven by Industrial Applications
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
Participates in
Modeling and Validation
Participates in
Intercluster activity: Design for Predictability and Performance
Axel Jantsch
Royal Institute of Technology
Email:
axel@imit.kth.se
Tel: +46 8 790 4124
Participates in
Modeling and Validation
Participates in
Hardware Platforms and MPSoC Design
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
Leader of the JPRA Transversal Integration Activity: "Design for Predictability and Performance"
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
Participates in
Intercluster activity: Design for Predictability and Performance
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) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009
Réalisation Axome
-
Création de sites Internet