Doctoral Symposium

  • Monday , 22 June
  • Keynote: Stijn de Gouw
  • The list of accepted papers is now available here.
  • News: The proceedings are now available online



Session 1 – Keynote

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

Coffee break


Session 2

10:30-11:00Properties of Communicating Controllers for Safe Traffic Manoeuvres
Maike Schwammberger, University of Oldenburg, Germany
11:00-11:30Real-time systems modelling with UML state machines and coloured Petri nets
Mohamed Mahdi Benmoussa, Université Paris 13, France
11:30-12:00Test-Case Generation via Language Inclusion for Non-Deterministic Networks
of Timed Automata

Florian Lorber, Graz University of Technology, Austria
12:00-12:30Trace-length Independent Runtime Monitoring
Xiaoning Du, Nanyang Technological University, Singapore



Session 3

14:00-14:30Inheritance and refinement of trustworthy component-based systems
José Dihego, Universidade Federal de Pernambuco, Brazil
14:30-15:00Component-based CPS Verification: A Recipe for Reusability
Andreas Müller, Johannes Kepler University Linz, Austria
15:00-15:30A Novel and Faithful Semantics for Feature Modeling
Aliakbar Safilian, McMaster University, Canada

Coffee break


Session 4

16:00-16:30A Formal Model for the Safety-Critical Java Level 2 Paradigm
Matthew Luckcuck, University of York, United Kingdom
16:30-17:00A Code Generator for VDM-RT models
Miran Hasanagic, Aarhus University, Denmark
17:00-17:30Privacy-Preserving Social Networks
Raúl Pardo, Chalmers University of Technology, Sweden

20th International Symposium on Formal Methods