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:

• bertrand [dot] jeannetinrialpes [dot] fr, Contact
• Axel Legay, INRIA and Aalborg, FR, Contact
• marc [dot] pouzetens [dot] fr, Contact
• Roychoudhury Abhik, National University of Singapore, SG, Contact
• Natasha Sharygina, USI, CH, Contact
• sokolskycis [dot] upenn [dot] edu, Contact
• veithforsyte [dot] tuwien [dot] ac [dot] at, Contact