16th European Dependable Computing Conference
7-10 September 2020
Munich, Germany
Accepted papers
|
Authors |
Title |
Category |
|
Xiaoming Du, Cong Li, Shen Zhou, Mao Ye and Jing Li |
Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data |
PER |
|
José D'Abruzzo Pereira and Marco Vieira |
On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects |
PER |
|
Lucas Bressan, André L. de Oliveira and Fernanda Campos |
An approach to support variability management on CHESS error models |
REG |
|
Ilya Tuzov, David de Andrés and Juan Carlos Ruiz |
Improving Robustness-aware Design Space Exploration for FPGA-based Systems |
REG |
|
Camille Fayollas, Hugues Bonnin and Olivier Flebus. |
SafeOps: a concept of continuous safety |
Short |
|
Lauri Vihman, Maarja Kruusmaa and Jaan Raik |
Data-Driven Cross-Layer Fault Management Architecture for Sensor Networks |
REG |
|
Towards Efficacy Hypotheses for Safety Cases |
REG |
|
|
Miguel Amaral, Miguel Pardal, Hugues Mercier and Miguel Matos |
FaultSee: Reproducible Fault Injection in Distributed Systems |
REG |
|
Shahid Khan, Joost-Pieter Katoen and Marc Bouissou |
Explaining Boolean-logic Driven Markov Processes using GSPNs |
REG |
|
John Mace, Ricardo Melo Czekster, Charles Morisset and Carsten Maple |
Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations |
PER |
|
Giampaolo Bella, Pietro Biondi, Gianpiero Costantino and Ilaria Matteucci |
CINNAMON: A Module for AUTOSAR Secure on-board Communication |
REG |
|
Mojtaba Eslahi-Kelorazi, Long Hoang Le and Fernando Pedone |
Developing Complex Data Structures over Partitioned State Machine Replication |
REG |
|
Christian Herrera, Nancy Cruz and Ricardo Quintero |
CrEStO: A Tool for Synthesizing Stateful Priorities (Short) |
Short |
|
Shihao Song, Anup Das and Nagarajan Kandasamy |
Improving Dependability of Neuromorphic Computing With Non-Volatile Memory |
REG |
|
Vicent Cholvi, Antonio Fernandez Anta, Chryssis Georgiou, Nicolas Nicolaou and Michel Raynal |
Atomic Appends in Asynchronous Byzantine Distributed Ledgers |
REG |
|
Novarun Deb, Mandira Roy, Nabendu Chaki and Agostino Cortesi |
Generation of Safety and Liveness Compliant Automata from Goal Model Specifications |
REG |
|
Matheus Torquato, Charles F. Gonçalves and Marco Vieira |
An Availability Model for DSS and OLTP Applications hosted in Virtualized Environments |
REG |
|
Jan Reich and Mario Trapp |
SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles |
Short |
|
Effect of Coding Styles in Detection of Web Application Vulnerabilities |
REG |
|
|
Christopher Temple |
Developing Complex Safety Systems in Complex Supply Chains |
PER |
|
Christian Herrera |
Stateful Priorities for Precise Restriction of System Behavior |
REG |