- Rong Gu, Eduard Enoiu, Cristina Seceleanu and Kristina Lundqvist: Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents
- Markus Klinik, Bernard van Gastel, Cynthia Kop and Marko Van Eekelen: Skylines for Symbolic Energy Consumption Analysis
- Yanni Kouskoulas, Tj Machado and Daniel Genin: Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers
- Olav Bunte, Tim A.C. Willemse and Louis C.M. van Gool: Formal verification of OIL component specifications using mCRL2
- Samuel Huang and Rance Cleaveland: Temporal Logic Query Checking over Finite Data Streams
- Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani and Carolyn Talcott: An Actor-based Approach for Security Analysis of Cyber-Physical Systems
- Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia and Mathieu Jan: Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
- Michael Butler, Philipp Koerner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia and Laurent Voisin: The First Twenty-Five Years of Industrial Use of the B Method
- Umar Ozeer, Gwen Salaün, Loic Letondeur, Francois-Gael Ottogalli and Jean-Marc Vincent: Verification of a Failure Management Protocol for Stateful IoT Applications
- Qingmei Wu, Nathan Fulton and Jessie Rosenberg: A Formally Verified Plasma Vertical Position Control Algorithm
- Thierry Lecomte, Bruno Lavaud, Lilian Burdy and Denis Sabatier: A Safety Flasher Developed with the CLEARSY Safety Platform