- Monday , 22 June
- Keynote: Stijn de Gouw
- The list of accepted papers is now available here.
- News: The proceedings are now available online
| 09:00-10:00 | Opening |
| Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) Stijn de Gouw, CWI and SDL, the Netherlands |
|
| 10:00-10:30 | Coffee break |
| 10:30-12:30 | Session 2 |
| 10:30-11:00 | Properties of Communicating Controllers for Safe Traffic Manoeuvres Maike Schwammberger, University of Oldenburg, Germany |
| 11:00-11:30 | Real-time systems modelling with UML state machines and coloured Petri nets Mohamed Mahdi Benmoussa, Université Paris 13, France |
| 11:30-12:00 | Test-Case Generation via Language Inclusion for Non-Deterministic Networks of Timed Automata Florian Lorber, Graz University of Technology, Austria |
| 12:00-12:30 | Trace-length Independent Runtime Monitoring Xiaoning Du, Nanyang Technological University, Singapore |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 3 |
| 14:00-14:30 | Inheritance and refinement of trustworthy component-based systems José Dihego, Universidade Federal de Pernambuco, Brazil |
| 14:30-15:00 | Component-based CPS Verification: A Recipe for Reusability Andreas Müller, Johannes Kepler University Linz, Austria |
| 15:00-15:30 | A Novel and Faithful Semantics for Feature Modeling Aliakbar Safilian, McMaster University, Canada |
| 15:30-16:00 | Coffee break |
| 16:00-17:30 | Session 4 |
| 16:00-16:30 | A Formal Model for the Safety-Critical Java Level 2 Paradigm Matthew Luckcuck, University of York, United Kingdom |
| 16:30-17:00 | A Code Generator for VDM-RT models Miran Hasanagic, Aarhus University, Denmark |
| 17:00-17:30 | Privacy-Preserving Social Networks Raúl Pardo, Chalmers University of Technology, Sweden |