International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Optimality-preserving Reduction of Chemical Reaction Networks | Kim Larsen, Daniele Toller, Max Tschaikowski, Mirco Tribastone, Andrea Vandin |
| 09:30 | Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL | Jaehun Lee, Kyungmin Bae, Peter Olveczky |
| 10:00 | An Approach for Extended Swarm Formation Flight with Drones: Protease-2.0 | Oliver Kosak, Philipp Kastenmüller, Constantin Wanninger, Wolfgang Reif |