| 2018 | Bisimilarity Distances for Approximate Differential Privacy. | Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2018 | Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. | Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka |
| 2018 | What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2018 | Robustness Testing of Intermediate Verifiers. | Yuting Chen, Carlo A. Furia |
| 2018 | Round-Bounded Control of Parameterized Systems. | Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2018 | Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. | Bernard Boigelot, Isabelle Mainz |
| 2018 | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cern, Nikola Benes |
| 2018 | Optimal Proofs for Linear Temporal Logic on Lasso Words. | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
| 2018 | Verifying Rust Programs with SMACK. | Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
| 2018 | Continuous-Time Markov Decisions Based on Partial Exploration. | Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretnsk |
| 2018 | EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. | Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
| 2018 | A Fragment of Linear Temporal Logic for Universal Very Weak Automata. | Keerthi Adabala, Rdiger Ehlers |
| 2017 | Attacking the V: On the Resiliency of Adaptive-Horizon MPC. | Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu |
| 2017 | Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. | Helmut Seidl, Ralf Vogler |
| 2017 | Concurrent Program Verification with Invariant-Guided Underapproximation. | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
| 2017 | Synthesizing Invariants by Solving Solvable Loops. | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
| 2017 | Lifting CDCL to Template-Based Abstract Domains for Program Verification. | Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham |
| 2017 | Loop Quasi-Invariant Chunk Detection. | Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller |
| 2017 | Liquid Types for Array Invariant Synthesis. | Manuel Montenegro, Susana Nieva, Ricardo Pea, Clara Segura |
| 2017 | Compositional Safety Refutation Techniques. | Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas |
| 2017 | Exploiting Partial Knowledge for Efficient Model Analysis. | Nuno Macedo, Alcino Cunha, Eduardo Pessoa |
| 2017 | The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. | Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi |
| 2017 | Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. | Jan Kretnsk, Tobias Meggendorfer |
| 2017 | Knowledge Transfer and Information Leakage in Protocols. | Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh |
| 2017 | A Language-Theoretic View on Network Protocols. | Pierre Ganty, Boris Kpf, Pedro Valero |