| 2019 | PrideMM: Second Order Model Checking for Memory Consistency Models. | Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikols Janota |
| 2019 | Verifying Smart Contracts with Cubicle. | Sylvain Conchon, Alexandrina Korneva, Fatiha Zadi |
| 2019 | Property-Driven Software Analysis - (Extended Abstract). | Mathieu Comptier, David Dharbe, Paulin Fournier, Julien Molinero Perez |
| 2019 | An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. | Robert J. Colvin, Kirsten Winter |
| 2019 | Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs. | Keith Clark, Brijesh Dongol, Peter Robinson |
| 2019 | A Map of Asynchronous Communication Models. | Florent Chevrou, Aurlie Hurault, Shin Nakajima, Philippe Quinnec |
| 2019 | GOSPEL - Providing OCaml with a Formal Specification Language. | Arthur Charguraud, Jean-Christophe Fillitre, Cludio Loureno, Mrio Pereira |
| 2019 | Counterexample-Driven Synthesis for Probabilistic Program Sketches. | Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. | Antonio Cerone, Peter Csaba lveczky |
| 2019 | Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. | Alexandre Canny, David Navarre, Jos Creissac Campos, Philippe A. Palanque |
| 2019 | Anomaly Detection from Log Files Using Unsupervised Deep Learning. | Sathya Bursic, Vittorio Cuculo, Alessandro D'Amelio |
| 2019 | Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. | Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel |
| 2019 | A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. | Peter T. Breuer, Simon J. Pickin |
| 2019 | Reasoning Formally About Database Queries and Updates. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2019 | On the Nature of Symbolic Execution. | Frank S. de Boer, Marcello M. Bonsangue |
| 2019 | Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. | Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali |
| 2019 | How to Look Next? A Data-Driven Approach for Scanpath Prediction. | Giuseppe Boccignone, Vittorio Cuculo, Alessandro D'Amelio |
| 2019 | Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. | Christopher Bischopink, Maike Schwammberger |
| 2019 | Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. | Bruno Bernardo, Raphal Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson |
| 2019 | Abstraction and Subsumption in Modular Verification of C Programs. | Lennart Beringer, Andrew W. Appel |
| 2019 | A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. | Pascal Bger, Sbastien Leriche, Daniel Prun |
| 2019 | Adopting Formal Methods in an Industrial Setting: The Railways Case. | Maurice H. ter Beek, Arne Borlv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Lfving, Franco Mazzanti |
| 2019 | Smart Contracts: Application Scenarios for Deductive Program Verification. | Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich |
| 2019 | Nested Event Representation for Automated Assembly of Cell Signaling Network Models. | Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov |
| 2019 | Towards a Static Check of FMUs in VDM-SL. | Nick Battle, Casper Thule, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |