September 13 – 18 , 2009, Dagstuhl Seminar 09381
Last update: January 26 2011

Refinement Based Methods for the Construction of Dependable Systems

Participants

  • Jens Bendisposto (Heinrich-Heine-Universität Düsseldorf, DE)
  • Egon Börger (University of Pisa, IT)
  • Eerke Boiten (University of Kent, GB)
  • Michael Butler (University of Southampton, GB)
  • Mathieu Clabaut (SYSTEREL Aix en Provence, FR)
  • John Colley (University of Southampton, GB)
  • John Derrick (University of Sheffield, GB)
  • Neil Evans (AWE Plc. – Berkshire, GB)
  • Fintan Fairmichael (University College Dublin, IE)
  • Leo Freitas (University of York, GB)
  • Gudmund Grov (University of Edinburgh, GB)
  • Stefan Hallerstede (Heinrich-Heine-Universität Düsseldorf, DE)
  • Maritta Heisel (Universität Duisburg-Essen, DE)
  • Michael G. Hinchey (University of Limerick, IE)
  • Thai Son Hoang (ETH Zürich, CH)
  • Charles Anthony Richard Hoare (Microsoft Research UK – Cambridge, GB)
  • Alexei Iliasov (University of Newcastle, GB)
  • Dubravka Ilic (Space Syst. Finland Ltd – Espoo, FI)
  • Andrew Ireland (Heriot-Watt University Edinburgh, GB)
  • Michael Jackson (The Open University – Milton Keynes, GB)
  • Cliff B. Jones (University of Newcastle, GB)
  • Rajeev Joshi (CalTech – Pasadena, US)
  • Joost-Pieter Katoen (RWTH Aachen, DE)
  • Dirk Leinenbach (DFKI – Saarbrücken, DE)
  • Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE)
  • Felix Lösch (Robert Bosch GmbH – Stuttgart, DE)
  • Larissa Meinicke (Macquarie University – Sydney, AU)
  • Dominique Méry (LORIA – Nancy, FR)
  • C. Carroll Morgan (UNSW – Sydney, AU)
  • Louis Mussat (CLEARSY – Aix-en-Provence, FR)
  • Alexander Romanovsky (University of Newcastle, GB)
  • Andreas Roth (SAP Research – Darmstadt, DE)
  • Aryldo G Russo Jr (AeS Group – Sao Paolo, BR)
  • Thomas Santen (European Microsoft Innovation Center – Aachen, DE)
  • Manoranjan Satpathy (General Motors – Bangalore, IN)
  • Gerhard Schellhorn (Universität Augsburg, DE)
  • Holger Schmidt (Universität Duisburg-Essen, DE)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Emil Sekerinski (McMaster University – Hamilton, CA)
  • Kaisa Sere (Abo Akademi University – Turku, FI)
  • Colin F. Snook (University of Southampton, GB)
  • Maria Spichkova (TU München, DE)
  • Helen Treharne (University of Surrey, GB)
  • Elena Troubitsyna (Abo Akademi University – Turku, FI)
  • Stephen Wright (University of Bristol, GB)