Abstract is missing.
- Community Resilience Engineering: Reflections and Preliminary ContributionsVincenzo De Florio, Hong Sun, Chris Blondia. 1-8 [doi]
- Enhancing Architecture Design Decisions Evolution with Group Decision Making PrinciplesIvano Malavolta, Henry Muccini, V. Smrithi Rekha. 9-23 [doi]
- The Role of Parts in the System BehaviourDavide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione. 24-39 [doi]
- Automatic Generation of Description Files for Highly Available ServicesMaxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett. 40-54 [doi]
- Modelling Resilience of Data Processing Capabilities of CPSLinas Laibinis, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov. 55-70 [doi]
- Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design StagesAndrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner. 71-85 [doi]
- On Applying FMEA to SOAs: A Proposal and Open ChallengesCristiana Areias, Nuno Antunes, João Carlos Cunha. 86-100 [doi]
- Verification and Validation of a Pressure Control Unit for Hydraulic SystemsPontus Boström, Mikko Heikkilä, Mikko Huova, Marina A. Waldén, Matti Linjama. 101-115 [doi]
- Simulation Testing and Model Checking: A Case Study Comparing these ApproachesRichard Lipka, Marek Paska, Tomas Potuzak. 116-130 [doi]
- Advanced Modelling, Simulation and Verification for Future Traffic Regulation OptimisationAlexei Iliasov, Roberto Palacin, Alexander Romanovsky. 131-138 [doi]
- Using Instrumentation for Quality Assessment of Resilient Software in Embedded SystemsDavid Lawrence, Didier Buchs, Armin Wellig. 139-153 [doi]
- Adaptive Domain-Specific Service MonitoringArda Ahmet Ünsal, Görkem Sazara, Baris Aktemur, Hasan Sözer. 154-168 [doi]
- Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven SystemsGábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis. 169-183 [doi]