| 2017 | A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. Dominic Steinhöfel, Nathan Wasser |
| 2017 | Algebraic Compilation of Safety-Critical Java Bytecode. James Baxter, Ana Cavalcanti |
| 2017 | An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. Simone Silvetti, Alberto Policriti, Luca Bortolussi |
| 2017 | An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |
| 2017 | Analysis of Synchronisations in Stateful Active Objects. Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2017 | BTS: A Tool for Formal Component-Based Development. Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva |
| 2017 | Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke |
| 2017 | Complexity Analysis for Java with AProVE. Florian Frohn, Jürgen Giesl |
| 2017 | Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani |
| 2017 | Formal Verification of CNL Health Recommendations. Fahrurrozi Rahman, Juliana Küster Filipe Bowles |
| 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 | Generalised Test Tables: A Practical Specification Language for Reactive Systems. Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2017 | Hoare-Style Reasoning from Multiple Contracts. Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi |
| 2017 | How Well Can I Secure My System? Barbara Kordy, Wojciech Widel |
| 2017 | Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings Nadia Polikarpova, Steve A. Schneider |
| 2017 | Making Whiley Boogie! Mark Utting, David J. Pearce, Lindsay Groves |
| 2017 | MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. Hao Wu |
| 2017 | Modelling and Verification of Timed Robotic Controllers. Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis |
| 2017 | Modular Verification of Order-Preserving Write-Back Caches. Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif |
| 2017 | SemSlice: Exploiting Relational Verification for Automatic Program Slicing. Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2017 | Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. Sven Linker |
| 2017 | Synthesizing Coalitions for Multi-agent Games. Wei Ji, Farn Wang, Peng Wu |
| 2017 | Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver. Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke |
| 2017 | Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas |
| 2017 | The VerCors Tool Set: Verification of Parallel and Concurrent Software. Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn |
| 2017 | Transient and Steady-State Statistical Analysis for Discrete Event Simulators. Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin |
| 2017 | Triggerless Happy - Intermediate Verification with a First-Order Prover. Yuting Chen, Carlo A. Furia |
| 2017 | VBPMN: Automated Verification of BPMN Processes (Tool Paper). Ajay Krishna, Pascal Poizat, Gwen Salaün |
| 2017 | Verification of STAR-Vote and Evaluation of FDR and ProVerif. Murat Moran, Dan S. Wallach |