June 10 – 15 , 2007, Dagstuhl Seminar 07241
Last update: October 19 2010

Tools for the Model-based Development of Certifiable, Dependable Systems

Participants

  • Sir Tim Berners-Lee (MIT – Cambridge, US)
  • Ed Brinksma (University of Twente, NL)
  • Gert Döhmen (Airbus – Hamburg, DE)
  • Alessandro Fantechi (University of Florence, IT)
  • Roozbeh Farahbod (Simon Fraser University – Burnaby, CA)
  • Nico Feiertag (Symtavision GmbH – Braunschweig, DE)
  • Christian Ferdinand (AbsInt – Saarbrücken, DE)
  • Ulrich Freund (ETAS GmbH – Stuttgart, DE)
  • Holger Giese (Universität Paderborn, DE)
  • Ursula Goltz (TU Braunschweig, DE)
  • Michaela Huhn (TU Braunschweig, DE)
  • Hardi Hungar (OFFIS – Oldenburg, DE)
  • Angelika Mader (University of Twente, NL)
  • Stephan Merz (LORIA – Nancy, FR)
  • Stefan Milius (Siemens, DE)
  • Peter Niebert (University of Marseille, FR)
  • Iulian Ober (IRIT – Toulouse, FR)
  • Roman Obermaisser (TU Wien, AT)
  • Andras Pataricza (Budapest Univ. of Technology & Economics, HU)
  • Wolfgang J. Paul (Universität des Saarlandes, DE)
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
  • Jan Peleska (Universität Bremen, DE)
  • Ralf Pinger (Siemens AG – Braunschweig, DE)
  • Amir Pnueli (New York University, US)
  • Bernhard Schätz (TU München, DE)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Maciej Szreter (IPI PAN & University of Podlasie, PL)
  • Cornelia Zahlten (Verified Systems International GmbH – Bremen, DE)
  • Axel Zechner (TU Braunschweig, DE)