17th European Dependable Computing Conference
13-16 September 2021
Munich, Germany
Accepted papers
Workshop paper announcements at the respective workshop pages.Fast abstract and student papers available on arxiv.org.
|
Authors |
Title |
|
Andreas Schmidt, Jan Reich and Ioannis Sorokos |
Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud |
|
Ahmad Adee, Roman Gansch and Peter Liggesmeyer |
Systematic Modeling Approach for Environmental Perception Limitations in Automated Driving |
|
José D'Abruzzo Pereira, João R Campos and Marco Vieira |
Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study |
|
Jacopo Parri, Samuele Sampietro and Enrico Vicario |
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis |
|
Laura Lawniczak and Tobias Distler |
Stream-based State-Machine Replication |
|
Michael Kläs, Rasmus Adler, Ioannis Sorokos, Lisa Joeckel and Jan Reich |
Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous Behaviour |
|
Daniel Loche, Alexis Generes, Michaël Lauer and Jean-Charles Fabre |
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems |
|
Mehdi Maleki and Behrooz Sangchoolie |
SUFI: A Simulation-based Fault Injection Tool for Safety Evaluation of Advanced Driver Assistance Systems Modelled in SUMO |
|
Marta Grobelna, Joao-Vitor Zacchi, Philipp Schleiß and Simon Burton |
Dynamic Risk Management for Safely Automating Connected Driving Maneuvers |
|
David Ferreira, João Paulo and Miguel Matos |
ATOCS - Automatic Configuration of Secure Databases |
|
Simona Bernardi, Raúl Javierre, José Merseguer and Jose Ignacio Requeno |
Detectors of Smart Grid Integrity Attacks: An Experimental Assessment |
|
Ricardo Czekster and Charles Morisset |
BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes (short) |
|
Jomar Domingos, Raul Barbosa and Henrique Madeira |
Why is it so hard to predict computer systems failures? (short) |
|
Oskar Lundström, Michel Raynal and Elad Michael Schiller |
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems |
|
Nádia Medeiros, Naghmeh Ivaki, Pedro Nunes Da Costa and Marco Vieira |
An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code |
|
Michael Conard and Ali Ebnenasir |
A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices |
|
Dániel Szekeres, Kristóf Marussy and Istvan Majzik |
Tensor-based reliability analysis of complex fault trees |
|
Marcello Cinque, Raffaele Della Corte and Roberto Ruggiero |
Preventing timing failures in mixed-criticality clouds with dynamic real-time containers |