| 2019 | A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu |
| 2019 | APML: An Architecture Proof Modeling Language. Diego Marmsoler, Genc Blakqori |
| 2019 | Abstract Execution. Dominic Steinhöfel, Reiner Hähnle |
| 2019 | Abstraction and Subsumption in Modular Verification of C Programs. Lennart Beringer, Andrew W. Appel |
| 2019 | Adopting Formal Methods in an Industrial Setting: The Railways Case. Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti |
| 2019 | An Axiomatic Approach to Liveness for Differential Equations. Yong Kiam Tan, André Platzer |
| 2019 | Circus2CSP: A Tool for Model-Checking Circus Using FDR. Artur Oliveira Gomes, Andrew Butterfield |
| 2019 | Compositional Verification of Concurrent Systems by Combining Bisimulations. Frédéric Lang, Radu Mateescu, Franco Mazzanti |
| 2019 | Concolic Testing Heap-Manipulating Programs. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2019 | Controlling Large Boolean Networks with Temporary and Permanent Perturbations. Cui Su, Soumya Paul, Jun Pang |
| 2019 | Counterexample-Driven Synthesis for Probabilistic Program Sketches. Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | Embedding High-Level Formal Specifications into Applications. Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel |
| 2019 | Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2019 | Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings Maurice H. ter Beek, Annabelle McIver, José N. Oliveira |
| 2019 | Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge |
| 2019 | Formal Semantics Extraction from Natural Language Specifications for ARM. Anh V. Vu, Mizuhito Ogawa |
| 2019 | Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. Joachim Bard, Heiko Becker, Eva Darulova |
| 2019 | From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. Simon Jantsch, David Müller, Christel Baier, Joachim Klein |
| 2019 | GOSPEL - Providing OCaml with a Formal Specification Language. Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira |
| 2019 | GR(1)*: GR(1) Specifications Extended with Existential Guarantees. Gal Amram, Shahar Maoz, Or Pistiner |
| 2019 | Generic Partition Refinement and Weighted Tree Automata. Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann |
| 2019 | Gray-Box Monitoring of Hyperproperties. Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour |
| 2019 | How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? Rüdiger Ehlers |
| 2019 | IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu |
| 2019 | Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. Robert Eschbach |
| 2019 | L Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen |
| 2019 | Learning Deterministic Variable Automata over Infinite Alphabets. Sarai Sheinvald |
| 2019 | Local Consistency Check in Synchronous Dataflow Models. Dina Irofti, Paul Dubrulle |
| 2019 | Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali |
| 2019 | On the Nature of Symbolic Execution. Frank S. de Boer, Marcello M. Bonsangue |
| 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin |
| 2019 | Pegasus: A Framework for Sound Continuous Invariant Generation. Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer |
| 2019 | Practical Application of SPARK to OpenUxAS. M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
| 2019 | Property-Driven Software Analysis - (Extended Abstract). Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez |
| 2019 | Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz |
| 2019 | Quantitative Verification of Numerical Stability for Kalman Filters. Alexandros Evangelidis, David Parker |
| 2019 | Reasoning Formally About Database Queries and Updates. Jon Haël Brenas, Rachid Echahed, Martin Strecker |
| 2019 | SOA and the Button Problem. Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen |
| 2019 | Star-Based Reachability Analysis of Deep Neural Networks. Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |
| 2019 | Static Analysis for Detecting High-Level Races in RTOS Kernels. Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza |
| 2019 | Successes in Deployed Verified Software (and Insights on Key Social Factors). June Andronick |
| 2019 | Synthesis of Railway Signaling Layout from Local Capacity Specifications. Bjørnar Luteberget, Christian Johansen, Martin Steffen |
| 2019 | The Human in Formal Methods. Shriram Krishnamurthi, Tim Nelson |
| 2019 | Towards a Model-Checker for Circus. Artur Oliveira Gomes, Andrew Butterfield |
| 2019 | Unification in Matching Logic. Andrei Arusoaie, Dorel Lucanu |
| 2019 | Value-Dependent Information-Flow Security on Weak Memory Models. Graeme Smith, Nicholas Coughlin, Toby Murray |
| 2019 | Verifying Correctness of Persistent Concurrent Data Structures. John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |