| 2010 | Abstract Interpretation-Based Protection. Roberto Giacobazzi |
| 2010 | Abstract Threads. Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
| 2010 | Advances in Probabilistic Model Checking. Joost-Pieter Katoen |
| 2010 | An Abstract Domain to Discover Interval Linear Equalities. Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
| 2010 | An Analysis of Permutations in Arrays. Valentin Perrelle, Nicolas Halbwachs |
| 2010 | Analysis of Systems with Stochastic Process Creation. Javier Esparza |
| 2010 | Automatic Abstraction for Congruences. Andy King, Harald Søndergaard |
| 2010 | Best Probabilistic Transformers. Björn Wachter, Lijun Zhang |
| 2010 | Building a Calculus of Data Structures. Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
| 2010 | Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. Jori Dubrovin |
| 2010 | Collections, Cardinalities, and Relations. Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
| 2010 | Complexity Bounds for the Verification of Real-Time Software. Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan |
| 2010 | Considerate Reasoning and the Composite Design Pattern. Alexander J. Summers, Sophia Drossopoulou |
| 2010 | Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | Improved Model Checking of Hierarchical Systems. Benjamin Aminof, Orna Kupferman, Aniello Murano |
| 2010 | Interpolant Strength. Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
| 2010 | Invariant and Type Inference for Matrices. Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov |
| 2010 | Model-Checking In-Lined Reference Monitors. Meera Sridhar, Kevin W. Hamlen |
| 2010 | Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. Lei Bu, Jianhua Zhao, Xuandong Li |
| 2010 | RGSep Action Inference. Viktor Vafeiadis |
| 2010 | Regular Linear Temporal Logic with Past. César Sánchez, Martin Leucker |
| 2010 | Shape Analysis in the Absence of Pointers and Structure. Matthew Might |
| 2010 | Shape Analysis of Low-Level C with Overlapping Structures. Jörg Kreiker, Helmut Seidl, Vesal Vojdani |
| 2010 | Shape Analysis with Reference Set Relations. Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
| 2010 | Static Timing Analysis for Hard Real-Time Systems. Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm |
| 2010 | Temporal Reasoning for Procedural Programs. Rajeev Alur, Swarat Chaudhuri |
| 2010 | Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Gilles Barthe, Manuel V. Hermenegildo |
| 2010 | Verifying Concurrent Programs with Chalice. K. Rustan M. Leino |