Topic: E3 Model-Based Design and Verification for Embedded Systems

Model-based methods for embedded system design; verification of embedded systems; model-based software architectures; model-based design for control applications; model-based software testing, software/system integration and deployment; tools for model-based embedded system design; software verification;

Chair: Wang Yi, Uppsala University, SE, Contact

Co-Chair: Saddek Bensalem, Université Joseph Fourier, FR, Contact

Members:

• Christoph Kirsch, University of Salzburg, AT, Contact
• Kai Lampka, Uppsala University, SE, Contact
• Marc Pouzet, Ecole normale superieure, FR, Contact
• Natasha Sharygina, University of Lugano, CH, Contact
• Oleg Sokolsky, University of Pennsylvania, US, Contact
• Farn Wang, National Taiwan University, TW, Contact