| 2008 | A Forward-Backward Abstraction Refinement Algorithm. Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo |
| 2008 | A Hybrid Algorithm for LTL Games. Saqib Sohail, Fabio Somenzi, Kavita Ravi |
| 2008 | Abstract Interpretation of Cellular Signalling Networks. Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine |
| 2008 | Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. Radhia Cousot |
| 2008 | Abstract Interpretation of the Physical Inputs of Embedded Programs. Olivier Bouissou, Matthieu Martel |
| 2008 | All You Need Is Compassion. Amir Pnueli, Yaniv Sa'ar |
| 2008 | An Improved Tight Closure Algorithm for Integer Octagonal Constraints. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2008 | Approximation Refinement for Interpolation-Based Model Checking. Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening |
| 2008 | CTL as an Intermediate Language. Neil D. Jones, René Rydhof Hansen |
| 2008 | Decision Procedures for Multisets with Cardinality Constraints. Ruzica Piskac, Viktor Kuncak |
| 2008 | Deriving Bisimulations by Simplifying Partitions. Isabella Mastroeni |
| 2008 | Diagnostic Information for Realizability. Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
| 2008 | Extending Model Checking with Dynamic Analysis. Alex Groce, Rajeev Joshi |
| 2008 | From LTL to Symbolically Represented Deterministic Automata. Andreas Morgenstern, Klaus Schneider |
| 2008 | Handling Parameterized Systems with Non-atomic Global Conditions. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
| 2008 | Internal and External Logics of Abstract Interpretations. David A. Schmidt |
| 2008 | Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? Rayna Dimitrova, Andreas Podelski |
| 2008 | Model Checking for Action Abstraction. Harald Fecher, Michael Huth |
| 2008 | Monitoring Temporal Properties of Stochastic Systems. A. Prasad Sistla, Abhigna R. Srinivas |
| 2008 | Multi-valued Logics, Automata, Simulations, and Games. Orna Kupferman, Yoad Lustig |
| 2008 | On Bridging Simulation and Formal Verification. Eugene Goldberg |
| 2008 | Precise Set Sharing Analysis for Java-Style Programs. Mario Méndez-Lojo, Manuel V. Hermenegildo |
| 2008 | Program Analysis and Programming Languages for Security. Marco Pistoia |
| 2008 | Runtime Checking for Separation Logic. Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
| 2008 | Sufficient Preconditions for Modular Assertion Checking. Yannick Moy |
| 2008 | Verification of Register Allocators. Jens Palsberg |
| 2008 | Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings Francesco Logozzo, Doron A. Peled, Lenore D. Zuck |