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