| 2005 | A Formal Model of Addressing for Interoperating Networks. Pamela Zave |
| 2005 | ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software. Guy H. Broadfoot |
| 2005 | Adding Conflict and Confusion to CSP. Christie Bolton |
| 2005 | An Approach to Unfolding Asynchronous Communication Protocols. Yu Lei, S. Purushothaman Iyer |
| 2005 | An MDA Approach Towards Integrating Formal and Informal Modeling Languages. Soon-Kyeong Kim, Damian Burger, David A. Carrington |
| 2005 | Automatic Symmetry Detection for Model Checking Using Computational Group Theory. Alastair F. Donaldson, Alice Miller |
| 2005 | Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. Vlad Rusu, Hervé Marchand, Thierry Jéron |
| 2005 | Certified Memory Usage Analysis. David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider |
| 2005 | Combining CSP and B for Specification and Property Verification. Michael J. Butler, Michael Leuschel |
| 2005 | Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. Orieta Celiku, Annabelle McIver |
| 2005 | Control Law Diagrams in Ana Cavalcanti, Phil Clayton, Colin O'Halloran |
| 2005 | Controlling Object Allocation Using Creation Guards. Cees Pierik, Dave Clarke, Frank S. de Boer |
| 2005 | Decoupling in Object Orientation. Ioannis T. Kassios |
| 2005 | Dynamic Component Substitutability Analysis. Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha |
| 2005 | End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
| 2005 | FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings John S. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki |
| 2005 | Floating-Point Verification. John Harrison |
| 2005 | Formal Aids for the Growth of Software Systems. Mathai Joseph |
| 2005 | Formal Methods and Testing: Hypotheses, and Correctness Approximations. Marie-Claude Gaudel |
| 2005 | Formal Verification of Security Properties of Smart Card Embedded Source Code. June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
| 2005 | Formally Defining and Verifying Master/Slave Speculative Parallelization. Pierre Salverda, Grigore Rosu, Craig B. Zilles |
| 2005 | Model-Based Testing in Practice. Alexander Pretschner |
| 2005 | Model-Checking of Specifications Integrating Processes, Data and Time. Jochen Hoenicke, Patrick Maier |
| 2005 | Modular Verification of Static Class Invariants. K. Rustan M. Leino, Peter Müller |
| 2005 | On Partitioning and Symbolic Model Checking. Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain |
| 2005 | On Some Galois Connection Based Abstractions for the Mu-Calculus. Dragan Bosnacki |
| 2005 | Operational Semantics for Model Checking Circus. Jim Woodcock, Ana Cavalcanti, Leonardo Freitas |
| 2005 | Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop |
| 2005 | Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
| 2005 | Semantics of BPEL4WS-Like Fault and Compensation Handling. Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao |
| 2005 | Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira |
| 2005 | Symbolic Animation of JML Specifications. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting |
| 2005 | Synthesis of Distributed Processes from Scenario-Based Specifications. Jun Sun, Jin Song Dong |
| 2005 | Systematic Implementation of Real-Time Models. Martin De Wulf, Laurent Doyen, Jean-François Raskin |
| 2005 | Testing Concurrent Object-Oriented Systems with Spec Explorer. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
| 2005 | The Informal Nature of Systems Engineering. Gerrit Muller |
| 2005 | The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions. Christopher W. Johnson |
| 2005 | Timed Testing with TorX. Henrik C. Bohnenkamp, Axel Belinfante |
| 2005 | Timing Tolerances in Safety-Critical Software. Alan Wassyng, Mark Lawford, Xiayong Hu |
| 2005 | Verification of a Signature Architecture with HOL-Z. David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff |
| 2005 | Verifying Scenario-Based Aspect Specifications. Emilia Katz, Shmuel Katz |