| 2015 | Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. | Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra |
| 2015 | Shield Synthesis: - Runtime Enforcement for Reactive Systems. | Roderick Bloem, Bettina Knighofer, Robert Knighofer, Chao Wang |
| 2015 | Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. | Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Knighofer |
| 2015 | νZ - An Optimizing SMT Solver. | Nikolaj S. Bjrner, Anh-Dung Phan, Lars Fleckenstein |
| 2015 | Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. | Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche |
| 2015 | SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. | Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo |
| 2015 | Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2015 | FramewORk for Embedded System verification - (Competition Contribution). | Pablo Gonzlez de Aledo, Pablo Snchez Espeso |
| 2015 | Non-cumulative Resource Analysis. | Elvira Albert, Jess Correas Fernndez, Guillermo Romn-Dez |
| 2015 | Stateless Model Checking for TSO and PSO. | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas |
| 2015 | Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). | Dirk Beyer |
| 2014 | GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. | Anton Wijs, Dragan Bosnacki |
| 2014 | Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. | Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li |
| 2014 | MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
| 2014 | Symbiotic 2: More Precise Slicing - (Competition Contribution). | Jiri Slaby, Jan Strejcek |
| 2014 | Bounds2: A Tool for Compositional Multi-parametrised Verification. | Antti Siirtola |
| 2014 | Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. | Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg |
| 2014 | Basic Problems in Multi-View Modeling. | Jan Reineke, Stavros Tripakis |
| 2014 | Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. | Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann |
| 2014 | GRASShopper - Complete Heap Verification with Mixed Specifications. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2014 | CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). | Petr Mller, Toms Vojnar |
| 2014 | ESBMC 1.22 - (Competition Contribution). | Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2014 | Learning Regular Languages over Large Alphabets. | Oded Maler, Irini-Eleftheria Mens |
| 2014 | CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). | Stefan Lwe, Mikhail U. Mandrykin, Philipp Wendler |