yusuke1997/dblp-id-title huggingface dataset:
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking
Improving Robustness-Aware Design Space Exploration for FPGA-Based Systems
A Dependable Trajectory Prediction Pipeline for Autonomous Driving: Integrating Computer Vision and Bayesian Networks for Highway Safety
Automatic Integration of BFT State-Machine Replication into IoT Systems
Relative Signatures for Fault Tolerance and their Implementation
Case Study Analysis of STPA as Basis for Dynamic Safety Assurance of Autonomous Systems
A Fault-Tolerant Mechanism for Simple Controllers
1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010
Anomaly Detection for Vision-Based Railway Inspection
Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip
COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities
Improving access to relevant data on faults, errors and failures in real systems
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure
Biologically Inspired Fault-Tolerant Computer Systems
Exploiting New CPU Extensions for Secure Exchange of eHealth Data at the EU Level
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
Efficient Message Logging for Uncoordinated Checkpointing Protocols
Quantitative Cross-Layer Evaluation of Transient-Fault Injection Techniques for Algorithm Comparison
Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous Behaviour
Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings
Towards an Understanding of Deep Neural Network Resiliency to Hardware Faults
Power Loss Reduction in Low-Voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters
Use and Misuse of Safety Models in Design
A Data Mining Approach to Identify Key Factors in Dependability Experiments
On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications
A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller
Protecting Secrets of Persistent Systems with Volatility
Reliability is Blind: Collective Incentives for Decentralized Computing Marketplaces Without Individual Behavior Information
Injection of faults at component interfaces and inside the component code: are they equivalent?
Availability in Industry and Science - A Business Perspective -
Measurement-Based Analysis: A Key to Experimental Research in Dependability
A Domain Specific Language to Define ODD: Textual and Graphical Notations
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
A Hierarchical Membership Protocol for Synchronous Distributed Systems
Denial-of-Service Attacks on Wi-Fi Protected Management Frames Preventing Reconnection
Comparing and Validating Measurements of Dependability Attributes
FaultSee: Reproducible Fault Injection in Distributed Systems
Reducing the Energy Footprint of a Distributed Consensus Algorithm
An Approach to Support Variant Management on Safety Analysis using CHESS Error Models
CADA: Collaborative Auditing for Distributed Aggregation
Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid
Solving Agreement Problems with Weak Ordering Oracles
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection
Towards a Metric for Reuse of Microservice Intrusion Detection Models
Application of ISO DIS 26262 in practice
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study
Onboard Sensor Systems for Automatic Train Operation
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
ThingsDND: IoT Device Failure Detection and Diagnosis for Multi-User Smart Homes
Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components
MultiPathPrivacy: Enhanced Privacy in Fault Replication
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures, DD4LCCI '10, Valencia, Spain, April 27, 2010
3D-DPS: An Efficient 3D-CAC for Reliable Data Transfer in 3D ICs
Performance Benchmarking of Smart Contracts to Assess Miner Incentives in Ethereum
Dwarf: Shortening Downtime of Reboot-Based Kernel Updates
Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper)
20th European Dependable Computing Conference, EDCC 2025, Lisboa, Portugal, April 8-11, 2025
A Performance Comparison of Algorithms for Byzantine Agreement in Distributed Systems
On the Application of Blockchain Technology in Microgrids
ESSecA Expert System for Automated Penetration Testing: The Train Control and Monitoring System Case Study
The Impact of Artificial Intelligence on Passenger Flow in Air and Rail Integrated Networks: A Systematic Literature Review
Benchmarking Large Language Models for Code Generation
The Configuration Ratio: A Model for Simulating CMOS Intra-Gate Bridge with Variable Logic Thresholds
Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings
UIC Code Recognition Using Computer Vision and LSTM Networks
Using Operational Design Domain in Hazard Identification for Automated Systems
Preserving Stabilization While Practically Bounding State Space
Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings
Emulation of Transient Software Faults for Dependability Assessment: A Case Study
AnKLe: Detecting Attacks in Large Scale Systems via Information Divergence
Dependability evaluation of complex systems with TimeNET
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering
Assessing Containerized REST Services Performance in the Presence of Operator Faults
A Proactive Q-Learning Approach for Autoscaling Heterogeneous Cloud Servers
Considering Workload Input Variations in Error Coverage Estimation
Artificial Intelligence for Obstacle Detection in Railways: Project SMART and Beyond
Automatically Finding and Patching Bad Error Handling
Use of formal methods for building qualified code generator for safer automotive systems
Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings
Securing an Application Layer Gateway: An Industrial Case Study
A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators
Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data
ChainGuard: Verified Data Intake for a Track & Trace Blockchain
Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid
Towards a Novel 8-Bit Floating-Point Format to Increase Robustness in Convolutional Neural Networks
Requirement traceability in safety critical systems
Coverage Metrics and Detection of Injection Vulnerabilities: An Experimental Study
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models
Novel Approaches in Dependable Computing
Reliable and Secure Operation of Smart Cards
Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time
On the Yield of VLSI Processors with on-chip CPU Cache
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision
Increased Renewable Hosting Capacity of a Real Low-Voltage Grid Based on Continuous Measurements - Results from an Actual PV Connection Request
AID4TRAIN: Artificial Intelligence-Based Diagnostics for TRAins and INdustry 4.0
An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems
Software Diversity as a Measure for Reducing Development Risk
Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
Data Stream Clustering for Online Anomaly Detection in Cloud Applications
Communication Integrity in Networks for Critical Control Systems
On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications
Binary-Level Fault Injection for AUTOSAR Systems (Short Paper)
Mining Invariants from SaaS Application Logs (Practical Experience Report)
A Layered Model for Structuring Automotive Safety Arguments (Short Paper)
An Architectural Approach to Fault Treatment in Critical Infrastructures
Tree scheduling versus sequential scheduling
Towards Log-driven Testing through Transformers: A Preliminary Study
Development of Intelligent Obstacle Detection System on Railway Tracks for Yard Locomotives Using CNN
Dependable Computing and its Industrial Use
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System
On Stratified Sampling for High Coverage Estimations
Toward a Fault-Tolerance Framework for COTS Many-Core Systems
SOTIF-Analysis Using Fuzzy Cause Trees
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
Developing Complex Safety Critical Systems in Complex Supply Chains
D2HT: The Best of Both Worlds, Integrating RPS and DHT
Analysis of Adaptive Fault Tolerance for Resilient Computing
Doing more with less? A Study on Models for Intrusion Detection in Microservices
Increasing the Dependability of VLSI Systems through Early Detection of Fugacious Faults
Error Diagnosis of Cloud Application Operation Using Bayesian Networks and Online Optimisation
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
Online Monitoring of Software System Reliability
A Case Study in Statistical Testing of Reusable Concurrent Objects
Local-First Smart Home Applications with HubOS
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems
Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems
Synthetic Data Generation for Condition Monitoring of Railway Switches
BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes
Accurate Robustness Assessment of HDL Models Through Iterative Statistical Fault Injection
VESBA: a middleware oriented architecture for virtualized embedded systems
Lessons learned from the deployment of a high-interaction honeypot
Fuzzy-based Severity Evaluation in Privacy Problems: an Application to Healthcare
Dependability modelling with the stochastic process algebra tool CASPA
Fault-Detection by Result-Checking for the Eigenproblem
Applying Data Mining for Detecting Anomalies in Satellites
Explaining Boolean-Logic Driven Markov Processes using GSPNs
Adaptive parallel computing for large-scale distributed and parallel applications
Towards Efficient Client-Side Transactions for Heterogeneous Cloud Data Stores
Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems
Robustness-Aware Design Space Exploration Through Iterative Refinement of D-Optimal Designs
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model
Customizable Service State Durability for Service Oriented Architectures
Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs
MLDD (Multi Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities
A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts
On the Emulation of Vulnerabilities through Software Fault Injection
Probabilistic Queries in Large-Scale Networks
Risk-aware Real-time Object Detection
Pseudorandom Testing of Microprocessors an Instruction/Data Flow Level
Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles
Simulation of Stochastic Blockchain Models
A fault tolerant VoIP implementation based on open standards
An Effective Reconfiguration Process for Fault-Tolerant VLSI/WSI Array Processors
The Provenance of WINE
Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane
Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study
Resilient Access to Heterogeneous Measurement Data for Grid Observability
Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation
Adding Fault-Tolerance Using Pre-synthesized Components
Security Evaluation of Smart Home Devices Based on the OWASP Top 10 IoT Vulnerabilities
Formal Development of Critical Multi-agent Systems: A Refinement Approach
Recovery for Virtualized Environments
Characterization and evaluation of standby in reliability
Deviation Estimation between Distributed Data Streams
Towards a Reliable Orchestration of Containerised Critical Services
Leveraging Multi-core Computing Architectures in Avionics
SafeOps: A Concept of Continuous Safety
Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment
Impact ofWAN Channel Behavior on End-to-end Latency of Replication Protocols
Dependability Models of RAID Using Stochastic Activity Networks
A Re-Identification Risk-Based Anonymization Framework for Data Analytics Platforms
Resilience Analysis of Top K Selection Algorithms
Unified AI-Product Lifecycle Based on Road-Vehicle Safety Standards
Software Process Synthesis in Assurance Based Development of Dependable Systems
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems
Discovering Hidden Errors from Application Log Traces with Process Mining
C2B2: a Cloud-native Chaos Benchmarking suite for the Hyperledger Fabric Blockchain
CrEStO: A Tool for Synthesizing Stateful Priorities
Gaining Confidence on Dependability Benchmarks' Conclusions through "Back-to-Back" Testing (Practical Experience Report)
LATED: Lifetime-Aware Tag for Enduring Design
EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile
16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020
Let it Glow: Illuminating Middleboxes with NoPASARAN
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System
12th European Dependable Computing Conference, EDCC 2016, Gothenburg, Sweden, September 5-9, 2016
Adapting and evaluating distributed real-time and embedded systems in dynamic environments
Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC
Towards Real-Time Malware Classification Through Honeypot Analysis
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach
A Mirrored Data Structures Approach to Diverse Partial Memory Replication
Online Dependability Assessment through Runtime Monitoring and Prediction
14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018
Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes
Some Lessons from the SW2000 Workshop
Coverage of Delay Faults: When 13% and 99% Mean the Same
Ultrafast Error Correction Codes for Double Error Detection/Correction
Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms
Studying the Applicability of Intrusion Detection to Multi-Tenant Container Environments
A road-map for enabling system analysis of AUTOSAR-based systems
Testing Open-Source Libraries for Private Counts and Averages on Energy Metering Time Series
The Hide and Seek Field Data Game
Enforcing trust in control automotive platforms
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms
Memory Mapped SPM: Protecting Instruction Scratchpad Memory in Embedded Systems against Soft Errors
Zero Aliasing Compression Based on Groups of Weakly Independent Outputs in Circuits with High Complexity for Two Fault Models
A Comparison of Inject-on-Read and Inject-on-Write in ISA-Level Fault Injection
Preventing timing failures in mixed-criticality clouds with dynamic real-time containers
Injecting Faults into Environment Simulators for Testing Safety Critical Software
Stateful Priorities for Precise Restriction of System Behavior
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA
Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper)
Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management
Leveraging Remote Attestation APIs for Secure Image Sharing in Messaging Apps
Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs
Experimental Assessment of NoSQL Databases Dependability
Formal Verification for Feature-Based Composition of Workflows
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager
Fast Indulgent Consensus with Zero Degradation
TruShare: Confidential Key-Value Store for Untrusted Environments
Why is it so hard to predict computer systems failures?
Eliminating Single Points of Failure in Software-Based Redundancy
HP: Hybrid Paxos for WANs
Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
Towards Understanding the Importance of Variables in Dependable Software
Constraint Based System-Level Diagnosis of Multiprocessors
An Approach for Hierarchical System Level Diagnosis of Massively Parallel Computers Combined with a Simulation-Based Method for Dependability Analysis
Achieving Fault-Tolerant Ordered Broadcasts in CAN
Atomic Updates of Replicated Data
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing
BugHub: A Large Scale Issue Report Dataset
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency
SAFETHINGS: Data Security by Design in the IoT
Feasible Regions Quantify the Configuration Power of Arrays with Multiple Fault Types
An Exploratory Study on Trust in Blockchain-Enabled Energy Trading
Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit
A Time-Free Byzantine Failure Detector for Dynamic Networks
Data-Driven Cross-Layer Fault Management Architecture for Sensor Networks
Reconfiguration and Checkpointing in Massively Parallel Systems
In Search of Real Data on Faults, Errors and Failures
Design of Totally Self-Checking Code-Disjoint Synchronous Sequential Circuits
Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata
SONDe, a Self-Organizing Object Deployment Algorithm in Large-Scale Dynamic Systems
Fast Local VM Migration Against Hypervisor Corruption
Software architecture based inter-feature analysis of safety and security interactions
Data Dissemination supporting collaborative complex event processing: characteristics and open issues
15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
Temporal isolation for the cohabitation of applications in automotive embedded software
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System
Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines
2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014
Finding Error Handling Bugs in OpenSSL Using Coccinelle
An Eventual alpha Partition-Participant Detector for MANETs
How hard is Assessing and Measuring Resilience? Panel
Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling
A Literature Review for the Application of Artificial Intelligence in the Maintenance of Railway Operations with an Emphasis on Data
Construction of a Highly Dependable Operating System
Assessing Error Detection Coverage by Simulated Fault Injection
Software Reliability Engineering - Risk Management for the New Millenium
Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach
Data distribution technologies in wide area systems: lessons learned from the SWIM-SUIT project experience
SEU Mitigation Techniques for Microprocessor Control Logic
Application of Statistical Testing to the Data Processing and Control System for the Dungeness B Nuclear Power Plant (Practical Experience Report)
Towards SW-Based Robustness Assessment of HW Accelerators for Quantized CNNs
Privacy and Data Mining: Evaluating the Impact of Data Anonymization on Classification Algorithms
Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication
It is a Disruptive World with Exponential Development: Expected Trends in Embedded Systems, with a Special Focus on the Automotive Industry and Its Likely Effects on Industry and Society
AuditTrust: Blockchain-Based Audit Trail for Sharing Data in a Distributed Environment
Failover Timing Analysis in Orchestrating Container-based Critical Applications
A Multi-variant Execution Environment for Securing In-memory KVSes
Optimal Deployment of Security Policies: Application to Industrial Control Systems
Concurrent Error Detection in Fast FNT Networks
Unambiguous semantics in automotive timing modeling
Enabling Remote Software and Firmware Updates for Bogie Control and Safety Systems
SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles
Embedded Multi-core System for Design of Next Generation Powertrain Control Units
Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing
Scalable Byzantine Fault Tolerance on Heterogeneous Servers
Enabling a Zero Trust Architecture in Smart Grids Through a Digital Twin
A Model for Adaptive Fault-Tolerant Systems
A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR
On Statistical Structural Testing of Synchronous Data Flow Programs
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)
Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach
Efficiency of Dynamic Arbitration in TDMA Protocols
Extraction of CIM-Based Distribution Grid Topology Information for Observability
Composing Patterns to Construct Secure Systems
Efficient Protection of Many-to-One Communications
Enabling mode changes in a distributed automotive system
Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels
An observation metamodel for dependability tools
An Architectural Framework for Detecting Process Hangs/Crashes
BUBBLE: an FPGA-Based Timing Fault Injector
Security and Survivability of Large Scale Critical Infrastructures
Dependability: The Challenge for the Future of Computing and Communication Technologies
Multi-Level Test Generation and Fault Diagnosis for Finite State Machines
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis