3. SERENE 2011: Geneva, Switzerland

Invited Talk

Formal Modelling and Verification

Architecting Resilient Systems

Fault Tolerance

Requirements Engineering and Product Lines

Invited Talk

Monitoring and Self-adaptation

Security and Intrusion Avoidance