International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA | Raik Hipler, Martin Leucker, Patrick Rodler |
| 14:50 | Towards Model-based Run-time Cybersecurity: On Control-Flow Anomaly Detection, Attack Identification, and Hardware Monitoring | Martin Sachenbacher, Martin Leucker, Alexander Weiss, Aliyu Tanko Ali |