01. – 06. Juni 2014, Dagstuhl Seminar 14232
Letzte Aktualisierung: 24. August 2014

Design and Synthesis from Components

Participants

  • Farhad Arbab (CWI – Amsterdam, NL) [dblp]
  • Christel Baier (TU Dresden, DE) [dblp]
  • Ugo de' Liguoro (University of Turin, IT) [dblp]
  • Mariangiola Dezani (University of Turin, IT) [dblp]
  • Laurent Doyen (ENS – Cachan, FR) [dblp]
  • Boris Düdder (TU Dortmund, DE) [dblp]
  • Bernd Finkbeiner (Universität des Saarlandes, DE) [dblp]
  • Dror Fried (Rice University – Houston, US) [dblp]
  • George T. Heineman (Worcester Polytechnic Institute, US) [dblp]
  • Fritz Henglein (University of Copenhagen, DK) [dblp]
  • Paola Inverardi (University of L'Aquila, IT) [dblp]
  • Neil D. Jones (University of Copenhagen, DK) [dblp]
  • Bengt Jonsson (Uppsala University, SE) [dblp]
  • Axel Legay (INRIA Rennes – Bretagne Atlantique, FR) [dblp]
  • Moritz Martens (TU Dortmund, DE) [dblp]
  • Hongyang Qu (University of Sheffield, GB) [dblp]
  • Jean-Francois Raskin (Free University of Brussels, BE) [dblp]
  • Jakob Rehof (TU Dortmund, DE) [dblp]
  • Sven Schewe (University of Liverpool, GB) [dblp]
  • Joseph Sifakis (VERIMAG – Grenoble, FR) [dblp]
  • Bernhard Steffen (TU Dortmund, DE) [dblp]
  • Wolfgang Thomas (RWTH Aachen, DE) [dblp]
  • Massimo Tivoli (University of L'Aquila, IT) [dblp]
  • Stavros Tripakis (University of California – Berkeley, US) [dblp]
  • Pawel Urzyczyn (University of Warsaw, PL) [dblp]
  • Moshe Y. Vardi (Rice University – Houston, US) [dblp]
  • Clemens Wiltsche (University of Oxford, GB) [dblp]
  • Eran Yahav (Technion – Haifa, IL) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner