• Home Page
  • Participants
  • Research and Integration
  • Dissemination
  • Embedded System Links
  • intranet
» Participants » Core Team Leaders

Participants

  • ArtistDesign Participants
  • Artist2 Participants


Modeling and Validation

  • Bensalem
  • Crnkovic
  • Gérard
  • Girault
  • Graf
  • Haverkort
  • Henzinger
  • Jantsch
  • Jéron
  • Jonsson
  • Minea
  • Sangiovanni-Vincentelli
  • Sifakis
  • Törngren
  • Yi

ARTIST followup
  • EMSIG website
  • more info

Subscriptions

  • ARTIST Mailing List
 

Core Team Leaders

  • Albertos
  • Almeida
  • Alonso
  • Arzén
  • Benini
  • Bensalem
  • Benveniste
  • Bernat
  • Bouyssounouse
  • Burns
  • Buttazzo
  • Caspi
  • Collette
  • Crespo
  • Damm
  • de la Puente
  • De Micheli
  • Eles
  • Ernst
  • Ferdinand
  • Ferrari
  • Fohler
  • Gérard
  • Girault
  • Glesner
  • Graf
  • Hanzalek
  • Harbour
  • Haverkort
  • Henzinger
  • Holsti
  • Jantsch
  • Jéron
  • Jezequel
  • Jonsson
  • Josko
  • Kirsch
  • Kopetz
  • Krall
  • Kucera
  • Larsen
  • Lengauer
  • Leupers
  • Lisper
  • Madsen
  • Mamagkakis
  • Marwedel
  • Pulou
  • Puschner
  • Ravn
  • Sangiovanni-Vincentelli
  • Schnoebelen
  • Sifakis
  • Törngren
  • Tenhunen
  • Terrier
  • Thiele
  • Tovar
  • van Vlijmen
  • Voeten
  • Wilhelm
  • Wolper
  • Yi

Christoph Kirsch

Role within the ArtistDesign European Network of Excellence
Participates in Modeling and Validation

Company or Institution
University of Salzburg
 
Contact
Home page: http://cs.uni-salzburg.at/~ck/
Professor, Head of the Computational Systems Group, Department of Computer Sciences, University of Salzburg

Become an Affiliated Partner — Site Map — Access the Back End

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet