| 2017 | Triggerless Happy - Intermediate Verification with a First-Order Prover. | Yuting Chen, Carlo A. Furia |
| 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 | The VerCors Tool Set: Verification of Parallel and Concurrent Software. | Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn |
| 2017 | Generalised Test Tables: A Practical Specification Language for Reactive Systems. | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2017 | SemSlice: Exploiting Relational Verification for Automatic Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2017 | Algebraic Compilation of Safety-Critical Java Bytecode. | James Baxter, Ana Cavalcanti |
| 2017 | Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. | Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas |
| 2017 | Modelling and Verification of Timed Robotic Controllers. | Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis |
| 2016 | A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. | Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko |
| 2016 | Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. | Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager |
| 2016 | Towards a Thread-Local Proof Technique for Starvation Freedom. | Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2016 | Temporal Random Testing for Spark Streaming. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2016 | Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. | Viorel Preoteasa |
| 2016 | Property Preservation for Extension Patterns of State Transition Diagrams. | Christian Prehofer |
| 2016 | Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. | Olaf Owe |
| 2016 | Monitoring Multi-threaded Component-Based Systems. | Hosein Nazarpour, Ylis Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2016 | A Component-Based Approach to Hybrid Systems Safety Verification. | Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Andr Platzer |
| 2016 | Rule-Based Consistency Checking of Railway Infrastructure Designs. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2016 | A Formal Model of the Safety-Critical Java Level 2 Paradigm. | Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings |
| 2016 | CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. | Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal |
| 2016 | SMT Solvers for Validation of B and Event-B Models. | Sebastian Krings, Michael Leuschel |
| 2016 | Avoiding Medication Conflicts for Patients with Multimorbidities. | Andrii Kovalov, Juliana Kster Filipe Bowles |
| 2016 | Symbolic Computation and Automated Reasoning for Program Analysis. | Laura Kovcs |
| 2016 | Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. | Lubos Korenciak, Vojtech Rehk, Adrian Farmadin |
| 2016 | Fuzzing JavaScript Engine APIs. | Renta Hodovn, kos Kiss |