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