February 10 – 15 , 2019, Dagstuhl Seminar 19071
Last update: October 4 2019

Specification Formalisms for Modern Cyber-Physical Systems

Participants

  • Houssam Abbas (Oregon State University – Corvallis, US) [dblp]
  • Nikos Aréchiga (Toyota Research Institute – Los Altos, US) [dblp]
  • Ezio Bartocci (TU Wien, AT) [dblp]
  • Marcello M. Bersani (Polytechnic University of Milan, IT) [dblp]
  • Paul Bogdan (USC – Los Angeles, US) [dblp]
  • Borzoo Bonakdarpour (Iowa State University – Ames, US) [dblp]
  • Chih-Hong Cheng (fortiss GmbH – München, DE) [dblp]
  • Thao Dang (VERIMAG – Grenoble, FR) [dblp]
  • Jyotirmoy Deshmukh (USC – Los Angeles, US) [dblp]
  • Rayna Dimitrova (University of Leicester, GB) [dblp]
  • Alexandre Donzé (Decyphir – Moirans, FR) [dblp]
  • Katie Driggs-Campbell (University of Illinois – Urbana Champaign, US) [dblp]
  • Georgios Fainekos (Arizona State University – Tempe, US) [dblp]
  • Lu Feng (University of Virginia – Charlottesville, US) [dblp]
  • Thomas Ferrère (IST Austria – Klosterneuburg, AT) [dblp]
  • Bernd Finkbeiner (Universität des Saarlandes, DE) [dblp]
  • Dana Fisman (Ben Gurion University – Beer Sheva, IL) [dblp]
  • Felipe Gorostiaga (IMDEA Software – Madrid, ES) [dblp]
  • Radu Grosu (TU Wien, AT) [dblp]
  • James Kapinski (Toyota Research Institute North America- Ann Arbor, US) [dblp]
  • Martin Leucker (Universität Lübeck, DE) [dblp]
  • Rupak Majumdar (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Niveditha Manjunath (AIT – Austrian Institute of Technology – Wien, AT) [dblp]
  • Stefan Mitsch (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Laura Nenzi (University of Trieste, IT) [dblp]
  • Dejan Nickovic (AIT – Austrian Institute of Technology – Wien, AT) [dblp]
  • Jens Oehlerking (Robert Bosch GmbH – Stuttgart, DE) [dblp]
  • Ana Oliveira da Costa (TU Wien, AT) [dblp]
  • Necmiye Ozay (University of Michigan – Ann Arbor, US) [dblp]
  • Pavithra Prabhakar (Kansas State University – Manhattan, US) [dblp]
  • Gustavo Quirós (Siemens – Princeton, US) [dblp]
  • Akshay Rajhans (MathWorks, US) [dblp]
  • David Safranek (Masaryk University – Brno, CZ) [dblp]
  • César Sánchez (IMDEA Software – Madrid, ES) [dblp]
  • Caleb Stanford (University of Pennsylvania – Philadelphia, US) [dblp]
  • Hazem Torfah (Universität des Saarlandes, DE) [dblp]
  • Marcell Vazquez-Chanlatte (University of California – Berkeley, US) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner