| 2006 | Controller Synthesis and Ordinal Automata. | Thierry Cachat |
| 2006 | A Semantic Framework for Test Coverage. | Laura Brandn Briones, Ed Brinksma, Marille Stoelinga |
| 2006 | Timed Unfoldings for Networks of Timed Automata. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | A Fresh Look at Testing for Asynchronous Communication. | Puneet Bhateja, Paul Gastin, Madhavan Mukund |
| 2006 | Automated Abstraction of Software. | Thomas Ball |
| 2006 | On the Succinctness of Nondeterminism. | Benjamin Aminof, Orna Kupferman |
| 2006 | Eager Markov Chains. | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg |
| 2005 | Comprehensive Verification Framework for Dependability of Self-optimizing Systems. | Yuhong Zhao, Martin Kardos, Simon Oberthr, Franz J. Rammig |
| 2005 | A Static Analysis Using Tree Automata for XML Access Control. | Isao Yagi, Yoshiaki Takata, Hiroyuki Seki |
| 2005 | An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. | Fuzhi Wang, Marta Z. Kwiatkowska |
| 2005 | Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities. | Andrei Voinikonis |
| 2005 | Some Perspectives of Infinite-State Verification. | Wolfgang Thomas |
| 2005 | Approximate Reachability for Dead Code Elimination in Esterel. | Olivier Tardieu, Stephen A. Edwards |
| 2005 | Selective Search in Bounded Model Checking of Reachability Properties. | Maciej Szreter |
| 2005 | Multi-valued Model Checking Games. | Sharon Shoham, Orna Grumberg |
| 2005 | A New Reachability Algorithm for Symmetric Multi-processor Architecture. | Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill |
| 2005 | Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. | Mouna Saad, Leila Jemni Ben Ayed |
| 2005 | Ranking Abstraction as a Companion to Predicate Abstraction, . | Amir Pnueli |
| 2005 | Exploiting Hub States in Automatic Verification. | Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci |
| 2005 | An EFSM-Based Intrusion Detection System for Ad Hoc Networks. | Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli |
| 2005 | Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. | Venkatesh Mysore, Carla Piazza, Bud Mishra |
| 2005 | A New Graph of Classes for the Preservation of Quantitative Temporal Constraints. | Xiaoyu Mao, Janette Cardoso, Robert Valette |
| 2005 | Model Checking Prioritized Timed Automata. | Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen |
| 2005 | Model Checking Real Time Java Using Java PathFinder. | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
| 2005 | Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. | Tun Li, Yang Guo, Sikun Li, GongJie Liu |