July 4 – 9 , 2010, Dagstuhl Seminar 10271
Last update: November 17 2011

Verification over discrete-continuous boundaries

Participants

  • Alessandro Abate (TU Delft, NL)
  • Erika Abraham (RWTH Aachen, DE)
  • Jacob A. Abraham (University of Texas – Austin, US)
  • Ernst Althaus (Universität Mainz, DE)
  • Rolf Backofen (Universität Freiburg, DE)
  • Rena Bakhshi (Free University of Amsterdam, NL)
  • Bernd Becker (Universität Freiburg, DE)
  • Luca Cardelli (Microsoft Research UK – Cambridge, GB)
  • Tugrul Dayar (Bilkent University – Ankara, TR)
  • Lorenzo Dematte (Microsoft Research – University Trento, IT)
  • Alexander Dreyer (Fraunhofer ITWM – Kaiserslautern, DE)
  • Andreas Eggers (Universität Oldenburg, DE)
  • Jasmin Fisher (Microsoft Research UK – Cambridge, GB)
  • Goran Frehse (VERIMAG – Grenoble, FR)
  • Gert-Martin Greuel (TU Kaiserslautern, DE)
  • Christoph Grimm (TU Wien, AT)
  • Radu Grosu (SUNY – Stony Brook, US)
  • Ernst Moritz Hahn (Universität des Saarlandes, DE)
  • Boudewijn Haverkort (University of Twente, NL)
  • Lars Hedrich (Goethe-Universität – Frankfurt a. M., DE)
  • Holger Hermanns (Universität des Saarlandes, DE)
  • Kevin Jones (City University – London, GB)
  • Marek Kwiatkowski (University of Edinburgh, GB)
  • Mark Lawford (McMaster University – Hamilton, CA)
  • Jean-Yves Le Boudec (EPFL – Lausanne, CH)
  • David Lester (University of Manchester, GB)
  • Oded Maler (VERIMAG – Grenoble, FR)
  • Maria-Emanuela-Canini Mateescu (EPFL – Lausanne, CH)
  • Linar Mikeev (Universität des Saarlandes, DE)
  • Ian M. Mitchell (University of British Columbia – Vancouver, CA)
  • Pieter J. Mosterman (McGill University – Montreal, CA)
  • Chris J. Myers (Univ. of Utah, US)
  • Joachim Niehren (INRIA – University of Lille 1, FR)
  • Gethin Norman (University of Glasgow, GB)
  • David Parker (University of Oxford, GB)
  • Andrew Phillips (Microsoft Research UK – Cambridge, GB)
  • Lee Pike (Galois – Portland, US)
  • Stefan Ratschan (Academy of Science – Prague, CZ)
  • Peter Schrammel (INRIA – Grenoble, FR)
  • David Spieler (Universität des Saarlandes, DE)
  • Sofiene Tahar (Concordia Univ. – Montreal, CA)
  • Ralf Wimmer (Universität Freiburg, DE)
  • Verena Wolf (Universität des Saarlandes, DE)
  • Chao Yan (University of British Columbia – Vancouver, CA)
  • Mohamed Zaki (University of British Columbia – Vancouver, CA)
  • Lijun Zhang (Technical University of Denmark – Lyngby, DK)