4. SERENE 2012: Pisa, Italy

Paris Avgeriou (Ed.): Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7527 Springer 2012, ISBN 978-3-642-33175-6

Fault Tolerance and Exception Handling

Yannis Lilis, Anthony Savidis:
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming. 1-15
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. 16-31
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris:
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. 32-46

Safety Modeling

Yuliya Prokhorova, Elena Troubitsyna:
Linking Modelling in Event-B with Safety Cases. 47-62
Brahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez:
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain. 63-75

Supporting Evolution

Yasir Imtiaz Khan, Matteo Risoldi:
Language Enrichment for Resilient MDE. 76-90
Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione:
Assume-Guarantee Testing of Evolving Software Product Line Architectures. 91-105

Resilience in Service-Oriented Computing

Koray Gülcü, Hasan Sözer, Baris Aktemur:
FAS: Introducing a Service for Avoiding Faults in Composite Services. 106-120
Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk:
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. 121-133
Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries:
Monitoring Service Choreographies from Multiple Sources. 134-149

Applying Formal Methods in Case Studies

Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford:
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. 150-164
Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo:
Model-Based Evaluation of the Availability of a CBTC System. 165-179

Last update Sat May 25 19:03:31 2013 CET by the DBLP Team —

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