PRELIMINARY PROGRAM
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, www.brasseriedeshallesdelile.ch
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 |