| 2012 | A Probabilistic Kleene Theorem. Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
| 2012 | A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen |
| 2012 | A Verifier for Functional Properties of Sequence-Manipulating Programs. Carlo A. Furia |
| 2012 | ALLQBF Solving by Computational Learning. Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin |
| 2012 | Accelerating Interpolants. Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer |
| 2012 | Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | An Experiment on Parallel Model Checking of a CTL Fragment. Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
| 2012 | Approximating Deterministic Lattice Automata. Shulamit Halamish, Orna Kupferman |
| 2012 | Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings Supratik Chakraborty, Madhavan Mukund |
| 2012 | Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. Daniel Neider |
| 2012 | Controllers with Minimal Observation Power (Application to Timed Systems). Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier |
| 2012 | Counterexample Guided Synthesis of Monitors for Realizability Enforcement. Matthias Güdemann, Gwen Salaün, Meriem Ouederni |
| 2012 | Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. Sucheendra K. Palaniappan, P. S. Thiagarajan |
| 2012 | Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
| 2012 | FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
| 2012 | Higher-Order Approximations for Verification of Stochastic Hybrid Systems. Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
| 2012 | Improved Multi-Core Nested Depth-First Search. Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
| 2012 | Improved Single Pass Algorithms for Resolution Proof Reduction. Ashutosh Gupta |
| 2012 | Interpolant Automata - (Invited Talk). Andreas Podelski |
| 2012 | Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2012 | Model Checking Systems and Specifications with Parameterized Atomic Propositions. Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
| 2012 | On Temporal Logic and Signal Processing. Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | Parallel Assertions for Architectures with Weak Memory Models. Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik |
| 2012 | Pareto Curves for Probabilistic Model Checking. Vojtech Forejt, Marta Z. Kwiatkowska, David Parker |
| 2012 | Rabinizer: Small Deterministic Automata for LTL(F, G). Andreas Gaiser, Jan Kretínský, Javier Esparza |
| 2012 | Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard |
| 2012 | Synthesis of Succinct Systems. John Fearnley, Doron A. Peled, Sven Schewe |
| 2012 | The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2012 | The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. Paritosh K. Pandya, Simoni S. Shah |
| 2012 | Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. Sven Schewe, Thomas Varghese |
| 2012 | Variable Probabilistic Abstraction Refinement. Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter |
| 2012 | Verification of Computer Switching Networks: An Overview. Shuyuan Zhang, Sharad Malik, Rick McGeer |
| 2012 | Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. Sergio Giro, Markus N. Rabe |