Abstract is missing.
- Implementing Reusable Exception Handling Patterns with Compile-Time MetaprogrammingYannis Lilis, Anthony Savidis. 1-15 [doi]
- A Case Study in Formal Development of a Fault Tolerant Multi-robotic SystemInna Pereverzeva, Elena Troubitsyna, Linas Laibinis. 16-31 [doi]
- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall ApproachCamille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris. 32-46 [doi]
- Linking Modelling in Event-B with Safety CasesYuliya Prokhorova, Elena Troubitsyna. 47-62 [doi]
- Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway DomainBrahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez. 63-75 [doi]
- Language Enrichment for Resilient MDEYasir Imtiaz Khan, Matteo Risoldi. 76-90 [doi]
- Assume-Guarantee Testing of Evolving Software Product Line ArchitecturesMaurice H. ter Beek, Henry Muccini, Patrizio Pelliccione. 91-105 [doi]
- FAS: Introducing a Service for Avoiding Faults in Composite ServicesKoray Gülcü, Hasan Sözer, Baris Aktemur. 106-120 [doi]
- Dependability of Service-Oriented Computing: Time-Probabilistic Failure ModellingAnatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk. 121-133 [doi]
- Monitoring Service Choreographies from Multiple SourcesAmira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries. 134-149 [doi]
- Supporting Field Investigators with PVS: A Case Study in the Healthcare DomainPaolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford. 150-164 [doi]
- Model-Based Evaluation of the Availability of a CBTC SystemAlessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo. 165-179 [doi]