1 "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems", FASE 2005, LNCS 3442" 2005.
2 "Self-Organising Distributed Component Software Architecture" 2002.
3 "Recursive and Dynamic Software Composition with Sharing" June,2002
4 "Proc. of 1998 Conference on Fundamental Approaches to Software Engineering" 1998.
5 "Modeling Software Components Using Behavior Protocols" 2002.
6 "Model-Checking of Component-Based Event-Driven Real-Time Embedded Software" 2005.
7 "Formal Analysis of Architectural Patterns" St Andrews, Scotland, UK May,2004.
8 "Coordination for Component Composition" 2005.
9 "Components and Viewpoints as integrated Separations of Concerns in system Designing" April,2002
10 "Component Integration using Composition Contracts with Exception Handling" 2003.
1 "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems", FASE 2005, LNCS 3442" 2005.
2 "Self-Organising Distributed Component Software Architecture" 2002.
3 "Recursive and Dynamic Software Composition with Sharing" June,2002
4 "Proc. of 1998 Conference on Fundamental Approaches to Software Engineering" 1998.
5 "Modeling Software Components Using Behavior Protocols" 2002.
6 "Model-Checking of Component-Based Event-Driven Real-Time Embedded Software" 2005.
7 "Formal Analysis of Architectural Patterns" St Andrews, Scotland, UK May,2004.
8 "Coordination for Component Composition" 2005.
9 "Components and Viewpoints as integrated Separations of Concerns in system Designing" April,2002
10 "Component Integration using Composition Contracts with Exception Handling" 2003.
11 "Component Composition Validation" 12 (12): December,2002
12 "Component Composition Preserving Behavioural Contracts Based on Communication Traces" 2005.
13 "CBSE: a Quantitative Approach" 2003.
14 "A formal approach to component-based software engineering" 2003.
15 "A Survey of SelfManagement in Dynamic Software Architecture Specifications" 2004.
16 "A Compositional Formalization of Connector Wrappers" 2003.