| 09:00 - 9:10 |
Opening and information
|
| 09:10 - 9:50 |
CONTEXT AWARENESS: Paper presentations
|
|
Michele Sama, Franco Raimondi, David Rosenblum, Wolfgang Emmerich: Algorithms for efficient symbolic detection of faults in context-aware applications
|
|
Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli: A Development Process for Context-Aware Adaptive Services
|
| 09:50 - 10:30 |
CONTEXT AWARENESS: Discussion - Moderators: Mauro Caporuscio, Antinisca Di Marco
|
| 10:30 - 11:00 |
Coffee Break
|
| 11:00 - 12:00 |
SELF-* SYSTEMS: Paper presentations
|
|
Silvia Bindelli, Elisabetta Di Nitto, Raffaela Mirandola and Roberto Tedesco: Building Autonomic Components: the SelfLets Approach
|
|
Hervè Chang, Leonardo Mariani, Mauro Pezzè: Self-healing Strategies For Component Integration Faults
|
|
Basil Becker, Holger Giese: Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems
|
| 12:00 - 12:40 |
SELF-* SYSTEMS: Discussion - Moderators: Leonardo Mariani, Onn Sheorby
|
| 12:40 - 14:00 |
Lunch
|
| 14:00 - 15:00 |
V&V: Paper presentations
|
|
Alberto Gonzalez, Éric Piel, Hans-Gerhard Gross: Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems
|
|
Domenico Bianculli, Carlo Ghezzi: SAVVY-WS at a glance: supporting verifiable dynamic service compositions
|
|
Cesare Bartolini, Antonia Bertolino, Eda Marchetti: Introducing Service-oriented Coverage Testing
|
| 15:00 - 15:40 |
V&V: Discussion - Moderators: Henry Muccini, Andrea Polini
|
| 15:40 - 16:00 |
Coffee Break
|
| 16:00 - 18:00 |
PANEL: Autonomic and run-time evolving systems in practice: the international research projects perspective.
|
|
Antonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valerie Issarny, Fotis Liotopoulos, Pierre Plaza: PLASTIC: Providing Lightweight and Adaptable Service Technology for Pervasive Information and Communication
|
|
Onn Shehory: SHADOWS: Self-Healing Complex Software Systems
|
|
Steffen Becker, Mircea Trifu, Ralf Reussner: Q-Impress: Towards Supporting Evolution of Service Oriented Architectures through Quality Impact Prediction
|
| 18:00 - 18:10 |
Wrap-up
|
