Technical Programme Committee 2017

Printer-friendly version PDF version

Topic: D1 System Specification and Modelling

Modeling and specification methodologies for complex HW-SW systems; (formal) models of computation and their (static) analysis; modeling and analysis of functional and non-functional system properties; concurrency models; multi-domain/multi-criteria specifications and models; application and workload models; requirements engineering; system-level modeling and simulation of multi- and many-core SoCs; Transaction Level Modeling (TLM) and model refinement; modeling of system adaptivity; system modeling and specification languages; model-driven engineering; meta-modeling; executable specifications; specification driven design and validation flows.

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

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

Members:

  • Timo Hämäläinen, Tampere University of Technology, FI, Contact
  • Michael Hübner, Ruhr-Universität Bochum, DE, Contact
  • Jorn W. Janneck, Lund University, SE, Contact
  • Frédéric Mallet, Université Nice Sophia Antipolis, FR, Contact
  • Gianluca Palermo, Politecnico di Milano, IT, Contact
  • Laurence Pierre, TIMA, FR, Contact
  • Martin Radetzki, Institut für Technische Informatik, DE, Contact
  • Jürgen Teich, Friedrich-Alexander-Universität Erlangen-Nürnberg, DE, Contact