| 2005 | Symbolic Test Selection Based on Approximate Analysis. | Bertrand Jeannet, Thierry Jron, Vlad Rusu, Elena Zinovieva |
| 2005 | Localization and Register Sharing for Predicate Abstraction. | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
| 2005 | A Generic Theorem Prover of CSP Refinement. | Yoshinao Isobe, Markus Roggenbach |
| 2005 | A New Algorithm for Strategy Synthesis in LTL Games. | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2005 | Truly On-the-Fly LTL Model Checking. | Moritz Hammer, Alexander Knapp, Stephan Merz |
| 2005 | Monte Carlo Model Checking. | Radu Grosu, Scott A. Smolka |
| 2005 | Snapshot Verification. | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled |
| 2005 | Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. | Blaise Genest |
| 2005 | Untitled record | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
| 2005 | Algorithmic Verification of Recursive Probabilistic State Machines. | Kousha Etessami, Mihalis Yannakakis |
| 2005 | Dynamic Symmetry Reduction. | E. Allen Emerson, Thomas Wahl |
| 2005 | SATABS: SAT-Based Predicate Abstraction for ANSI-C. | Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav |
| 2005 | Java-MOP: A Monitoring Oriented Programming Environment for Java. | Feng Chen, Grigore Rosu |
| 2005 | An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |
| 2005 | Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Toms Vojnar |
| 2005 | Empirically Efficient Verification for a Class of Infinite-State Systems. | Jesse D. Bingham, Alan J. Hu |
| 2005 | BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu |
| 2005 | Time-Efficient Model Checking with Magnetic Disk. | Tonglaga Bao, Michael D. Jones |
| 2005 | On-the-Fly Reachability and Cycle Detection for Recursive State Machines. | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan |
| 2005 | Simulation-Based Iteration of Tree Transducers. | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |
| 2004 | Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. | Hkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2004 | Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. | Greta Yorsh, Thomas W. Reps, Shmuel Sagiv |
| 2004 | Tampere Verification Tool. | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkil |
| 2004 | A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. | Zhendong Su, David A. Wagner |