Programme of FESCA

SATURDAY, April 3

09.00
09.05
Welcome and introduction
09.05
10.00
Invited Talk

Time, Abstraction, Causality, and Modularity in Interactive Systems
Manfred Broy (Technische Universitaet Muenchen, Germany)
10.00
10.30
Coffee

Middleware-based Systems
10.30
10.55
Formal Modeling of Middleware-based Distributed Systems
Arnab Ray and Rance Cleaveland (SUNY at Stony Brook, USA)
10.55
11.20
A Software Architecture-based Approach for Formalising Middleware Behaviour
Nelson Souto Rosa and Paulo Cunha (Universidade Federal de Pernambuco, Brazil)
11.20
11.30
Session Discussion

Architecture Reconfiguration
11.30
11.55
A Generic Framework for Connector Architectures based on Components and Transformations
H. Ehrig, J. Padberg, B. Braatz, M. Klein, (TU Berlin, Germany), F. Orejas, S. Perez and E. Pino (UPC, Catalunya)
11.55
12.20
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component-based Systems
Nazareno Aguirre (Universidad Nacional de Rio Cuarto, Argentina) and Tom Maibaum (King's College London, UK)
12.20
12.30
Session Discussion
12.30
14.30
Lunch
14.30
15.30
Invited Talk
tba
Constance L. Heitmeyer (Naval Research Laboratory, USA)
15.30
16.00
Coffee

Predictability and Replacement
16.00
16.25
Formally Characterizing Device Ecology Workflows with Predictable Observable Effects
Seng W. Loke (Monash University, Australia)
16.25
16.50
Generating Snapshots of a component setting
Sotiris Moschoyiannis (University of Surrey, UK)
16.50
17.00
Session Discussion

Optimization, Performance and Integration
17.00
17.25
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach
Edgar G. Daylight, Bart Demoen and Francky Catthoor (DESICS Division, IMEC and K.U. Leuven, Belgium)
17.25
17.40
Model based development and integration of embedded components: an experience report from an industry project
Martin Grosse-Rhode and Stefan Mann (Fraunhofer ISST, Germany)
17.40
17.55
Performance Evaluation of Component Based Software Architectures
Viktoria Firus and Steffen Becker (University of Oldenburg, Germany)
17.55
18.10
Session Discussion
18.10
18.30
Final Discussion and Closing
Evening
Post-Conference Workshops Dinner