| 2002 | A Few Graph-Based Relational Numerical Abstract Domains. | Antoine Min |
| 2002 | Detecting Optimal Termination Conditions of Logic Programs. | Frdric Mesnard, tienne Payet, Ulrich Neumerkel |
| 2002 | Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. | Damien Mass |
| 2002 | Static Analysis of the Numerical Stability of Loops. | Matthieu Martel |
| 2002 | Compactly Representing First-Order Structures for Static Analysis. | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | Backward Type Inference Generalises Type Checking. | Lunjin Lu, Andy King |
| 2002 | Finiteness Analysis in Polynomial Time. | Chin Soon Lee |
| 2002 | Pipeline Modeling for Timing Analysis. | Marc Langenbach, Stephan Thesing, Reinhold Heckmann |
| 2002 | Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. | Bertrand Jeannet |
| 2002 | Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. | Charles Hymans |
| 2002 | Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. | Robert J. Hall |
| 2002 | States vs. Traces in Model Checking by Abstract Interpretation. | Roberto Giacobazzi, Francesco Ranzato |
| 2002 | Refinement of LTL Formulas for Abstract Model Checking. | Mara-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
| 2002 | Representation Analysis for Coercion Placement. | Karl-Filip Faxn |
| 2002 | An Algebraic Approach to the Static Analysis of Concurrent Software. | Javier Esparza |
| 2002 | An Improved Constraint-Based System for the Verification of Security Protocols. | Ricardo Corin, Sandro Etalle |
| 2002 | Reuse of Results in Termination Analysis of Typed Logic Programs. | Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
| 2002 | From Secrecy to Authenticity in Security Protocols. | Bruno Blanchet |
| 2002 | Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. | Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill |
| 2002 | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
| 2001 | Parametric Optimization of Open Real-Time Systems. | Farn Wang, Hsu-Chun Yen |
| 2001 | Static Analysis and Software Assurance. | David A. Wagner |
| 2001 | Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. | Fausto Spoto |
| 2001 | Embedding Chaos. | Natalia Sidorova, Martin Steffen |
| 2001 | Soft Scheduling for Hardware. | Richard Sharp, Alan Mycroft |