| 2005 | A New Graph of Classes for the Preservation of Quantitative Temporal Constraints. Xiaoyu Mao, Janette Cardoso, Robert Valette |
| 2005 | A New Reachability Algorithm for Symmetric Multi-processor Architecture. Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill |
| 2005 | A Static Analysis Using Tree Automata for XML Access Control. Isao Yagi, Yoshiaki Takata, Hiroyuki Seki |
| 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 | An Approach for the Verification of SystemC Designs Using AsmL. Ali Habibi, Sofiène Tahar |
| 2005 | An EFSM-Based Intrusion Detection System for Ad Hoc Networks. Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli |
| 2005 | An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. Fuzhi Wang, Marta Z. Kwiatkowska |
| 2005 | Approximate Reachability for Dead Code Elimination in Esterel. Olivier Tardieu, Stephen A. Edwards |
| 2005 | Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Doron A. Peled, Yih-Kuen Tsay |
| 2005 | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. Geng-Dian Huang, Farn Wang |
| 2005 | Comparison of Different Semantics for Time Petri Nets. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
| 2005 | Comprehensive Verification Framework for Dependability of Self-optimizing Systems. Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig |
| 2005 | Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. Abhishek Dubey, Xianbin Wu, Hang Su, Tak-John Koo |
| 2005 | Decomposition-Based Verification of Cyclic Workflows. Yongsun Choi, J. Leon Zhao |
| 2005 | Exploiting Hub States in Automatic Verification. Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci |
| 2005 | Flat Acceleration in Symbolic Model Checking. Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen |
| 2005 | Flat Counter Automata Almost Everywhere! Jérôme Leroux, Grégoire Sutre |
| 2005 | Formal Construction and Verification of Home Service Robots: A Case Study. Moonzoo Kim, Kyo Chul Kang |
| 2005 | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. Werner Damm, Guilherme Pinto, Stefan Ratschan |
| 2005 | Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. Mouna Saad, Leila Jemni Ben Ayed |
| 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 | Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. Pierre Combes, David Harel, Hillel Kugler |
| 2005 | Multi-valued Model Checking Games. Sharon Shoham, Orna Grumberg |
| 2005 | Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. Tun Li, Yang Guo, Sikun Li, Gongjie Liu |
| 2005 | Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities. Andrei Voinikonis |
| 2005 | Ranking Abstraction as a Companion to Predicate Abstraction, . Amir Pnueli |
| 2005 | Reasoning About Transfinite Sequences. Stéphane Demri, David Nowak |
| 2005 | Selective Search in Bounded Model Checking of Reachability Properties. Maciej Szreter |
| 2005 | Semi-automatic Distributed Synthesis. Bernd Finkbeiner, Sven Schewe |
| 2005 | Some Perspectives of Infinite-State Verification. Wolfgang Thomas |
| 2005 | State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. Charles A. Lakos, Lars Michael Kristensen |
| 2005 | Syntactical Colored Petri Nets Reductions. Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre |
| 2005 | Synthesis of Interface Automata. Purandar Bhaduri |
| 2005 | Termination and Invariance Analysis of Loops. Aaron R. Bradley, Zohar Manna |
| 2005 | Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. Guy Edward Gallasch, Jonathan Billington |
| 2005 | Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster |