| 2006 | A CLP Method for Compositional and Intermittent Predicate Abstraction. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2006 | A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
| 2006 | A Compositional Logic for Control Flow. Gang Tan, Andrew W. Appel |
| 2006 | A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula |
| 2006 | A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. Jesse D. Bingham, Zvonimir Rakamaric |
| 2006 | Closure Operators for ROBDDs. Peter Schachte, Harald Søndergaard |
| 2006 | Combining Shape Analyses by Intersecting Abstractions. Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham |
| 2006 | Complexity Results on Branching-Time Pushdown Model Checking. Laura Bozzelli |
| 2006 | Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. Stefano Rossignoli, Fausto Spoto |
| 2006 | Efficient Strongly Relational Polyhedral Analysis. Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna |
| 2006 | Environment Abstraction for Parameterized Verification. Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2006 | Error Control for Probabilistic Model Checking. Håkan L. S. Younes |
| 2006 | Field Constraint Analysis. Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
| 2006 | Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. Katia Hristova, Yanhong A. Liu |
| 2006 | Monitoring Off-the-Shelf Components. A. Prasad Sistla, Min Zhou, Lenore D. Zuck |
| 2006 | Parallel External Directed Model Checking with Linear I/O. Shahid Jabbar, Stefan Edelkamp |
| 2006 | Piecewise FIFO Channels Are Analyzable. Naghmeh Ghafari, Richard J. Trefler |
| 2006 | Ranking Abstraction of Recursive Programs. Ittai Balaban, Ariel Cohen, Amir Pnueli |
| 2006 | Relative Safety. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2006 | Resource Usage Analysis for the Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
| 2006 | Semantic Hierarchy Refactoring by Abstract Interpretation. Francesco Logozzo, Agostino Cortesi |
| 2006 | Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. Francesco Ranzato, Francesco Tapparo |
| 2006 | Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. Antoine Miné |
| 2006 | Synthesis of Reactive(1) Designs. Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
| 2006 | Systematic Construction of Abstractions for Model-Checking. Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2006 | Totally Clairvoyant Scheduling with Relative Timing Constraints. K. Subramani |
| 2006 | Verification of Well-Formed Communicating Recursive State Machines. Laura Bozzelli, Salvatore La Torre, Adriano Peron |
| 2006 | Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings E. Allen Emerson, Kedar S. Namjoshi |
| 2006 | What's Decidable About Arrays? Aaron R. Bradley, Zohar Manna, Henny B. Sipma |