Stop the war!
Остановите войну!
for scientists:
default search action
16th EDCC 2020: Munich, Germany
- 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020. IEEE 2020, ISBN 978-1-7281-8936-9
Distinguished Papers
- Ilya Tuzov, David de Andrés, Juan Carlos Ruiz:
Improving Robustness-Aware Design Space Exploration for FPGA-Based Systems. 1-8 - Mojtaba Eslahi-Kelorazi, Long Hoang Le, Fernando Pedone:
Developing Complex Data Structures over Partitioned State Machine Replication. 9-16 - Shihao Song, Anup Das, Nagarajan Kandasamy:
Improving Dependability of Neuromorphic Computing With Non-Volatile Memory. 17-24
Fault-Tolerant Computing
- Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos:
FaultSee: Reproducible Fault Injection in Distributed Systems. 25-32 - Lauri Vihman, Maarja Kruusmaa, Jaan Raik:
Data-Driven Cross-Layer Fault Management Architecture for Sensor Networks. 33-40 - Xiaoming Du, Cong Li, Shen Zhou, Mao Ye, Jing Li:
Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data. 41-46
Safety-Critical Systems
- Jan Reich, Mario Trapp:
SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles. 47-50 - Mallory Suzanne Graydon:
Towards Efficacy Hypotheses for Safety Cases. 51-58 - John C. Mace, Ricardo Melo Czekster, Charles Morisset, Carsten Maple:
Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations. 59-64 - Camille Fayollas, Hugues Bonnin, Olivier Flébus:
SafeOps: A Concept of Continuous Safety. 65-68
Distributed Systems
- Christian Herrera:
Stateful Priorities for Precise Restriction of System Behavior. 69-76 - Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal:
Atomic Appends in Asynchronous Byzantine Distributed Ledgers. 77-84 - Matheus Torquato, Charles F. Gonçalves, Marco Vieira:
An Availability Model for DSS and OLTP Applications in Virtualized Environments. 85-92 - Christopher Temple:
Developing Complex Safety Critical Systems in Complex Supply Chains. 93-96
Security Engineering
- José D'Abruzzo Pereira, Marco Vieira:
On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects. 97-102 - Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci:
CINNAMON: A Module for AUTOSAR Secure Onboard Communication. 103-110 - Ibéria Medeiros, Nuno Neves:
Effect of Coding Styles in Detection of Web Application Vulnerabilities. 111-118
Modelling Dependable Systems
- Shahid Khan, Joost-Pieter Katoen, Marc Bouissou:
Explaining Boolean-Logic Driven Markov Processes using GSPNs. 119-126 - Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi:
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. 127-134 - Lucas Bressan, André Luíz de Oliveira, Fernanda Campos:
An Approach to Support Variant Management on Safety Analysis using CHESS Error Models. 135-142 - Christian Herrera, Nancy Cruz, Ricardo Quintero:
CrEStO: A Tool for Synthesizing Stateful Priorities. 143-146
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.