Program - Doctoral Symposium


  • Tuesday, 8th of November
  • Keynote: John Fitzgerald
  • The list of accepted papers is now available here
  • News: The proceedings are now available online

Program

09.00 - 10.00
Keynote | John Fitzgerald
Formal Methods and Future Systems Engineering
10.00 - 10.30
Coffee Break
10.30 - 12.00
Session I
10:30-11:00
Parallel Model Checking of ω-Automata
Vincent Bloemen
11:00-11:30
Word-level Formal Verification Using Abstract Satisfaction
Rajdeep Mukherjee
11:30-12:00
A Verified Translation from Circus to CSPM
Artur Oliveira Gomes
12.00 - 14.00
Lunch Break
14.00 - 15.30
Session II
14:00-14:30
Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems
Saulo Rodrigues e Silva
14:30-15:00
Model-Based Database Design
Ahmed Al-Brashdi
15:00-15:30
Quality Analysis and Verification of Data-Intensive Applications
Francesco Marconi
15.30 - 16.00
Coffee Break
16.00 - 17.00
Session III
16:00-16:30
Verifying the Co-Simulation Orchestration Engine for INTO-CPS
Casper Thule
16:30-17:00
Risk Assessment in Collaborative Robotics
Mehrnoosh Askarpour



Sponsors