| 2005 | A Composition Operator for Systems with Active and Passive Actions. Stefan Strubbe, Rom Langerak |
| 2005 | A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. Youcef Hammal |
| 2005 | A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. Gerrit Rothmaier, Heiko Krumm |
| 2005 | A Hierarchy of Implementable MSC Languages. Benedikt Bollig, Martin Leucker |
| 2005 | A Petri Net View of Mobility. Charles Lakos |
| 2005 | A Testing Architecture for Designing High-Reliable MANET Protocols. Teruo Higashino, Hirozumi Yamaguchi |
| 2005 | Abstract Operational Semantics for Use Case Maps. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
| 2005 | Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. Kairong Qian, Albert Nymeyer, Steven Susanto |
| 2005 | Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2005 | Amortised Bisimulations. Astrid Kiehn, S. Arun-Kumar |
| 2005 | An Improved Conformance Testing Method. Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko |
| 2005 | ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. Matteo Pradella, Matteo Rossi, Dino Mandrioli |
| 2005 | Automatic Generation of Conflict-Free IPsec Policies. Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei |
| 2005 | Automatic Partitioner for Behavior Level Distributed Logic Simulation. Kai-Hui Chang, Jeh-Yen Kang, Han-Wei Wang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo |
| 2005 | Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. A. Prasad Sistla, Min Zhou |
| 2005 | Compositional Modelling and Verification of IPv6 Mobility. Peng Wu, Dongmei Zhang |
| 2005 | Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks. Chang Wu Yu, Li-Hsing Yen |
| 2005 | Deriving Non-determinism from Conjunction and Disjunction. Naijun Zhan, Mila E. Majster-Cederbaum |
| 2005 | Designing Efficient Fail-Safe Multitolerant Systems. Arshad Jhumka, Neeraj Suri |
| 2005 | Developing High Quality Software with Formal Methods: What Else Is Needed? Constance L. Heitmeyer |
| 2005 | Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot |
| 2005 | Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks. Yueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao |
| 2005 | Expressive Completeness of an Event-Pattern Reactive Programming Language. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2005 | Fast Generic Model-Checking for Data-Based Systems. Dezhuang Zhang, Rance Cleaveland |
| 2005 | Formal Description of Mobile IPv6 Protocol. Yujun Zhang, Zhongcheng Li |
| 2005 | Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Farn Wang |
| 2005 | Formalising Web Services. Kenneth J. Turner |
| 2005 | Formalizing Interoperability Testing: Quiescence Management and Test Generation. Alexandra Desmoulin, César Viho |
| 2005 | From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. Thomas Chatain, Loïc Hélouët, Claude Jard |
| 2005 | Hierarchical Decision Diagrams to Exploit Model Structure. Jean-Michel Couvreur, Yann Thierry-Mieg |
| 2005 | Incremental Modeling Under Large-Scale Distributed Interaction. Horst F. Wedde, Arnim Wedig, Anca M. Lazarescu, Ralf Paaschen, Elisei Rotaru |
| 2005 | Logic and Model Checking for Hidden Markov Models. Lijun Zhang, Holger Hermanns, David N. Jansen |
| 2005 | Model Checking for Timed Statecharts. Junyan Qian, Baowen Xu |
| 2005 | Modeling and Verification of Safety-Critical Systems Using Safecharts. Pao-Ann Hsiung, Yen-Hung Lin |
| 2005 | Modular Verification of Petri Nets Properties: A Structure-Based Approach. Kais Klai, Serge Haddad, Jean-Michel Ilié |
| 2005 | Proof Methodologies for Behavioural Equivalence in DPI. Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
| 2005 | Properties as Processes: Their Specification and Verification. Joel Kelso, George J. Milne |
| 2005 | Proving forall-µ-Calculus Properties with SAT-Based Model Checking. Bow-Yaw Wang |
| 2005 | Ranking Abstraction as Companion to Predicate Abstraction. Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2005 | Resolving Observability Problems in Distributed Test Architectures. Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2005 | Structure Preserving Data Abstractions for Statecharts. Steffen Helke, Florian Kammüller |
| 2005 | Submodule Construction for Extended State Machine Models. Bassel Daou, Gregor von Bochmann |
| 2005 | The Inductive Approach to Strand Space. Yongjian Li |
| 2005 | Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna |
| 2005 | Towards Synchronizing Linear Collaborative Objects with Operational Transformation. Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch |