International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Towards Automated Security Hardening using Timed Path Conditions in Shared Bus Systems | Jonas Becker-Kupczok, Paula Herber |
| 11:30 | Towards Trustworthy Smart Contracts: A Translation-Based Approach for Verification with SmartML | Jonas Fernando, Adele Veschetti, Richard Bubel, Reiner Hähnle |
| 12:00 | Towards A More Sustainable Re-Engineering Of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors | Maximilian Gehring, Heiko Mantel |