| 2012 | Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. | Sergio Giro, Markus N. Rabe |
| 2012 | Rabinizer: Small Deterministic Automata for LTL(F, G). | Andreas Gaiser, Jan Kretnsk, Javier Esparza |
| 2012 | A Verifier for Functional Properties of Sequence-Manipulating Programs. | Carlo A. Furia |
| 2012 | Pareto Curves for Probabilistic Model Checking. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker |
| 2012 | Variable Probabilistic Abstraction Refinement. | Luis Mara Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter |
| 2012 | Synthesis of Succinct Systems. | John Fearnley, Doron A. Peled, Sven Schewe |
| 2012 | Improved Multi-Core Nested Depth-First Search. | Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
| 2012 | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
| 2012 | A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. | Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen |
| 2012 | Controllers with Minimal Observation Power (Application to Timed Systems). | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier |
| 2012 | Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | A Probabilistic Kleene Theorem. | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
| 2012 | ALLQBF Solving by Computational Learning. | Bernd Becker, Rdiger Ehlers, Matthew Lewis, Paolo Marin |
| 2012 | Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2011 | Trust Metrics for the SPKI/SDSI Authorisation Framework. | Dominik Wojtczak |
| 2011 | Policy Iteration within Logico-Numerical Abstract Domains. | Pascal Sotin, Bertrand Jeannet, Franck Vdrine, Eric Goubault |
| 2011 | A Lightweight Approach for Loop Summarization. | Mohamed Nassim Seghir |
| 2011 | Evaluating LTL Satisfiability Solvers. | Viktor Schuppan, Luthfi Darmawan |
| 2011 | Efficient Loop Navigation for Symbolic Execution. | Jan Obdrzlek, Marek Trtk |
| 2011 | Small Strategies for Safety Games. | Daniel Neider |
| 2011 | A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. | Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
| 2011 | McAiT - A Timing Analyzer for Multicore Real-Time Software. | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi |
| 2011 | Formalization of Finite-State Discrete-Time Markov Chains in HOL. | Liya Liu, Osman Hasan, Sofine Tahar |
| 2011 | An Efficient Algorithm for Learning Event-Recording Automata. | Shang-Wei Lin, tienne Andr, Jin Song Dong, Jun Sun, Yang Liu |