| 2018 | Automatic Verification of Intermittent Systems. | Manjeet Dahiya, Sorav Bansal |
| 2018 | A Framework for Computer-Aided Design of Educational Domain Models. | Eric Butler, Emina Torlak, Zoran Popovic |
| 2018 | Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. | Samuele Buro, Isabella Mastroeni |
| 2018 | Code Obfuscation Against Abstract Model Checking Attacks. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori |
| 2018 | Scalable Approximation of Quantitative Information Flow in Programs. | Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf |
| 2018 | Automatic Verification of RMA Programs via Abstraction Extrapolation. | Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev |
| 2018 | Gradual Program Verification. | Johannes Bader, Jonathan Aldrich, ric Tanter |
| 2018 | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. | Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger |
| 2017 | IC3 - Flipping the E in ICE. | Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik |
| 2017 | Sound Bit-Precise Numerical Domains. | Tushar Sharma, Thomas W. Reps |
| 2017 | Finding Relevant Templates via the Principal Component Analysis. | Yassamine Seladji |
| 2017 | Reasoning in the Bernays-Schnfinkel-Ramsey Fragment of Separation Logic. | Andrew Reynolds, Radu Iosif, Cristina Serban |
| 2017 | Conjunctive Abstract Interpretation Using Paramodulation. | Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv |
| 2017 | Reachability for Dynamic Parametric Processes. | Anca Muscholl, Helmut Seidl, Igor Walukiewicz |
| 2017 | Detecting All High-Level Dataraces in an RTOS Kernel. | Suvam Mukherjee, Arun Kumar, Deepak D'Souza |
| 2017 | Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. | Raphal Monat, Antoine Min |
| 2017 | Efficient Elimination of Redundancies in Polyhedra by Raytracing. | Alexandre Marchal, Michal Prin |
| 2017 | Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. | Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi |
| 2017 | Solving Nonlinear Integer Arithmetic with MCSAT. | Dejan Jovanovic |
| 2017 | Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. | Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang |
| 2017 | Counterexample Validation and Interpolation-Based Refinement for Forest Automata. | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Toms Vojnar |
| 2017 | Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2017 | Stabilizing Floating-Point Programs Using Provenance Analysis. | Yijia Gu, Thomas Wahl |
| 2017 | Dynamic Reductions for Model Checking Concurrent Software. | Henning Gnther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher |
| 2017 | Property Directed Reachability for Proving Absence of Concurrent Modification Errors. | Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhotk, Oded Padon, Mooly Sagiv, Sharon Shoham |