| 2005 | An Intrusion Detection System for AODV. | |
| 2005 | Preserving Consistency of Runtime Monitors across Protocol Changes. | Mahadevan Subramaniam |
| 2005 | Using the Metamodel Mechanism to Support Class Refinement. | Wuwei Shen, Weng Liong Low |
| 2005 | Extending SOFL Features for AOP Modeling. | Yao Shen, Haopeng Chen |
| 2005 | Formal Requirements-Based Programming for Complex Systems. | James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin |
| 2005 | Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. | Rafael Ramrez, Andrew E. Santosa |
| 2005 | Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. | Mauro Pezz, Davide Tosi, Gian Pietro Picco |
| 2005 | An Internet-Based System for Setup Planning in Machining Operations. | Gaoliang Peng, Wenjian Liu, Xutang Zhang |
| 2005 | Slicing Component-Based Systems. | Yajuan Pan, Dai Pan, Mei-Hwa Chen |
| 2005 | Multimedia Content Distribution and Protection. | Paolo Nesi |
| 2005 | Design of a Tool for Specification-Based Program Review. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2005 | Analysis and Verification of the Interaction Model in Software Design. | Guido Menkhaus, Urs Frei, Jorg Wuthrich |
| 2005 | Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. | Frans Mrtensson, Hkan Grahn, Michael Mattsson |
| 2005 | Behavior Capture and Test: Automated Analysis of Component Integration. | Leonardo Mariani, Mauro Pezz |
| 2005 | Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. | Cheng-Ying Mao, Yansheng Lu |
| 2005 | A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. | Jun Li, Fumin Yang, Yansheng Lu |
| 2005 | Mutation Operators for Object-Z Specification. | Ling Liu, Huaikou Miao |
| 2005 | A Strategy for Component-Based Modeling and Refinement. | Jing Liu, Huaikou Miao |
| 2005 | Consistency Checking of UML Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 2005 | A Study of Secure Communications between Mobile Objects. | Zhi-gang Liao, Zeng-zhi Li, Yan Chen, Tao Zhan |
| 2005 | Regression Testing of Classes Based on TCOZ Specification. | Hui Liang |
| 2005 | A Component-Based Approach for JavaCard Runtime System Development. | Ching-Cheng Lee, Sudeshna Ghosh |
| 2005 | Design Patterns for Software Health Monitoring. | Alexander Lau, Rudolph E. Seviora |
| 2005 | Grammar-Specified Model-Driven Architectures. | Jun Kong, Kang Zhang, Jing Dong |
| 2005 | Evaluating Conformance of UML Models to Design Patterns. | Dae-Kyoo Kim |