| 2005 | Formalising Web Services. | Kenneth J. Turner |
| 2005 | A Composition Operator for Systems with Active and Passive Actions. | Stefan Strubbe, Rom Langerak |
| 2005 | Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. | A. Prasad Sistla, Min Zhou |
| 2005 | Expressive Completeness of an Event-Pattern Reactive Programming Language. | Csar Snchez, Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2005 | Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. | Csar Snchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna |
| 2005 | A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. | Gerrit Rothmaier, Heiko Krumm |
| 2005 | Model Checking for Timed Statecharts. | Junyan Qian, Baowen Xu |
| 2005 | Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. | Kairong Qian, Albert Nymeyer, Steven Susanto |
| 2005 | ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. | Matteo Pradella, Matteo Rossi, Dino Mandrioli |
| 2005 | The Inductive Approach to Strand Space. | Yongjian Li |
| 2005 | A Petri Net View of Mobility. | Charles Lakos |
| 2005 | Modular Verification of Petri Nets Properties: A Structure-Based Approach. | Kais Klai, Serge Haddad, Jean-Michel Ili |
| 2005 | Amortised Bisimulations. | Astrid Kiehn, S. Arun-Kumar |
| 2005 | Properties as Processes: Their Specification and Verification. | Joel Kelso, George J. Milne |
| 2005 | Designing Efficient Fail-Safe Multitolerant Systems. | Arshad Jhumka, Neeraj Suri |
| 2005 | Towards Synchronizing Linear Collaborative Objects with Operational Transformation. | Abdessamad Imine, Pascal Molli, Grald Oster, Michal Rusinowitch |
| 2005 | Modeling and Verification of Safety-Critical Systems Using Safecharts. | Pao-Ann Hsiung, Yen-Hung Lin |
| 2005 | A Testing Architecture for Designing High-Reliable MANET Protocols. | Teruo Higashino, Hirozumi Yamaguchi |
| 2005 | Structure Preserving Data Abstractions for Statecharts. | Steffen Helke, Florian Kammller |
| 2005 | Developing High Quality Software with Formal Methods: What Else Is Needed? | Constance L. Heitmeyer |
| 2005 | Abstract Operational Semantics for Use Case Maps. | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
| 2005 | A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. | Youcef Hammal |
| 2005 | An Improved Conformance Testing Method. | Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko |
| 2005 | Formalizing Interoperability Testing: Quiescence Management and Test Generation. | Alexandra Desmoulin, Csar Viho |
| 2005 | Submodule Construction for Extended State Machine Models. | Bassel Daou, Gregor von Bochmann |