| 2020 | A Formally Verified Plasma Vertical Position Control Algorithm. May Wu, Jessie C. Rosenberg, Nathan Fulton |
| 2020 | A Safety Flasher Developed with the CLEARSY Safety Platform. Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy |
| 2020 | An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott |
| 2020 | Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings Maurice H. ter Beek, Dejan Nickovic |
| 2020 | Formal Verification of OIL Component Specifications using mCRL2. Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2020 | Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers. Yanni Kouskoulas, Thyago J. Machado, Daniel Genin |
| 2020 | Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2020 | Skylines for Symbolic Energy Consumption Analysis. Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen |
| 2020 | Temporal-Logic Query Checking over Finite Data Streams. Samuel Huang, Rance Cleaveland |
| 2020 | The 2020 Expert Survey on Formal Methods. Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol |
| 2020 | The First Twenty-Five Years of Industrial Use of the B-Method. Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin |
| 2020 | Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | Verification of a Failure Management Protocol for Stateful IoT Applications. Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent |