• 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