Thursday, September 29th (main room CUI)


SERENE 2011 Workshop
8:45-9:00 Opening Session. Elena Troubitsyna, Didier Buchs
9:00-10:00 Invited TalkPeter Popov. Preliminary Interdependency Analysis (PIA): Method and Tool Support
10:00-10:30 Coffee
10:30-12:00 Formal Modelling and VerificationAlexei Iliasov. Use case scenarios as verification conditions: Event-B/Flow approach

Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis. Quantitative Verification of System Safety in Event-B

Didier Buchs, Steve Hostettler and Alexis Marechal. Experience-based model refinement


12:00-13:30 Lunch
13:30-14:30 Architecting Resilient Systems
Miruna Stoicescu, Jean-Charles Fabre and Matthieu Roy. Architecting Resilient Computing Systems: Overall Approach and Open Issues

Ivano Malavolta, Henry Muccini and Smrithi Rekha. Supporting Architectural Design Decisions Evolution through Model Driven Engineering

14:30-15:30 Fault Tolerance

Paolo Masci, Nicola Nostro and Felicita Di Giandomenico. On enabling dependability assurance in heterogeneous networks through automated model-based analysis

Anthony Savidis. Supporting Cross-Language Exception Handling when Extending Applications with Embedded Languages

15:30-16:00 Coffee
16:00-17:00 Requirements Engineering and Product Lines 

Maurice H. Ter Beek, Henry Muccini and Patrizio Pelliccione. Guaranteeing Correct Evolution of Software Product Lines: Setting up the Problem

Sadaf Mustafiz and Jörg Kienzle. Idealized Fault-Tolerant Components in Requirements Engineering

19h30 Conference Dinner: Brasserie des Halles de l’ìle,


Friday, September 30th  (main room CUI)

SERENE 2011 Workshop
9:00-10:00 Invited TalkIvica Crnkovic. Predictability and Evolution in Resilient Systems
10:00-10:30 Coffee
10:30-11:30 Monitoring and Self-adaptationSara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini and Giovanna Di Marzo Serugendo. Self-organising Pervasive Ecosystems: A Crowd Evacuation Example

Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco and Antonino Sabetta. Towards a model-driven infrastructure for runtime monitoring

11:30-12:30 Security and Intrusion AvoidanceAnatoliy Gorbenko, Vyacheslav Kharchenko, Alexander Romanovsky and Olga Tarasyuk. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions

Miles Mcqueen and Annarita Giani. Known Secure Sensor Measurements for Critical Infrastructure Systems: Detecting Falsification of System State

12:30-13:30 Lunch