yusuke1997/dblp-id-title huggingface dataset:
An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles
Language Models as Reasoners for Out-of-Distribution Detection
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments
A Fail-Safe Dual Channel Robot Control for Surgery Applications
Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns
Managing Changing Product Liability Obligations Emerging from New Proposed EU Directive
The Safety Management of Data-Driven Safety-Related Systems
Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System
Counter Attacks for Bus-off Attacks
Software Reliability Engineering in Industry
D-Case Steps: New Steps for Writing Assurance Cases
Software Updates in Safety and Security Co-engineering
Risk Ordering of States in Safecharts
Effective Static and Dynamic Fault Tree Analysis
Dependability in the Information Society: Getting Ready for the FP6
Integrity Static Analysis of COTS/SOUP
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?
State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System
Which Automata for Which Safety Assessment Step of Satellite FDIR?
Conceptual Comparison of Two Commonly Used Safeguarding Principles
A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production
RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies
Testing and Verification of the Deep Neural Networks Against Sparse Pixel Defects
Access Control Coherence of Information Systems Based on Security Constraints
Towards a Cyber Security Reporting System - A Quality Improvement Process
Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA
Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools
System of Systems Hazard Analysis Using Simulation and Machine Learning
Safe Tech: A Control Oriented Viewpoint
System of Systems Challenges
SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
An Accountability Approach to Resolve Multi-stakeholder Conflicts
Forensic Software Engineering and the Need for New Approaches to Accident Investigation
Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262
A UML Profile for Requirements Analysis of Dependable Software
Towards a Formal Basis for Modular Safety Cases
Formal Verification of Memory Preservation of x86-64 Binaries
The Characteristics of Data in Data-Intensive Safety-Related Systems
D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders
Applications of Pairing-Based Cryptography on Automotive-Grade Microcontrollers
Modeling Safety-Critical Systems with Z and Petri Nets
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014)
A Reference Example on the Specification of Safety Requirements using ISO 26262
Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems
Alignment of SOTIF and Scenario-Based Safety Evaluation Framework
Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks
In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant Bits
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
Assessment of Hazard Identification Methods for the Automotive Domain
On Explainability in AI-Solutions: A Cross-Domain Survey
Early Prototyping of Wireless Sensor Network Algorithms in PVS
Certification Game for the Safety Analysis of AI-Based CPS
A Security Architecture for Railway Signalling
Scenario Hazard Prevention for Autonomous Driving Based on Improved STPA
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems
Proving Compliance of Implementation Models to Safety Specifications
Comparative Evaluation of Security Fuzzing Approaches
Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors
Offline Access to a Vehicle via PKI-Based Authentication
Legal Aspects of Safety Critical Systems
Risk Classification of Data Transfer in Medical Systems
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings
Human Factors in High Integrity Software Development: a Field Study
IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems??
Design, Analysis and Implementation of a New Hash Function Based on Block Cipher
Security Research from a Multi-disciplinary and Multi-sectoral Perspective
An Approach to Trust Case Development
On the Effectiveness of Run-Time Checks
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
Dependability and Survivability of Large Complex Critical Infrastructures
Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models
Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability
Critical Information Infrastructures: Should Models Represent Structures or Functions?
Programmable Electronic System Analysis Technique in Safety Critical Applications
Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference
Towards Assurance-Driven Architectural Decomposition of Software Systems
Process Assessment in Supplier Selection for Safety-Critical Systems in Nuclear Domain
Specifying Safety Monitors for Autonomous Systems Using Model-Checking
Dependable Integration Concepts for Human-Centric AI-Based Systems
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety
PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive Delegation
Neural Criticality Metric for Object Detection Deep Neural Networks
Network Security for Substation Automation Systems
Practical Assessment of Neural Network Applications
Impact of Machine Learning on Safety Monitors
A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven Components
Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications
The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution
Experimental Assessment of Astrée on Safety-Critical Avionics Software
An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System
FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools
Towards a Framework for Alignment Between Automotive Safety and Security Standards
An industrial view of Requirements Engineering and Safety
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence
FlexRay Robustness Testing Contributing to Automated Safety Certification
Real-Time Control Selection over the Computing Continuum
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile
Hazard Analysis in Formal Specification
Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling
Demo: CANDY CREAM
The Benefits of SUSI: Safety Analysis of User System Interaction
Dependable Cyber-Physical Systems with Redundant Consumer Single-Board Linux Computers
A Bayesian Belief Network for Reliability Assessment
Checking Safe Trajectories of Aircraft Using Hybrid Automata
The 6W1H Model as a Basis for Systems Assurance Argument
FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment
Systematic Maintenance of Safety Cases to Reduce Risk
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases
Public-Key Cryptography and Availability
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation
Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COP
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model
Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems
Computer Based Support for Standards and Processes in Safety Critical Systems
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators
A Software Safety Verification Method Based on System-Theoretic Process Analysis
Safely Using the AUTOSAR End-to-End Protection Library
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs
Fast Estimation of Privacy Risk in Human Mobility Data
Quantifying Assurance in Learning-Enabled Systems
WiCAR - Simulating Towards the Wireless Car
Model-Driven Availability Evaluation of Railway Control Systems
Towards Safer Industrial Computer Controlled Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots
Formal Support for Fault Modelling and Analysis
Verification of Automatic Train Protection Systems with RTCP-Nets
A Systematic Approach to Safety Case Maintenance
An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B
A Safety Condition Monitoring System
Verifying a Chipcard-Based Biometric Identification Protocol in VSE
Secure Multiparty Computation vs. Fair Exchange - Bridging the Gap
Dependability and Configurability: Partners or Competitors in Pervasive Computing?
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?
Analysing the Safety of Decision-Making in Autonomous Systems
A Holistic Design Concept to Improve Safety Related Control Systems
Structuring Research Related to Dynamic Risk Management for Autonomous Systems
Quantum Machine Learning: Perspectives in Cybersecurity
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage
Safety Case for the NERC Air Traffic Control System
An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems
Homeopathic Poisoning of RAG Systems
Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Cyber-Security of Neural Networks in Medical Devices
Attribute Repair for Threat Prevention
Securing Web Access: PUF-Driven Two-Factor Authentication for Enhanced Protection
Research Questions in the Acceptance of Cybersecurity by SMEs in the EU
Towards Building Data Trust and Transparency in Data-Driven Business Applications
DFT and DRBD in Computing Systems Dependability Analysis
Why Safety and Security Should and Will Merge
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees
The SHIP Safety Case Approach
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study
A Dependability-Explicit Model for the Development of Computing Systems
A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions
Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems
A Problem-Oriented Approach to Common Criteria Certification
Dependable Outlier Detection in Harsh Environments Monitoring Systems
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
Issues in Safety Assurance
Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14)
Composition of Fault Forests
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems
Controller Architecture for Safe Cognitive Technical Systems
Visual Approach Facilitating the Importance Analysis of Component Fault Trees
Towards Interdependent Safety Security Assessments Using Bowties
Effect of Label Noise on Robustness of Deep Neural Network Object Detectors
Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation
Linking Hazard Analysis to Formal Specification and Design in B
Towards Statistical Control of an Industrial Test Process
Software Challenges in Aviation Systems
Research on Brain Load Prediction Based on Machine Learning for High-Speed Railway Dispatching
Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework
Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems
Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL
Querying Safety Cases
Systematic Design of Fault-Tolerant Computers
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software
Integrity Checking of Railway Interlocking Firmware
Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed
SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview
Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator
A Foundation for Requirements Analysis of Dependable Software
PLC-Implementation of Emergency Shut-Down Systems
The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software
Formal Analysis of Resilience in Transport Systems with Bigraphs
Could We Issue Driving Licenses to Autonomous Vehicles?
Fault Trees vs. Component Fault Trees: An Empirical Study
Defense-in-Depth and Diverse Qualification of Safety-Critical Software
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol
Making the Case for Safety of Machine Learning in Highly Automated Driving
Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks
Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components,
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures
Security Assessments of Safety Critical Systems Using HAZOPs
Software-based Safety-critical Systems: a Taxonomy
The Use of Data Protection Regulatory Actions as a Data Source for Privacy Economics
Safety-Focused Deployment Optimization in Open Integrated Architectures
Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation
Human Factors in Safety-Critical Systems: An underestimated contribution?
Graceful Degradation Design Process for Autonomous Driving System
An Unified Meta-model for Trustworthy Systems Engineering
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
Multi-layered Approach to Safe Navigation of Swarms of Drones
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
Computer Safety, Reliability, and Security - 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings
Dependability Benchmarking of Web-Servers
Eliminating the Unexpected
A New Approach to Creating Clear Operational Safety Arguments
Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data
A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks
Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device
A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF
Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment
Rear-End Collision Risk Analysis for Autonomous Driving
Content Based Routing with Directional Random Walk for Failure Tolerance and Detection in Cooperative Large Scale Wireless Networks
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems
Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation
The Moral Machine: Is It Moral?
Software Architecture of a Safety-Related Actuator in Traffic Management Systems
Safety-Critical Software Development in C++
Introduction to Sassur 2012
Resilience Markers for Safer Systems and Organisations
Safety Cases for Software Application Reuse
Safe combinations of services using B
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems
15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996
Reviewing Software Models in Compliance with ISO 26262
Controlling Requirements Evolution: An Avionics Case Study
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts
On Securing Communications among Federated Health Information Systems
Vertical Safety Interfaces - Improving the Efficiency of Modular Certification
Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study
Survey of Scenarios for Measurement of Reliable Wireless Communication in 5G
Methodology for Test Case Allocation Based on a Formalized ODD
Impact of Communication on Systems Dependability: Human Factors Perspectives
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Towards Combined Safety and Security Constraints Analysis
Assurance Cases for Timing Properties of Automotive TSN Networks
Justification of Smart Sensors for Nuclear Applications
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards
Improving Test Coverage for UML State Machines Using Transition Instrumentation
Combined Approach for Safety and Security
On Security Countermeasures Ranking through Threat Analysis
Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic
Model-Based Generation of Attack-Fault Trees
Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition
HSIENA: A Hybrid Publish/Subscribe System
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600
ISO/SAE 21434-Based Risk Assessment of Security Incidents in Automated Road Vehicles
Using Formal Methods in a Retrospective Safety Case
Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Model-Based Safety Analysis for Vehicle Guidance Systems
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems
Safety Case Construction and Reuse Using Patterns
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings
Detecting and Mitigating Errors in Neural Networks
Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks
Panel: Complexity and Resilience
Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) at SAFECOMP 2014 - A European Approach to Critical Systems Engineering
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases
Why Are People's Decisions Sometimes Worse with Computer Support?
Derived Hazard Analysis Method for Critical Infrastructures
Modeling the Impact of Testing on Diverse Programs
Redundant Data Acquisition in a Distributed Security Compound
Security and Interoperability for MANETs and a Fixed Core
A Tool for Network Reliability Analysis
Control and Data Flow Testing on Function Block Diagrams
Improving ML Safety with Partial Specifications
Software validation with CASE-TOOLS
Refinement and Safety Analysis
Dependability Evaluation: Model and Method Based on Activity Theory
Application of Formal Methods in the Scope of IT-Security
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis
A Holistic View on the Dependability of Software-Intensive Systems
Software Reliability Models and Test Coverage
Analyzing Fault Susceptibility of ABS Microcontroller
Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive
Automated Attacker Synthesis for Distributed Protocols
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design
System and Software Safety Analysis for the ERA Control Computer
Safety Case: Structure and Role
Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System
Data Flow Control Systems: an Example of Safety Validation
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model
Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins
A Dedicated Algorithm for Verification of Interlocking Systems
Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual Testing
Assuring Degradation Cascades of Car Platoons via Contracts
Safety Assessment - The Critical System Suppliers View
Programming Rule Static Verification for Reliable Software
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
Programmable Electronic System Design & Verification Utilizing DFM
The Moral Responsibility Gap and the Increasing Autonomy of Systems
Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning
Rethinking of Strategy for Safety Argument Development
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler
Dependable Communication Synthesis for Distributed Embedded Systems
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings
Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety