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
