| 2019 | A Multi-target Code Generator for High-Level B. Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel |
| 2019 | A Program Logic for Dependence Analysis. Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar |
| 2019 | A Summary of Formal Specification and Verification of Autonomous Robotic Systems. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints. Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek |
| 2019 | An Integrated Approach to a Combinatorial Optimisation Problem. Juliana Bowles, Marco B. Caminati |
| 2019 | Asynchronous Testing of Synchronous Components in GALS Systems. Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe |
| 2019 | Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Bjørnar Luteberget, Koen Claessen, Christian Johansen |
| 2019 | Axiomatic Characterization of Trace Reachability for Concurrent Objects. Frank S. de Boer, Hans-Dieter A. Hiep |
| 2019 | Computing Bisimilarity Metrics for Probabilistic Timed Automata. Ruggero Lanotte, Simone Tini |
| 2019 | Dione: A Protocol Verification System Built with Dafny for I/O Automata. Chiao Hsieh, Sayan Mitra |
| 2019 | Dynamic Reconfigurations in Frequency Constrained Data Flow. Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre |
| 2019 | Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. Sebastian Krings, Michael Leuschel |
| 2019 | Evaluation of Program Slicing in Software Verification. Marek Chalupa, Jan Strejcek |
| 2019 | Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. Wytse Oortwijn, Marieke Huisman |
| 2019 | Fuzzing JavaScript Environment APIs with Interdependent Function Calls. Renáta Hodován, Dániel Vince, Ákos Kiss |
| 2019 | HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra |
| 2019 | Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa |
| 2019 | Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. Hélène Coullon, Claude Jard, Didier Lime |
| 2019 | Interactive Visualization of Saturation Attempts in Vampire. Bernhard Gleiss, Laura Kovács, Lena Schnedlitz |
| 2019 | Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly |
| 2019 | Learning to Reuse: Adaptive Model Learning for Evolving Systems. Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão |
| 2019 | Ontology-Mediated Probabilistic Model Checking. Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan |
| 2019 | Practical Abstractions for Automated Verification of Message Passing Concurrency. Wytse Oortwijn, Marieke Huisman |
| 2019 | Relating Alternating Relations for Conformance and Refinement. Ramon Janssen, Frits W. Vaandrager, Jan Tretmans |
| 2019 | Resource Sharing via Capability-Based Multiparty Session Types. Adriana Laura Voinea, Ornela Dardha, Simon J. Gay |
| 2019 | SIGmA: GPU Accelerated Simplification of SAT Formulas. Muhammad Osama, Anton Wijs |
| 2019 | Sound Probabilistic Numerical Error Analysis. Debasmita Lohar, Milos Prokop, Eva Darulova |
| 2019 | Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2019 | Summary of: An Evaluation of Interaction Paradigms for Active Objects. Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani |
| 2019 | Summary of: Dynamic Structural Operational Semantics. Christian Johansen, Olaf Owe |
| 2019 | Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin |
| 2019 | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2019 | The Digital Thread in Industry 4.0. Tiziana Margaria, Alexander Schieweck |
| 2019 | Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. Tuur Benoit, Bart Jacobs |
| 2019 | Using Ontologies in Formal Developments Targeting Certification. Achim D. Brucker, Burkhart Wolff |
| 2019 | Visualization and Abstractions for Execution Paths in Model-Based Software Testing. Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |