3. SERENE 2011: Geneva, Switzerland

Elena Troubitsyna (Ed.): Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6968 Springer 2011, ISBN 978-3-642-24123-9

Invited Talk

Peter Popov:
Preliminary Interdependency Analysis (PIA): Method and Tool Support. 1-8

Formal Modelling and Verification

Alexei Iliasov:
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. 9-23
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Quantitative Verification of System Safety in Event-B. 24-39
Didier Buchs, Steve Hostettler, Alexis Marechal:
Experience-Based Model Refinement. 40-47

Architecting Resilient Systems

Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
Architecting Resilient Computing Systems: Overall Approach and Open Issues. 48-62
Ivano Malavolta, Henry Muccini, V. Smrithi Rekha:
Supporting Architectural Design Decisions Evolution through Model Driven Engineering. 63-77

Fault Tolerance

Paolo Masci, Nicola Nostro, Felicita Di Giandomenico:
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. 78-92
Anthony Savidis:
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages. 93-99

Requirements Engineering and Product Lines

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione:
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. 100-105
Sadaf Mustafiz, Jörg Kienzle:
Idealized Fault-Tolerant Components in Requirements Engineering. 106-112

Invited Talk

Ivica Crnkovic:
Predictability and Evolution in Resilient Systems. 113-114

Monitoring and Self-adaptation

Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo:
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. 115-129
Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta:
Towards a Model-Driven Infrastructure for Runtime Monitoring. 130-144

Security and Intrusion Avoidance

Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander Romanovsky:
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. 145-155
Miles McQueen, Annarita Giani:
'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State. 156-163

Last update Fri May 25 08:36:42 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page