| 2011 | Refinement-Based CFG Reconstruction from Unstructured Programs. | Sbastien Bardin, Philippe Herrmann, Franck Vdrine |
| 2011 | More Precise Yet Widely Applicable Cost Analysis. | Elvira Albert, Samir Genaim, Abu Naser Masud |
| 2010 | Collections, Cardinalities, and Relations. | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
| 2010 | Static Timing Analysis for Hard Real-Time Systems. | Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguire, Daniel Grund, Jrg Herter, Jan Reineke, Bjrn Wachter, Stephan Wilhelm |
| 2010 | Best Probabilistic Transformers. | Bjrn Wachter, Lijun Zhang |
| 2010 | RGSep Action Inference. | Viktor Vafeiadis |
| 2010 | Considerate Reasoning and the Composite Design Pattern. | Alexander J. Summers, Sophia Drossopoulou |
| 2010 | Model-Checking In-Lined Reference Monitors. | Meera Sridhar, Kevin W. Hamlen |
| 2010 | Regular Linear Temporal Logic with Past. | Csar Snchez, Martin Leucker |
| 2010 | An Analysis of Permutations in Arrays. | Valentin Perrelle, Nicolas Halbwachs |
| 2010 | Shape Analysis in the Absence of Pointers and Structure. | Matthew Might |
| 2010 | Shape Analysis with Reference Set Relations. | Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
| 2010 | Verifying Concurrent Programs with Chalice. | K. Rustan M. Leino |
| 2010 | Abstract Threads. | Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
| 2010 | Building a Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
| 2010 | Shape Analysis of Low-Level C with Overlapping Structures. | Jrg Kreiker, Helmut Seidl, Vesal Vojdani |
| 2010 | Automatic Abstraction for Congruences. | Andy King, Harald Sndergaard |
| 2010 | Advances in Probabilistic Model Checking. | Joost-Pieter Katoen |
| 2010 | Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. | Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | Invariant and Type Inference for Matrices. | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs, Andrei Voronkov |
| 2010 | Abstract Interpretation-Based Protection. | Roberto Giacobazzi |
| 2010 | Analysis of Systems with Stochastic Process Creation. | Javier Esparza |
| 2010 | Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. | Jori Dubrovin |
| 2010 | Interpolant Strength. | Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
| 2010 | An Abstract Domain to Discover Interval Linear Equalities. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |