International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Compositionally Safe Construction of Autonomous Driving Systems | Marius Bozga, Joseph Sifakis |
| 11:30 | Trust by design -- in praise of modularization: a case study | Peter Fettke, Wolfgang Reisig |
| 12:00 | Platform Completeness of Plugin Architectures for Collective Adaptive Systems | Matthew Scott, Stephen Cranefield, Jeremy Pitt |