Start Date: 15 Dec 2016
Start Time: 09:00
End Date: 15 Dec 2016
End Time: 11:00
Location: Fondazione Bruno Kessler (Povo), Sala Stringa
The program was structured as follows:
- 9:00 – 9:45 "Collaborative Design for Embedded Systems - Co-modelling and Co-simulation"
Speaker: Marcel Verhoef (European Space Agency)
- 9:45 – 10:30 "Causality Checking"
Speaker: Stefan Leue (University of Konstanz)
- 10:30 – 11:00 Coffee Break
- 11:00 – 11:45 "Diagnosability Planning for Controllable Discrete Event Systems"
Speaker: Philippe Dague (Université Paris-Sud / LRI)
A substantial amount of the program was reserved for discussion, feedback and interaction among participants.
A detailed abstract for each talk can be found in the flyer available in the download section of this page.