Topic: E1 Real-time, Networked, and Dependable Systems

Real-time programming languages and software; formal models for real-time systems; software performance analysis; worst case execution time analysis; scheduling and software timing estimation; real-time system optimization; tools and design methods for real-time, networked and dependable systems; adaptive real-time systems; dependable systems including safety and criticality; software for safety critical systems; network control and QoS for embedded applications; software for sensor networks and networked applications

Chair: Giuseppe Lipari, ENS-Cachan, FR, Contact

Co-Chair: Stefan M. Petters, CISTER-ISEP, IPP, PT, Contact

Members:

• Benny Akesson, CISTER-ISEP Research Centre, Polytechnic Institute of Porto, PT, Contact
• Iain Bate, University of York, GB, Contact
• Tommaso Cucinotta, Alcatel-Lucent Bell Labs, Dublin, IR, Contact
• Liliana Cucu, INRIA, FR, Contact
• Arvind Easwaran, Nanyang Technical University, SG, Contact
• Sebastian Fischmeister, University of Waterloo, CA, Contact
• Gregor Gössler, INRIA, FR, Contact
• Joel Goossens, Universite Libre de Bruxelles, BE, Contact
• Raimund Kirner, University of Hertfortshire, GB, Contact
• Kai Lampka, Uppsala University, SE, Contact
• Chang-Gun Lee, Seoul National University, KR, Contact
• Binoy Ravindran, Virginia Tech, US, Contact
• Sebastian Stiller, TU Berlin, DE, Contact
• Patrick Meumeu Yomsi, ISEP, PT, Contact
• Dakai Zhu, University of Texas at San Antonio, US, Contact