| 2014 | Concurrent Depth-First Search Algorithms. | Gavin Lowe |
| 2014 | Synthesis for Human-in-the-Loop Control Systems. | Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia |
| 2014 | Ranking Templates for Linear Loops. | Jan Leike, Matthias Heizmann |
| 2014 | Variations on Safety. | Orna Kupferman |
| 2014 | CBMC - C Bounded Model Checker - (Competition Contribution). | Daniel Kroening, Michael Tautschnig |
| 2014 | Environment-Model Based Testing of Control Systems: Case Studies. | Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont |
| 2014 | Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. | Michael Huth, Jim Huan-Pu Kuo |
| 2014 | Symbolic Synthesis for Epistemic Specifications with Observational Semantics. | Xiaowei Huang, Ron van der Meyden |
| 2014 | Quasi-Equal Clock Reduction: More Networks, More Queries. | Christian Herrera, Bernd Westphal, Andreas Podelski |
| 2014 | Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski |
| 2014 | The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. | Arnd Hartmanns, Holger Hermanns |
| 2014 | Synthesizing Safe Bit-Precise Invariants. | Arie Gurfinkel, Anton Belov, Joo Marques-Silva |
| 2014 | FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). | Arie Gurfinkel, Anton Belov |
| 2014 | FDR3 - A Modern Refinement Checker for CSP. | Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe |
| 2014 | Characterizing Algebraic Invariants by Differential Radical Invariants. | Khalil Ghorbal, Andr Platzer |
| 2014 | Detecting Unrealizable Specifications of Distributed Systems. | Bernd Finkbeiner, Leander Tentrup |
| 2014 | Analyzing the Next Generation Airborne Collision Avoidance System. | Christian von Essen, Dimitra Giannakopoulou |
| 2014 | Ultimate Kojak - (Competition Contribution). | Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski |
| 2014 | SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. | Hassan Eldib, Chao Wang, Patrick Schaumont |
| 2014 | Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2014 | Permissive Controller Synthesis for Probabilistic Systems. | Klaus Drger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | Monitoring Modulo Theories. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2014 | IC3 Modulo Theories via Implicit Predicate Abstraction. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | APTE: An Algorithm for Proving Trace Equivalence. | Vincent Cheval |