16. – 21. März 2014, Dagstuhl Seminar 14122
Letzte Aktualisierung: 08. Juni 2014

Verification of Cyber-Physical Systems

Participants

  • Erika Abraham (RWTH Aachen, DE) [dblp]
  • Calin A. Belta (Boston University, US) [dblp]
  • Sergiy Bogomolov (Universität Freiburg, DE) [dblp]
  • Ken Butts (Toyota Research Institute North America- Ann Arbor, US) [dblp]
  • Xin Chen (RWTH Aachen, DE) [dblp]
  • Deepak D'Souza (Indian Institute of Science – Bangalore, IN) [dblp]
  • Thao Dang (VERIMAG – Grenoble, FR) [dblp]
  • Jyotirmoy Deshmukh (Toyota Technical Center – Gardena, US) [dblp]
  • Georgios Fainekos (Arizona State University – Tempe, US) [dblp]
  • Goran Frehse (VERIMAG – Grenoble, FR) [dblp]
  • Sebastian Gerwinn (Universität Oldenburg, DE) [dblp]
  • Radu Grosu (TU Wien, AT) [dblp]
  • Bruce H. Krogh (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Mircea Lazar (TU Eindhoven, NL) [dblp]
  • Rupak Majumdar (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Oded Maler (VERIMAG – Grenoble, FR) [dblp]
  • Ian M. Mitchell (University of British Columbia – Vancouver, CA) [dblp]
  • Sayan Mitra (University of Illinois – Urbana Champaign, US) [dblp]
  • Richard M. Murray (CalTech – Pasadena, US) [dblp]
  • André Platzer (Carnegie Mellon University, US) [dblp]
  • Pavithra Prabhakar (IMDEA Software – Madrid, ES) [dblp]
  • Jean-Francois Raskin (Free University of Brussels, BE) [dblp]
  • Harald Ruess (fortiss GmbH – München, DE) [dblp]
  • Indranil Saha (University of California – Berkeley, US) [dblp]
  • Sriram Sankaranarayanan (University of Colorado – Boulder, US) [dblp]
  • Konstantin Selyunin (TU Wien, AT) [dblp]
  • Danielle Tarraf (The Johns Hopkins University, US) [dblp]
  • Ashish Tiwari (SRI – Menlo Park, US) [dblp]
  • Mahesh Viswanathan (University of Illinois – Urbana-Champaign, US) [dblp]


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