| 2019 | Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. | Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin |
| 2019 | Concolic Testing Heap-Manipulating Programs. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2019 | ViennaDoc: An Animatable and Testable Specification Documentation Tool. | Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen |
| 2019 | CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. | Andreas Nonnengart, Matthias Klusch, Christian Mller |
| 2019 | Smart Contract Interactions in Coq. | Jakob Botsch Nielsen, Bas Spitters |
| 2019 | Deductive Proof of Industrial Smart Contracts Using Why3. | Zeinab Neha, Franois Bobot |
| 2019 | Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. | David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken |
| 2019 | Analysis and Visualization of Performance Indicators in University Admission Tests. | Michela Natilli, Daniele Fadda, Salvatore Rinzivillo, Dino Pedreschi, Federica Licari |
| 2019 | Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. | Mariano M. Moscato, Laura Titolo, Marco A. Feli, Csar A. Muoz |
| 2019 | Bayesian Verification of Chemical Reaction Networks. | Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate |
| 2019 | Experiences with Streamlining Formal Methods Tools. | Paolo Masci |
| 2019 | APML: An Architecture Proof Modeling Language. | Diego Marmsoler, Genc Blakqori |
| 2019 | Formal Specification of a Security Framework for Smart Contracts. | Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov |
| 2019 | Migrating the INTO-CPS Application to the Cloud. | Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen |
| 2019 | Synthesis of Railway Signaling Layout from Local Capacity Specifications. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. | Simon Lunel, Stefan Mitsch, Benot Boyer, Jean-Pierre Talpin |
| 2019 | The Bourgeois Gentleman, Engineering and Formal Methods. | Thierry Lecomte |
| 2019 | Compositional Verification of Concurrent Systems by Combining Bisimulations. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2019 | Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2019 | The Human in Formal Methods. | Shriram Krishnamurthi, Tim Nelson |
| 2019 | Towards a Method for the Decomposition by Refinement in Event-B. | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
| 2019 | Embedding High-Level Formal Specifications into Applications. | Philipp Krner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel |
| 2019 | Open Source Software as a Learning Tool for Computer Science Students. | Assiya Khuzyakhmetova, Aidarbek Suleimenov |
| 2019 | Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems. | Kamil Khadiev, Aliya Khadieva |
| 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 |