| 2018 | Efficiently Characterizing the Undefined Requests of a Rule-Based System. | Zheng Cheng, Jean-Claude Royer, Massimo Tisi |
| 2018 | Modelling and Verification for Swarm Robotics. | Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis |
| 2018 | Design and Verification of Restart-Robust Industrial Control Software. | Dimitri Bohlender, Stefan Kowalewski |
| 2018 | Reasoning About JML: Differences Between KeY and OpenJML. | Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten |
| 2018 | On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari |
| 2017 | MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. | Hao Wu |
| 2017 | Making Whiley Boogie! | Mark Utting, David J. Pearce, Lindsay Groves |
| 2017 | A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. | Dominic Steinhfel, Nathan Wasser |
| 2017 | An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. | Simone Silvetti, Alberto Policriti, Luca Bortolussi |
| 2017 | Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. | Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow |
| 2017 | Formal Verification of CNL Health Recommendations. | Fahrurrozi Rahman, Juliana Kster Filipe Bowles |
| 2017 | Modular Verification of Order-Preserving Write-Back Caches. | Jrg Pfhler, Gidon Ernst, Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2017 | BTS: A Tool for Formal Component-Based Development. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva |
| 2017 | Hoare-Style Reasoning from Multiple Contracts. | Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi |
| 2017 | Verification of STAR-Vote and Evaluation of FDR and ProVerif. | Murat Moran, Dan S. Wallach |
| 2017 | Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. | Sven Linker |
| 2017 | VBPMN: Automated Verification of BPMN Processes (Tool Paper). | Ajay Krishna, Pascal Poizat, Gwen Salan |
| 2017 | Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver. | Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Ldtke |
| 2017 | How Well Can I Secure My System? | Barbara Kordy, Wojciech Widel |
| 2017 | Synthesizing Coalitions for Multi-agent Games. | Wei Ji, Farn Wang, Peng Wu |
| 2017 | Analysis of Synchronisations in Stateful Active Objects. | Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2017 | Transient and Steady-State Statistical Analysis for Discrete Event Simulators. | Stephen Gilmore, Danil Reijsbergen, Andrea Vandin |
| 2017 | Complexity Analysis for Java with AProVE. | Florian Frohn, Jrgen Giesl |
| 2017 | Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. | Joo F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke |
| 2017 | An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. | Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |