| 2022 | Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li |
| 2021 | Coalition Formation with Multiple Alternatives of Interdependent Tasks. Youcef Sklab, Samir Aknine, Onn Shehory, Hanane Ariouat |
| 2021 | Handling of Operating Modes in Contract-Based Timing Specifications. Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle |
| 2021 | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista |
| 2021 | On Decentralized Monitoring. Yliès Falcone |
| 2021 | Roles and Responsibilities for a Predictable Update Process - A Position Paper. Astrid Rakow, Janis Kröger |
| 2021 | SMT-Based Unbounded Model Checking for ATL. Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |