Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. SERENE 2014: Budapest, Hungary
- István Majzik
, Marco Vieira:
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8785, Springer 2014, ISBN 978-3-319-12240-3
Invited Talk
- Vincenzo De Florio, Hong Sun, Chris Blondia:
Community Resilience Engineering: Reflections and Preliminary Contributions. 1-8
Design of Resilient Systems
- Ivano Malavolta, Henry Muccini, V. Smrithi Rekha:
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles. 9-23 - Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione:
The Role of Parts in the System Behaviour. 24-39 - Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett:
Automatic Generation of Description Files for Highly Available Services. 40-54
Analysis of Resilience
- Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov:
Modelling Resilience of Data Processing Capabilities of CPS. 55-70 - Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner:
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. 71-85 - Cristiana Areias, Nuno Antunes, João Carlos Cunha:
On Applying FMEA to SOAs: A Proposal and Open Challenges. 86-100
Verification and Validation
- Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama:
Verification and Validation of a Pressure Control Unit for Hydraulic Systems. 101-115 - Richard Lipka, Marek Paska, Tomas Potuzak:
Simulation Testing and Model Checking: A Case Study Comparing these Approaches. 116-130 - Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky:
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. 131-138
Monitoring
- David P. Y. Lawrence, Didier Buchs, Armin Wellig:
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. 139-153 - Arda Ahmet Ünsal, Görkem Sazara, Baris Aktemur, Hasan Sözer:
Adaptive Domain-Specific Service Monitoring. 154-168 - Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis:
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. 169-183
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
