Technical Programme Committee 2018

Printer-friendly version PDF version

Topic: D1 System Specification and Modeling

Modeling and specification methodologies for complex HW-SW systems; requirements engineering; multi-domain/multi-criteria specifications; meta-modeling; design and specification languages; application and workload models; models of computation and their (static) analysis; concurrency and communication models; model- and component-based design; refinement and validation flows; modeling and analysis of functional and non-functional system properties; performance modeling; timing analysis; predictive and learning-based models; system-level platform and architecture models and simulation.

Chair: Ingo Sander, KTH Royal Institute of Technology, SE, Contact

Co-Chair: Andreas Gerstlauer, The University of Texas at Austin, US, Contact


  • Patricia Balbastre, Universtat Politecnica de Valencia, ES, Contact
  • Michael Huebner, Ruhr-University Bochum, DE, Contact
  • Frederic Mallet, Univ. Nice Sophia Antipolis, FR, Contact
  • Gianluca Palermo, Politecnico di Milano, IT, Contact
  • Laurence Pierre, Univ. Grenoble Alpes, TIMA Lab., FR, Contact
  • Martin Radetzki, University of Stuttgart, DE, Contact
  • Sander Stuijk, Eindhoven University of Technology, NL, Contact
  • J├╝rgen Teich, University of Erlangen-Nuremberg, DE, Contact