| 2019 | Combination of Boxes and Polyhedra Abstractions for Constraint Solving. | Ghiles Ziat, Alexandre Marchal, Marie Pelleau, Antoine Min, Charlotte Truchet |
| 2019 | A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. | Yongwang Zhao, David Sann, Fuyuan Zhang, Yang Liu |
| 2019 | Formal Semantics Extraction from Natural Language Specifications for ARM. | Anh V. Vu, Mizuhito Ogawa |
| 2019 | From Manuscripts to Programming Languages: An Archivist Perspective. | Alexandra Vidal, Ana Sandra Meneses, Antnio Sousa |
| 2019 | A Mission Definition, Verification and Validation Architecture. | Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau |
| 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 | L | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen |
| 2019 | An Axiomatic Approach to Liveness for Differential Equations. | Yong Kiam Tan, Andr Platzer |
| 2019 | Quotients and Atoms of Reversible Languages. | Hellis Tamm |
| 2019 | Controlling Large Boolean Networks with Temporary and Permanent Perturbations. | Cui Su, Soumya Paul, Jun Pang |
| 2019 | A Survey of Learning Methods in Open Source Software. | Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone |
| 2019 | Gray-Box Monitoring of Hyperproperties. | Sandro Stucki, Csar Snchez, Gerardo Schneider, Borzoo Bonakdarpour |
| 2019 | Abstract Execution. | Dominic Steinhfel, Reiner Hhnle |
| 2019 | Pegasus: A Framework for Sound Continuous Invariant Generation. | Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, Andr Platzer |
| 2019 | Transformations for Generating Type Refinements. | Douglas R. Smith, Stephen J. Westfold |
| 2019 | Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. | Graeme Smith, Lindsay Groves |
| 2019 | Specification with Class: A Brief History of Object-Z. | Graeme Smith, David J. Duke |
| 2019 | Value-Dependent Information-Flow Security on Weak Memory Models. | Graeme Smith, Nicholas Coughlin, Toby Murray |
| 2019 | Static Analysis for Detecting High-Level Races in RTOS Kernels. | Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza |
| 2019 | Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. | Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge |
| 2019 | Learning Deterministic Variable Automata over Infinite Alphabets. | Sarai Sheinvald |
| 2019 | Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. | Tobias Runge, Thomas Thm, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2019 | Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table. | Petr Rockai |
| 2019 | Flow Diagrams, Assertions, and Formal Methods. | Mark Priestley |
| 2019 | AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. | Goran Piskachev, Tobias Petrasch, Johannes Spth, Eric Bodden |