| 2007 | Language-Based Abstraction Refinement for Hybrid System Verification. | Felix Klaedtke, Stefan Ratschan, Zhikun She |
| 2007 | Assertion Checking Unified. | Sumit Gulwani, Ashish Tiwari |
| 2007 | More Precise Partition Abstractions. | Harald Fecher, Michael Huth |
| 2007 | Verifying Compensating Transactions. | Michael Emmi, Rupak Majumdar |
| 2007 | Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. | Sigmund Cherem, Radu Rugina |
| 2007 | On Flat Programs with Lists. | Marius Bozga, Radu Iosif |
| 2007 | Using First-Order Theorem Provers in the Jahob Data Structure Verification System. | Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard |
| 2007 | Invariant Synthesis for Combined Theories. | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
| 2007 | Better Under-Approximation of Programs by Hiding Variables. | Thomas Ball, Orna Kupferman |
| 2007 | DIVINE: DIscovering Variables IN Executables. | Gogul Balakrishnan, Thomas W. Reps |
| 2007 | Shape Analysis of Single-Parent Heaps. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2006 | Error Control for Probabilistic Model Checking. | Hkan L. S. Younes |
| 2006 | Field Constraint Analysis. | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
| 2006 | A Compositional Logic for Control Flow. | Gang Tan, Andrew W. Appel |
| 2006 | Totally Clairvoyant Scheduling with Relative Timing Constraints. | K. Subramani |
| 2006 | Monitoring Off-the-Shelf Components. | A. Prasad Sistla, Min Zhou, Lenore D. Zuck |
| 2006 | Closure Operators for ROBDDs. | Peter Schachte, Harald Sndergaard |
| 2006 | Efficient Strongly Relational Polyhedral Analysis. | Sriram Sankaranarayanan, Michael Coln, Henny B. Sipma, Zohar Manna |
| 2006 | Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. | Stefano Rossignoli, Fausto Spoto |
| 2006 | Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. | Francesco Ranzato, Francesco Tapparo |
| 2006 | Synthesis of Reactive(1) Designs. | Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
| 2006 | Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. | Antoine Min |
| 2006 | Semantic Hierarchy Refactoring by Abstract Interpretation. | Francesco Logozzo, Agostino Cortesi |
| 2006 | Resource Usage Analysis for the | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
| 2006 | Relative Safety. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |