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 | Mirco Tribastone, Daniele Toller, Kim Larsen, Max Tschaikowski, 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 |