researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1994
1996
1999
2002
2005
2006
2008
2010
2012
2014
2015
2016
2017
2018
2019
2020
2021
2022
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
Pascal
analysis
architecture
case study
control systems
coverage
data-flow
design
e-science
logic
meta-model
modeling
protocol
reliability
rule-based
security
systematic-approach
testing
Filter by Author
[+]
OR
AND
NOT
1
Andrea Bondavalli
András Pataricza
Behrooz Sangchoolie
David de Andrés
Domenico Cotroneo
Felicita Di Giandomenico
Hans-Peter Schwefel
Henrique Madeira
Jean-Charles Fabre
Johan Karlsson
João Gabriel Silva
Juan Carlos Ruiz
Leonardo Montecchi
Marcello Cinque
Marco Vieira
Michel Cukier
Michel Raynal
Pedro J. Gil
Raul Barbosa
Rüdiger Kapitza
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
approach
computing
data
dependability
dependable
detection
distributed
dynamic
evaluation
fault
injection
model
networks
safety
software
system
systems
time
using
EDCC (edcc)
Editions
Publications
Viewing Publication 1 - 100 from 542
2022
Automatic Integration of BFT State-Machine Replication into IoT Systems
Christian Berger 0006
,
Hans P. Reiser
,
Franz J. Hauck
,
Florian Held
,
Jörg Domaschka
.
edcc 2022
:
1-8
[doi]
18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, 2022
IEEE,
2022.
[doi]
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
Joseba Andoni Agirre
,
Ahmet Yazici
,
Katia Di Blasio
,
Jose Luis de la Vara
,
Behrooz Sangchoolie
,
Ugur Yayan
,
Raul Barbosa
,
Leire Etxeberria
,
Massimo Nazaria
,
Mustafa Karaca
.
edcc 2022
:
41-48
[doi]
Towards Dependable Autonomous Systems Based on Bayesian Deep Learning Components
Fabio Arnez
,
Huáscar Espinoza
,
Ansgar Radermacher
,
François Terrier
.
edcc 2022
:
65-72
[doi]
Trust Assessment Model Based on a Hierarchical Decision-Making Process in IoT Sensor Networks
Nesrine Berjab
,
Hieu Hanh Le
,
Haruo Yokota
.
edcc 2022
:
33-40
[doi]
ThingsDND: IoT Device Failure Detection and Diagnosis for Multi-User Smart Homes
Alireza Borhani
,
Hamid R. Zarandi
.
edcc 2022
:
113-116
[doi]
On the Applicability of Machine Learning-based Online Failure Prediction for Modern Complex Systems
João R. Campos
,
Ernesto Costa
,
Marco Vieira
.
edcc 2022
:
49-56
[doi]
RPUGuard: Real-Time Processing Unit Virtualization for Mixed-Criticality Applications
Marcello Cinque
,
Gianmaria De Tommasi
,
Sara Dubbioso
,
Daniele Ottaviano
.
edcc 2022
:
97-104
[doi]
A Multi-variant Execution Environment for Securing In-memory KVSes
Shuhei Enomoto
,
Hiroshi Yamada
.
edcc 2022
:
9-16
[doi]
C2B2: a Cloud-native Chaos Benchmarking suite for the Hyperledger Fabric Blockchain
Ayham Kassab
,
Etienne Rivière
,
Guillaume Rosinosky
,
Ramin Sadre
,
Viet-Hoang Tran
.
edcc 2022
:
89-96
[doi]
Extending a security ontology framework to model CAPEC attack paths and TAL adversary profiles
Francesco Mariotti
,
Matteo Tavanti
,
Leonardo Montecchi
,
Paolo Lollini
.
edcc 2022
:
25-32
[doi]
Using Operational Design Domain in Hazard Identification for Automated Systems
Guillaume Ollier
,
Diana Razafindrabe
,
Morayo Adedjouma
,
Simos Gerasimou
,
Chokri Mraidha
.
edcc 2022
:
109-112
[doi]
DeepHEC: Hybrid Error Coding using Deep Learning
Pablo Gil Pereira
,
Andreas Schmidt 0003
,
Thorsten Herfet
.
edcc 2022
:
17-24
[doi]
Risk-aware Real-time Object Detection
Misael Alpizar Santana
,
Radu Calinescu
,
Colin Paterson
.
edcc 2022
:
105-108
[doi]
DELFASE: A Deep Learning Method for Fault Space Exploration
Ali Sedaghatbaf
,
Mehrdad Moradi
,
Jaafar Almasizadeh
,
Behrooz Sangchoolie
,
Bert Van Acker
,
Joachim Denil
.
edcc 2022
:
57-64
[doi]
DECO: Optimizing Software-based Soft-Error Detector Configurations
Robin Thunig
,
Michael Lenz
,
Peter Ulbrich
,
Horst Schirmeier
.
edcc 2022
:
73-80
[doi]
Reversing FPGA architectures for speeding up fault injection: does it pay?
Ilya Tuzov
,
David de Andrés
,
Juan Carlos Ruiz
.
edcc 2022
:
81-88
[doi]
2021
Detectors of Smart Grid Integrity Attacks: an Experimental Assessment
Simona Bernardi 0001
,
Raúl Javierre
,
José Merseguer
,
José Ignacio Requeno
.
edcc 2021
:
75-82
[doi]
Service-Oriented Reconfiguration in Systems of Systems Assured by Dynamic Modular Safety Cases
Carsten Thomas 0003
,
Elham Mirzaei
,
Björn Wudka
,
Lennart Siefke
,
Volker Sommer
.
edcc 2021
:
12-29
[doi]
17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
IEEE,
2021.
[doi]
Systematic Modeling Approach for Environmental Perception Limitations in Automated Driving
Ahmad Adee
,
Roman Gansch
,
Peter Liggesmeyer
.
edcc 2021
:
103-110
[doi]
Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings
Rasmus Adler
,
Amel Bennaceur
,
Simon Burton
,
Amleto Di Salle
,
Nicola Nostro
,
Rasmus Løvenstein Olsen
,
Selma Saidi
,
Philipp Schleiss
,
Daniel Schneider 0001
,
Hans-Peter Schwefel
, editors,
Volume 1462 of
Communications in Computer and Information Science
, Springer,
2021.
[doi]
Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision
Matthew Banton
,
Juliana Bowles
,
Agastya Silvina
,
Thais Webber
.
edcc 2021
:
144-151
[doi]
The Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations
Szilárd Bozóki
,
Imre Kocsis
,
András Pataricza
,
Péter Suskovics
,
Benedek Kovács
.
edcc 2021
:
109-119
[doi]
Preventing timing failures in mixed-criticality clouds with dynamic real-time containers
Marcello Cinque
,
Raffaele Della Corte
,
Roberto Ruggiero
.
edcc 2021
:
17-24
[doi]
A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices
Michael Conard
,
Ali Ebnenasir
.
edcc 2021
:
127-134
[doi]
BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes
Ricardo M. Czekster
,
Charles Morisset
.
edcc 2021
:
83-86
[doi]
Why is it so hard to predict computer systems failures?
Jomar Domingos
,
Raul Barbosa
,
Henrique Madeira
.
edcc 2021
:
41-44
[doi]
EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization
Farid Edrisi
,
Diego Perez-Palacin
,
Mauro Caporuscio
,
Margrethe Hallberg
,
Anton Johannesson
,
Claudia Kopf
,
Johanna Sigvardsson
.
edcc 2021
:
120-131
[doi]
ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases
David Ferreira
,
João Paulo 0001
,
Miguel Matos
.
edcc 2021
:
67-74
[doi]
Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment
Marta Grobelna
.
edcc 2021
:
30-38
[doi]
Dynamic Risk Management for Safely Automating Connected Driving Maneuvers
Marta Grobelna
,
Joao-Vitor Zacchi
,
Philipp Schleiß
,
Simon Burton
.
edcc 2021
:
9-16
[doi]
Power Loss Reduction in Low-Voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters
Yonghao Gui
,
Hans-Peter Schwefel
,
Jan Dimon Bendtsen
,
Jakob Stoustrup
.
edcc 2021
:
65-72
[doi]
Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous Behaviour
Michael Kläs
,
Rasmus Adler
,
Ioannis Sorokos
,
Lisa Jöckel
,
Jan Reich
.
edcc 2021
:
95-102
[doi]
Stream-based State-Machine Replication
Laura Lawniczak
,
Tobias Distler
.
edcc 2021
:
119-126
[doi]
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems
Daniel Loche
,
Aléxis Génèrès
,
Michaël Lauer
,
Jean-Charles Fabre
.
edcc 2021
:
53-60
[doi]
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems
Oskar Lundström
,
Michel Raynal
,
Elad Michael Schiller
.
edcc 2021
:
111-118
[doi]
SUFI: A Simulation-based Fault Injection Tool for Safety Evaluation of Advanced Driver Assistance Systems Modelled in SUMO
Mehdi Maleki
,
Behrooz Sangchoolie
.
edcc 2021
:
45-52
[doi]
An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code
Nadia Patricia Da Silva Medeiros
,
Naghmeh Ramezani Ivaki
,
Pedro Costa 0002
,
Marco Vieira
.
edcc 2021
:
87-94
[doi]
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis
Jacopo Parri
,
Samuele Sampietro
,
Enrico Vicario
.
edcc 2021
:
25-32
[doi]
Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study
José D'Abruzzo Pereira
,
João R. Campos
,
Marco Vieira
.
edcc 2021
:
1-8
[doi]
Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles
Jan Reich
,
Marc Wellstein
,
Ioannis Sorokos
,
Fabian Oboril
,
Kay-Ulrich Scholl
.
edcc 2021
:
3-11
[doi]
Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud Practical Experience Report
Andreas Schmidt
,
Jan Reich
,
Ioannis Sorokos
.
edcc 2021
:
61-66
[doi]
An ICT System to Assist Earth Fault Localization
Christine Schäler
,
Serge Foko Fotso
,
Domagoj Drenjanac
,
Juan Felipe Chaves
,
Markus Duchon
.
edcc 2021
:
51-64
[doi]
Increased Renewable Hosting Capacity of a Real Low-Voltage Grid Based on Continuous Measurements - Results from an Actual PV Connection Request
Christine Schäler
,
Klaus Strasser
,
Robert Damböck
,
Hans-Peter Schwefel
.
edcc 2021
:
90-98
[doi]
Enabling a Zero Trust Architecture in Smart Grids Through a Digital Twin
Giovanni Paolo Sellitto
,
Helder Aranha
,
Massimiliano Masi
,
Tanja Pavleska
.
edcc 2021
:
73-81
[doi]
Field Test Validation of Low Voltage Grid Applications in a Danish Setting
Kamal Shahid
,
Rasmus Løvenstein Olsen
,
Rolf Kirk
.
edcc 2021
:
82-89
[doi]
Automated Generation of Configurable Cloud-Native Chaos Testbeds
Jacopo Soldani
,
Antonio Brogi
.
edcc 2021
:
101-108
[doi]
Tensor-based reliability analysis of complex static fault trees: Regular paper
Dániel Szekeres
,
Kristóf Marussy
,
István Majzik
.
edcc 2021
:
33-40
[doi]
Assisting Developers in Preventing Permissions Related Security Issues in Android Applications
Mohammed El Amin Tebib
,
Pascal André
,
Oum-El-Kheir Aktouf
,
Mariem Graa
.
edcc 2021
:
132-143
[doi]
Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management
João Tomás
,
André Bento
,
João Soares
,
Luís Ribeiro
,
António Ferreira
,
Rita Carreira
,
Filipe Araújo
,
Raul Barbosa
.
edcc 2021
:
39-46
[doi]
2020
An Availability Model for DSS and OLTP Applications in Virtualized Environments
Matheus Torquato 0001
,
Charles F. Gonçalves
,
Marco Vieira
.
edcc 2020
:
85-92
[doi]
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
Simona Bernardi 0001
,
Valeria Vittorini
,
Francesco Flammini
,
Roberto Nardone
,
Stefano Marrone 0002
,
Rasmus Adler
,
Daniel Schneider 0001
,
Philipp Schleiß
,
Nicola Nostro
,
Rasmus Løvenstein Olsen
,
Amleto Di Salle
,
Paolo Masci
, editors,
Volume 1279 of
Communications in Computer and Information Science
, Springer,
2020.
[doi]
Explaining Boolean-Logic Driven Markov Processes using GSPNs
Shahid Khan 0002
,
Joost-Pieter Katoen
,
Marc Bouissou
.
edcc 2020
:
119-126
[doi]
16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020
IEEE,
2020.
[doi]
FaultSee: Reproducible Fault Injection in Distributed Systems
Miguel Amaral
,
Miguel L. Pardal
,
Hugues Mercier
,
Miguel Matos
.
edcc 2020
:
25-32
[doi]
CINNAMON: A Module for AUTOSAR Secure Onboard Communication
Giampaolo Bella
,
Pietro Biondi
,
Gianpiero Costantino
,
Ilaria Matteucci
.
edcc 2020
:
103-110
[doi]
Concepts and Risk Analysis for a Cooperative and Automated Highway Platooning System
Carl Bergenhem
,
Mario Majdandzic
,
Stig Ursing
.
edcc 2020
:
200-213
[doi]
Safe Recognition A.I. of a Railway Signal by On-Board Camera
Jean François Boulineau
.
edcc 2020
:
5-19
[doi]
Application of Extreme Value Analysis for Characterizing the Execution Time of Resilience Supporting Mechanisms in Kubernetes
Szilárd Bozóki
,
Jeno Szalontai
,
Dániel Petho
,
Imre Kocsis
,
András Pataricza
,
Péter Suskovics
,
Benedek Kovács
.
edcc 2020
:
185-199
[doi]
An Approach to Support Variant Management on Safety Analysis using CHESS Error Models
Lucas Paiva Bressan
,
André Luíz de Oliveira
,
Fernanda Campos
.
edcc 2020
:
135-142
[doi]
Development of Intelligent Obstacle Detection System on Railway Tracks for Yard Locomotives Using CNN
Andrey V. Chernov
,
Maria Butakova
,
Alexander Guda
,
Petr Shevchuk
.
edcc 2020
:
33-43
[doi]
Atomic Appends in Asynchronous Byzantine Distributed Ledgers
Vicent Cholvi
,
Antonio Fernández Anta
,
Chryssis Georgiou
,
Nicolas Nicolaou
,
Michel Raynal
.
edcc 2020
:
77-84
[doi]
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications
Novarun Deb
,
Mandira Roy
,
Nabendu Chaki
,
Agostino Cortesi
.
edcc 2020
:
127-134
[doi]
Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data
Xiaoming Du
,
Cong Li
,
Shen Zhou
,
Mao Ye
,
Jing Li
.
edcc 2020
:
41-46
[doi]
Developing Complex Data Structures over Partitioned State Machine Replication
Mojtaba Eslahi-Kelorazi
,
Long Hoang Le
,
Fernando Pedone
.
edcc 2020
:
9-16
[doi]
SafeOps: A Concept of Continuous Safety
Camille Fayollas
,
Hugues Bonnin
,
Olivier Flébus
.
edcc 2020
:
65-68
[doi]
Anomaly Detection for Vision-Based Railway Inspection
Riccardo Gasparini
,
Stefano Pini
,
Guido Borghi
,
Giuseppe Scaglione
,
Simone Calderara
,
Eugenio Fedeli
,
Rita Cucchiara
.
edcc 2020
:
56-67
[doi]
Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach
Anatoliy Gorbenko
,
Alexander B. Romanovsky
,
Olga Tarasyuk
.
edcc 2020
:
168-184
[doi]
Towards Efficacy Hypotheses for Safety Cases
Mallory Suzanne Graydon
.
edcc 2020
:
51-58
[doi]
Stateful Priorities for Precise Restriction of System Behavior
Christian Herrera
.
edcc 2020
:
69-76
[doi]
CrEStO: A Tool for Synthesizing Stateful Priorities
Christian Herrera
,
Nancy Cruz
,
Ricardo Quintero
.
edcc 2020
:
143-146
[doi]
Enforcing Geofences for Managing Automated Transportation Risks in Production Sites
Muhammad Atif Javed
,
Faiz Ul Muram
,
Anas Fattouh
,
Sasikumar Punnekkat
.
edcc 2020
:
113-126
[doi]
Deep Reinforcement Learning for Solving Train Unit Shunting Problem with Interval Timing
Wan-Jui Lee
,
Helia Jamshidi
,
Diederik M. Roijers
.
edcc 2020
:
99-110
[doi]
Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations
John C. Mace
,
Ricardo Melo Czekster
,
Charles Morisset
,
Carsten Maple
.
edcc 2020
:
59-64
[doi]
UIC Code Recognition Using Computer Vision and LSTM Networks
Roberto Marmo
.
edcc 2020
:
90-98
[doi]
Audio Events Detection in Noisy Embedded Railway Environments
Tony Marteau
,
Sitou Afanou
,
David Sodoyer
,
Sébastien Ambellouis
,
Fouzia Boukour
.
edcc 2020
:
20-32
[doi]
Effect of Coding Styles in Detection of Web Application Vulnerabilities
Ibéria Medeiros
,
Nuno Neves 0001
.
edcc 2020
:
111-118
[doi]
Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges
Elham Mirzaei
,
Carsten Thomas 0003
,
Mirko Conrad
.
edcc 2020
:
127-138
[doi]
An Eclipse-Based Editor for SAN Templates
Leonardo Montecchi
,
Paolo Lollini
,
Federico Moncini
,
Kenneth Keefe
.
edcc 2020
:
159-167
[doi]
Rolling Stocks: A Machine Learning Predictive Maintenance Architecture
Roberto Nappi
,
Valerio Striano
,
Gianluca Cutrera
,
Antonio Vigliotti
,
Giuseppe Franzè
.
edcc 2020
:
68-77
[doi]
Analysis of Railway Track Irregularities with Convolutional Autoencoders and Clustering Algorithms
Julia Niebling
,
Benjamin Baasch
,
Anna Kruspe
.
edcc 2020
:
78-89
[doi]
Drafting a Cybersecurity Framework Profile for Smart Grids in EU: A Goal-Based Methodology
Tanja Pavleska
,
Helder Aranha
,
Massimiliano Masi
,
Giovanni Paolo Sellitto
.
edcc 2020
:
143-155
[doi]
On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects
José D'Abruzzo Pereira
,
Marco Vieira
.
edcc 2020
:
97-102
[doi]
SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles
Jan Reich
,
Mario Trapp
.
edcc 2020
:
47-50
[doi]
Artificial Intelligence for Obstacle Detection in Railways: Project SMART and Beyond
Danijela Ristic-Durrant
,
Muhammad Abdul Haseeb
,
Marten Franke
,
Milan Banic
,
Milos Simonovic
,
Dusan Stamenkovic
.
edcc 2020
:
44-55
[doi]
Improving Dependability of Neuromorphic Computing With Non-Volatile Memory
Shihao Song
,
Anup Das 0001
,
Nagarajan Kandasamy
.
edcc 2020
:
17-24
[doi]
Developing Complex Safety Critical Systems in Complex Supply Chains
Christopher Temple
.
edcc 2020
:
93-96
[doi]
Improving Robustness-Aware Design Space Exploration for FPGA-Based Systems
Ilya Tuzov
,
David de Andrés
,
Juan Carlos Ruiz
.
edcc 2020
:
1-8
[doi]
Data-Driven Cross-Layer Fault Management Architecture for Sensor Networks
Lauri Vihman
,
Maarja Kruusmaa
,
Jaan Raik
.
edcc 2020
:
33-40
[doi]
2019
An Experimental Study of Software Aging and Rejuvenation in Dockerd
Matheus Torquato 0002
,
Marco Vieira
.
edcc 2019
:
1-6
[doi]
A Hierarchical Model for Virtualized Data Center Availability Evaluation
Matheus Torquato 0002
,
Erico A. C. Guedes
,
Paulo Maciel
,
Marco Vieira
.
edcc 2019
:
103-110
[doi]
15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
IEEE,
2019.
[doi]
Enabling Security-by-Design in Smart Grids: An Architecture-Based Approach
Helder Aranha
,
Massimiliano Masi
,
Tanja Pavleska
,
Giovanni Paolo Sellitto
.
edcc 2019
:
177-179
[doi]
Towards Quantification of Assurance for Learning-Enabled Components
Erfan Asaadi
,
Ewen Denney
,
Ganesh Pai
.
edcc 2019
:
55-62
[doi]
Facing Cyber-Physical Security Threats by PSIM-SIEM Integration
Flavio Frattini
,
Ugo Giordano
,
Vincenzo Conti
.
edcc 2019
:
83-88
[doi]
A Fast and Efficient Fault Tree Analysis Using Approximate Computing
Salar Hashemi
,
Amir M. Hajisadeghi
,
Hamid R. Zarandi
,
Saadat Pour-Mozafari
.
edcc 2019
:
39-46
[doi]
Protecting Secrets of Persistent Systems with Volatility
Vasily A. Sartakov
,
Rüdiger Kapitza
.
edcc 2019
:
89-96
[doi]
Assessment of a Method for Detecting Process Anomalies Using Digital-Twinning
Gayathri Sugumar
,
Aditya Mathur
.
edcc 2019
:
119-126
[doi]
Robustness-Aware Design Space Exploration Through Iterative Refinement of D-Optimal Designs
Ilya Tuzov
,
David de Andrés
,
Juan Carlos Ruiz
.
edcc 2019
:
23-30
[doi]
Sign in
or
sign up
to see more results.