Technical Programme Committee 2012

Printer-friendly version PDF version

Topic: D1 System Specifications, Models and Methodologies

Modeling and specification methodologies for complex, HW-SW embedded 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: Andy Pimentel, University of Amsterdam, NL, Contact

Co-Chair: Dominique Borrione, TIMA Labs, FR, Contact


  • Andreas Gerstlauer, University of Texas at Austin, US, Contact
  • Jan Haase, Technical University Vienna, AT, Contact
  • Christian Haubelt, University of Erlangen, DE, Contact
  • Wolfgang Mueller, Universit├Ąt Paderborn, DE, Contact
  • Ingo Sander, Royal Institute of Technology, SE, Contact
  • Leandro Indrusiak, University of York, UK, Contact
  • Sander Stuijk, Eindhoven University of Technology, NL, Contact
  • Eugenio Villar, University of Cantabria, ES, Contact