| 2019 | An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. Raluca Lefticaru, Robert M. Hierons, Manuel Núñez |
| 2019 | An Operational Guide to Monitorability. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
| 2019 | Asynchronous Cooperative Contracts for Cooperative Scheduling. Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen |
| 2019 | Automatic Failure Explanation in CPS Models. Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
| 2019 | Compositional Feature-Oriented Systems. Clemens Dubslaff |
| 2019 | Efficient Formal Verification for the Linux Kernel. Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira |
| 2019 | Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. Mario Gleirscher, Simon Foster, Yakoub Nemouchi |
| 2019 | Formal Verification of Rewriting Rules for Dynamic Fault Trees. Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar |
| 2019 | Incorporating Data into EFSM Inference. Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick |
| 2019 | Isabelle/DOF: Design and Implementation. Achim D. Brucker, Burkhart Wolff |
| 2019 | Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. Florent Avellaneda, Alexandre Petrenko |
| 2019 | Let's Prove It Later - Verification at Different Points in Time. Martin Ring, Christoph Lüth |
| 2019 | Local Nontermination Detection for Parallel C++ Programs. Vladimír Still, Jiri Barnat |
| 2019 | Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. Anton Wijs, Maciej Wilkowski |
| 2019 | Multi-objective Search for Effective Testing of Cyber-Physical Systems. Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio |
| 2019 | Mutation Testing with Hyperproperties. Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher |
| 2019 | Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data. Wil M. P. van der Aalst |
| 2019 | Partially Bounded Context-Aware Verification. Luka Le Roux, Ciprian Teodorov |
| 2019 | Relating Session Types and Behavioural Contracts: The Asynchronous Case. Mario Bravetti, Gianluigi Zavattaro |
| 2019 | Reproducible Execution of POSIX Programs with DiOS. Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat |
| 2019 | SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer |
| 2019 | Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings Peter Csaba Ölveczky, Gwen Salaün |
| 2019 | Software Evolution with a Typeful Version Control System. Luís Carvalho, João Costa Seco |
| 2019 | Test Model Coverage Analysis Under Uncertainty. I. S. W. B. Prasetya, Rick Klomp |
| 2019 | Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. Dorottya Papp, Thorsten Tarrach, Levente Buttyán |
| 2019 | Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando |
| 2019 | Towards Logical Specification of Statistical Machine Learning. Yusuke Kawamoto |
| 2019 | Using Relational Verification for Program Slicing. Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2019 | Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple |