| 2018 | Interlocking Design Automation Using Prover Trident. | Arne Borlv |
| 2018 | Z3 and SMT in Industrial R&D. | Nikolaj S. Bjrner |
| 2018 | Evidential and Continuous Integration of Software Verification Tools. | Tewodros A. Beyene, Harald Ruess |
| 2018 | Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. | Philipp Berger, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow |
| 2018 | Combining Tools for Optimization and Analysis of Floating-Point Computations. | Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock |
| 2018 | Deadlock Detection for Actor-Based Coroutines. | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
| 2018 | Variant Analysis with QL. | Pavel Avgustinov, Kevin Backhouse, Man Yue Mo |
| 2018 | FSM Inference from Long Traces. | Florent Avellaneda, Alexandre Petrenko |
| 2018 | An Algebraic Approach for Reasoning About Information Flow. | Arthur Amrico, Mrio S. Alvim, Annabelle McIver |
| 2018 | SDN-Actors: Modeling and Verification of SDN Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva |
| 2018 | Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. | Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao |
| 2018 | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. | Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2016 | Approximate Bisimulation and Discretization of Hybrid CSP. | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
| 2016 | A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. | Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu |
| 2016 | GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. | Anton Wijs, Thomas Neele, Dragan Bosnacki |
| 2016 | Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. | Amirhossein Vakili, Nancy A. Day |
| 2016 | Automated Mutual Explicit Induction Proof in Separation Logic. | Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin |
| 2016 | Regression Verification for Unbalanced Recursive Functions. | Ofer Strichman, Maor Veitsman |
| 2016 | RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate |
| 2016 | Decoupling Abstractions of Non-linear Ordinary Differential Equations. | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
| 2016 | An Implementation of Deflate in Coq. | Christoph-Simon Senjak, Martin Hofmann |
| 2016 | Sound and Complete Mutation-Based Program Repair. | Bat-Chen Rothenberg, Orna Grumberg |
| 2016 | Industrial-Strength Model-Based Testing of Safety-Critical Systems. | Jan Peleska, Wen-ling Huang |
| 2016 | Discounted Duration Calculus. | Heinrich Ody, Martin Frnzle, Michael R. Hansen |
| 2016 | Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. | Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham |