Technical Programme Committee 2018

Printer-friendly version PDF version

Topic: E3 Model-based Design and Verification

Verification techniques for embedded and cyber-physical systems ranging from simulation, testing, model-checking, SAT and SMT-based reasoning, compositional analysis and analytical methods. Modeling, analysis and optimization of non-functional and performance aspects such as timing, memory usage, QoS and reliability. Model-based design of software architectures and deployment. Theories, languages and tools supporting model-based design flows covering software, control and physical components. Monitoring and run-time verification of embedded systems.

Chair: Petru Eles, Linkoping University, SE, Contact

Co-Chair: Borzoo Bonakdarpour, McMaster University, CA, Contact


  • Sudipta Chattopadhyay, Singapore University of Technology and Design (SUTD), SG, Contact
  • Yli├Ęs Falcone, Univ. Grenoble Alpes, Inria, FR, Contact
  • Florence Maraninchi, Univ. Grenoble-Alpes & Verimag, FR, Contact
  • Kristin Yvonne Rozier, NASA Ames Research Center, US, Contact
  • Lothar Thiele, ETH Zurich, CH, Contact