| 2011 | Abstract Probabilistic Automata. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
| 2011 | Access Analysis-Based Tight Localization of Abstract Memories. Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi |
| 2011 | Access Nets: Modeling Access to Physical Spaces. Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2011 | An Evaluation of Automata Algorithms for String Analysis. Pieter Hooimeijer, Margus Veanes |
| 2011 | Are Cells Asynchronous Circuits? - (Invited Talk). David L. Dill |
| 2011 | Automata Learning with Automated Alphabet Abstraction Refinement. Falk Howar, Bernhard Steffen, Maik Merten |
| 2011 | Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl |
| 2011 | Collective Assertions. Stephen F. Siegel, Timothy K. Zirkel |
| 2011 | Decision Procedures for Automating Termination Proofs. Ruzica Piskac, Thomas Wies |
| 2011 | Distributed and Predictable Software Model Checking. Nuno P. Lopes, Andrey Rybalchenko |
| 2011 | ExplainHoudini: Making Houdini Inference Transparent. Shuvendu K. Lahiri, Julien Vanegue |
| 2011 | Formal Analysis of Message Passing - (Invited Talk). Stephen F. Siegel, Ganesh Gopalakrishnan |
| 2011 | Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner |
| 2011 | More Precise Yet Widely Applicable Cost Analysis. Elvira Albert, Samir Genaim, Abu Naser Masud |
| 2011 | Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). Francesco Logozzo |
| 2011 | Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. Patrick Cousot, Radhia Cousot, Francesco Logozzo |
| 2011 | Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2011 | Proving Stabilization of Biological Systems. Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman |
| 2011 | Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). Bernhard Steffen, Oliver Rüthing |
| 2011 | Refinement-Based CFG Reconstruction from Unstructured Programs. Sébastien Bardin, Philippe Herrmann, Franck Védrine |
| 2011 | SAT-Based Model Checking without Unrolling. Aaron R. Bradley |
| 2011 | Sets with Cardinality Constraints in Satisfiability Modulo Theories. Philippe Suter, Robin Steiger, Viktor Kuncak |
| 2011 | Static Analysis of Finite Precision Computations. Eric Goubault, Sylvie Putot |
| 2011 | Strengthening Induction-Based Race Checking with Lightweight Static Analysis. Alastair F. Donaldson, Leopold Haller, Daniel Kroening |
| 2011 | String Analysis as an Abstract Interpretation. Se-Won Kim, Kwang-Moo Choe |
| 2011 | Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl |
| 2011 | Towards Complete Reasoning about Axiomatic Specifications. Swen Jacobs, Viktor Kuncak |
| 2011 | Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings Ranjit Jhala, David A. Schmidt |
| 2011 | Verifying Deadlock-Freedom of Communication Fabrics. Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky |