| 2005 | Evolving Messaging Systems for Secure Role Based Messaging. | Gansen Zhao, David W. Chadwick |
| 2005 | Rapid Prototyping of Complex Interactive Simulation Systems. | Zhiming Zhao, G. Dick van Albada, Peter M. A. Sloot |
| 2005 | A Slice Monad Transformer and Its Applications in Program Slicing. | Yingzhou Zhang, Baowen Xu |
| 2005 | Secure Software Architectures Design by Aspect Orientation. | Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao |
| 2005 | An Introduction to Three Perspectives on Formal Specification Review. | Jianping Yao |
| 2005 | Mediation Systems Modeling and Verification. | Li Yang, Raimund K. Ege, Huiqun Yu |
| 2005 | A Formal Specification Constructing Tool for SOFL. | Xiang Xue |
| 2005 | Additional Reviewers. | |
| 2005 | Organizing Committee. | |
| 2005 | Welcome from the Program Chairs. | |
| 2005 | Message from the General Chairs. | |
| 2005 | Coping with Legacy System Migration Complexity. | Lei Wu, Houari A. Sahraoui, Petko Valtchev |
| 2005 | Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. | W. Eric Wong, Yu Lei, Xiao Ma |
| 2005 | From chi-t to CRL: Combining Performance and Functional Analysis. | Anton Wijs, Wan J. Fokkink |
| 2005 | Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. | P. Mattias Weckstn, Magnus Jonsson, Jonas Vasell |
| 2005 | An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. | Xin Wang, Zhi-Chang Qi, Shuhao Li |
| 2005 | Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. | Li Wang, Zeng-zhi Li, Yanping Chen, Ke Xue |
| 2005 | Ringed Petersen Spheres Connected Hypercube Interconnection Networks. | Lei Wang, Zhiping Chen, Xinhua H. Jiang |
| 2005 | A Cost-Efficient Server Architecture for Real-Time Credit-Control. | Piotr Tomaszewski, Lars Lundberg, Jim Hkansson, Daniel Hggander |
| 2005 | Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. | Peiyi Tang |
| 2005 | Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. | Tetsuo Tamai |
| 2005 | Verifying Parameterized Refinement. | Maty Sylla, Frank A. Stomp, Willem P. de Roever |
| 2005 | Formal Semantics and Verification for Feature Modeling. | Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang |
| 2005 | Model Checking Live Sequence Charts. | Jun Sun, Jin Song Dong |
| 2005 | Extracting FSMs from Object-Z Specifications with History Invariants. | Jun Sun, Jin Song Dong |