| 2005 | A Family of Mathematical Methods for Professional Software Documentation. David Lorge Parnas |
| 2005 | A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. Héctor Ruíz Barradas, Didier Bert |
| 2005 | Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. Robi Malik, Partha S. Roop |
| 2005 | Agile Formal Method Engineering. Richard F. Paige, Phillip J. Brooke |
| 2005 | An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
| 2005 | An Integrated Framework for Scenarios and State Machines. Bikram Sengupta, Rance Cleaveland |
| 2005 | CZT Support for Z Extensions. Tim Miller, Leo Freitas, Petra Malik, Mark Utting |
| 2005 | Chunks: Component Verification in CSP||B. Steve A. Schneider, Helen Treharne, Neil Evans |
| 2005 | Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. Vitus S. W. Lam, Julian A. Padget |
| 2005 | Consistency in UML and B Multi-view Specifications. Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières |
| 2005 | Development of Fault Tolerant Grid Applications Using Distributed B. Pontus Boström, Marina Waldén |
| 2005 | Embedding the Stable Failures Model of CSP in PVS. Kun Wei, James Heather |
| 2005 | Enabling Security Testing from Specification to Code. Shane Bracher, Padmanabhan Krishnan |
| 2005 | Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. Frédéric Lang |
| 2005 | Formal Methods Meet Domain Specific Languages. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
| 2005 | Formalising Interactive Voice Services with SDL. Kenneth J. Turner |
| 2005 | Generating Path Conditions for Timed Systems. Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2005 | Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings Judi Romijn, Graeme Smith, Jaco van de Pol |
| 2005 | Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard |
| 2005 | Software Model Checking: Searching for Computations in the Abstract or the Concrete. Patrice Godefroid, Nils Klarlund |
| 2005 | State/Event Software Verification for Branching-Time Specifications. Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
| 2005 | Synthesizing B Specifications from EB Frédéric Gervais, Marc Frappier, Régine Laleau |
| 2005 | Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. Gwen Salaün, Wendelin Serwe |