| 2019 | SOA and the Button Problem. | Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen |
| 2019 | Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. | Cliff B. Jones |
| 2019 | From LTL to Unambiguous Bchi Automata via Disambiguation of Alternating Automata. | Simon Jantsch, David Mller, Christel Baier, Joachim Klein |
| 2019 | Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2019 | Challenges Faced by Students in an Open Source Software Undergraduate Course. | Dias Issa |
| 2019 | Local Consistency Check in Synchronous Dataflow Models. | Dina Irofti, Paul Dubrulle |
| 2019 | Handling Heap Data Structures in Backward Symbolic Execution. | Robert Husk, Jan Kofron, Filip Zavoral |
| 2019 | Examples of the Application of Formal Methods to Interactive Systems. | Michael D. Harrison |
| 2019 | "Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Network. | Riccardo Guidotti, Giulio Rossetti |
| 2019 | Circus2CSP: A Tool for Model-Checking Circus Using FDR. | Artur Oliveira Gomes, Andrew Butterfield |
| 2019 | Towards a Model-Checker for Circus. | Artur Oliveira Gomes, Andrew Butterfield |
| 2019 | Reversible Programs Have Reversible Semantics. | Robert Glck, Robin Kaarsgaard, Tetsuo Yokoyama |
| 2019 | The School of Squiggol - A History of the Bird-Meertens Formalism. | Jeremy Gibbons |
| 2019 | Formal Specifications and Software Testing, a Fruitful Convergence. | Marie-Claude Gaudel |
| 2019 | An Ontology-Based Approach to Support Formal Verification of Concurrent Systems. | Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch |
| 2019 | Open and Interactive Learning Resources for Algorithmic Problem Solving. | Joo F. Ferreira, Alexandra Mendes |
| 2019 | Quantitative Verification of Numerical Stability for Kalman Filters. | Alexandros Evangelidis, David Parker |
| 2019 | Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. | Robert Eschbach |
| 2019 | A Distributed Blockchain Model of Selfish Mining. | Dennis Eijkel, Ansgar Fehnker |
| 2019 | How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? | Rdiger Ehlers |
| 2019 | Runtime Verification of Linux Kernel Security Module. | Denis Efremov, Ilya V. Shchepetkov |
| 2019 | Verifying Correctness of Persistent Concurrent Data Structures. | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2019 | Generic Partition Refinement and Weighted Tree Automata. | Hans-Peter Deifel, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2019 | Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach. | Alessandro D'Amelio, Vittorio Cuculo, Sathya Bursic |
| 2019 | SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. | Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi |