| 2005 | 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China |
| 2005 | A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS. Juan Miguel Gómez, Giner Alor-Hernández, José Oscar Olmedo-Aguirre, Christoph Bussler |
| 2005 | A Component-Based Approach for JavaCard Runtime System Development. Ching-Cheng Lee, Sudeshna Ghosh |
| 2005 | A Cost-Efficient Server Architecture for Real-Time Credit-Control. Piotr Tomaszewski, Lars Lundberg, Jim Håkansson, Daniel Häggander |
| 2005 | A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. Jun Li, Fumin Yang, Yansheng Lu |
| 2005 | A Formal General Framework and Service Access Model for Service Grid. Deqing Zou, Weizhong Qiang, Xuanhua Shi |
| 2005 | A Formal Specification Constructing Tool for SOFL. Xiang Xue |
| 2005 | A Framework for SOFL-Based Program Review. Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2005 | A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems. Wen Chen, Feiyu Lei, Weinong Wang |
| 2005 | A Slice Monad Transformer and Its Applications in Program Slicing. Yingzhou Zhang, Baowen Xu |
| 2005 | A Strategy for Component-Based Modeling and Refinement. Jing Liu, Huaikou Miao |
| 2005 | A Study of Secure Communications between Mobile Objects. Zhi-gang Liao, Zeng-zhi Li, Yan Chen, Tao Zhan |
| 2005 | A Tool-Supported Approach to Testing UML Design Models. Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
| 2005 | Additional Reviewers. |
| 2005 | An Internet-Based System for Setup Planning in Machining Operations. Gaoliang Peng, Wenjian Liu, Xutang Zhang |
| 2005 | An Introduction to Self-Healing Web Services. Luciano Baresi, Sam Guinea |
| 2005 | An Introduction to Three Perspectives on Formal Specification Review. Jianping Yao |
| 2005 | An Intrusion Detection System for AODV. |
| 2005 | An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. Xin Wang, Zhi-Chang Qi, Shuhao Li |
| 2005 | Analysis and Verification of the Interaction Model in Software Design. Guido Menkhaus, Urs Frei, Jorg Wuthrich |
| 2005 | Behavior Capture and Test: Automated Analysis of Component Integration. Leonardo Mariani, Mauro Pezzè |
| 2005 | Comparing Fault-Proneness Estimation Models. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai |
| 2005 | Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. Tetsuo Tamai |
| 2005 | Consistency Checking of UML Requirements. Xiaoshan Li, Zhiming Liu, Jifeng He |
| 2005 | Coping with Legacy System Migration Complexity. Lei Wu, Houari A. Sahraoui, Petko Valtchev |
| 2005 | Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens |
| 2005 | Customizable Framework for Managing Trusted Components Deployed on Middleware. Minghui Zhou, Wenpin Jiao, Hong Mei |
| 2005 | Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. P. Mattias Weckstén, Magnus Jonsson, Jonas Vasell |
| 2005 | Design Patterns for Software Health Monitoring. Alexander Lau, Rudolph E. Seviora |
| 2005 | Design of a Tool for Specification-Based Program Review. Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2005 | Detecting Malicious JavaScript Code in Mozilla. Oystein Hallaraker, Giovanni Vigna |
| 2005 | Dynamic Architectural Connectors in Cooperative Software Systems. Wenpin Jiao, Hong Mei |
| 2005 | Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. W. Eric Wong, Yu Lei, Xiao Ma |
| 2005 | Evaluating Conformance of UML Models to Design Patterns. Dae-Kyoo Kim |
| 2005 | Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. Frans Mårtensson, Håkan Grahn, Michael Mattsson |
| 2005 | Evolving Messaging Systems for Secure Role Based Messaging. Gansen Zhao, David W. Chadwick |
| 2005 | Exploiting OS-Level Mechanisms to Implement Mobile Code Security. Viktoria Felmetsger, Giovanni Vigna |
| 2005 | Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. Haopeng Chen, Yao Shen, Jianwei Jiang |
| 2005 | Extending SOFL Features for AOP Modeling. Yao Shen, Haopeng Chen |
| 2005 | Extracting FSMs from Object-Z Specifications with History Invariants. Jun Sun, Jin Song Dong |
| 2005 | Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. Li Wang, Zeng-zhi Li, Yanping Chen, Ke Xue |
| 2005 | Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. Peiyi Tang |
| 2005 | Formal Requirements-Based Programming for Complex Systems. James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin |
| 2005 | Formal Semantics and Verification for Feature Modeling. Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang |
| 2005 | Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. Rafael Ramírez, Andrew E. Santosa |
| 2005 | Formal Verification of an Array-Based Nonblocking Queue. Robert Colvin, Lindsay Groves |
| 2005 | From chi-t to µCRL: Combining Performance and Functional Analysis. Anton Wijs, Wan J. Fokkink |
| 2005 | Grammar-Specified Model-Driven Architectures. Jun Kong, Kang Zhang, Jing Dong |
| 2005 | Identification of Faulty Links in LEO/MEO Satellite Communication Networks. Zhigang Zhao, Changqing Gong, Guangxing Wang |
| 2005 | Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. Cheng-Ying Mao, Yansheng Lu |
| 2005 | Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. Xuefeng Zhu, Zhi Jin |
| 2005 | Integrating Object-Z with Timed Automata. Jin Song Dong, Roger Duke, Ping Hao |
| 2005 | Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge |
| 2005 | Mediation Systems Modeling and Verification. Li Yang, Raimund K. Ege, Huiqun Yu |
| 2005 | Message from the General Chairs. |
| 2005 | Model Checking Live Sequence Charts. Jun Sun, Jin Song Dong |
| 2005 | Model-Based Design and Analysis of Permission-Based Security. Jan Jürjens, Markus Lehrhuber, Guido Wimmel |
| 2005 | Modeling Architecture Based Development in UML. Yali Zhu, Gang Huang, Hong Mei |
| 2005 | Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. Yali Zhu |
| 2005 | Multimedia Content Distribution and Protection. Paolo Nesi |
| 2005 | Mutation Operators for Object-Z Specification. Ling Liu, Huaikou Miao |
| 2005 | Organizing Committee. |
| 2005 | Preserving Consistency of Runtime Monitors across Protocol Changes. Mahadevan Subramaniam |
| 2005 | Principles, Standards and Tools for Model Engineering. Jean Bézivin, Frédéric Jouault, David Touzet |
| 2005 | Rapid Prototyping of Complex Interactive Simulation Systems. Zhiming Zhao, G. Dick van Albada, Peter M. A. Sloot |
| 2005 | Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications. Mohammad Zib Beiroumi, Villy Bæk Iversen |
| 2005 | Regression Testing of Classes Based on TCOZ Specification. Hui Liang |
| 2005 | Ringed Petersen Spheres Connected Hypercube Interconnection Networks. Lei Wang, Zhiping Chen, Xinhua H. Jiang |
| 2005 | Robust H-infinity Filter Design for Networked Control System with Random Time Delays. Zhihong Huo, Huajing Fang |
| 2005 | Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. Mauro Pezzè, Davide Tosi, Gian Pietro Picco |
| 2005 | Secure Software Architectures Design by Aspect Orientation. Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao |
| 2005 | Slicing Component-Based Systems. Yajuan Pan, Dai Pan, Mei-Hwa Chen |
| 2005 | Software Engineering Approaches to Semantic Web. Jin Song Dong, D. Dan |
| 2005 | The Preservation of Interleaving Equivalences. Jianmin Jiang, Jinzhao Wu |
| 2005 | Tools for an Extended Object Modelling Environment. Cesar Gonzalez-Perez |
| 2005 | Using the Metamodel Mechanism to Support Class Refinement. Wuwei Shen, Weng Liong Low |
| 2005 | Verifying Parameterized Refinement. Maty Sylla, Frank A. Stomp, Willem P. de Roever |
| 2005 | Welcome from the Program Chairs. |