yusuke1997/dblp-id-title huggingface dataset:
A Simplex Architecture for Hybrid Systems Using Barrier Certificates
Vulnerability Analysis on Smart Cards Using Fault Tree
Design of a CDD-Based Fault Injection Framework for AUTOSAR Systems
Hierarchically Performed Hazard Origin and Propagation Studies
A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System
A STAMP Analysis on the China-Yongwen Railway Accident
Software Testing by People with Autism
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning
Project Experience with IEC 61508 and Its Consequences
The Need for Threat Modelling in Unmanned Aerial Systems
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Confidence in Timing
Logic and Epistemology in Safety Cases
Characterization of Failure Effects on AADL Models
SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases
AURORA Networks: Auto-associative Universal Real-Time Outlier Risk Assessment Networks
Fitness Functions for Testing Automated and Autonomous Driving Systems
Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis
Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning
Benchmarking Static Code Analyzers
Critical Systems Verification in MetaMORP(h)OSY
Towards Perfectly Scalable Real-Time Systems
Cyber (In-)security of Industrial Control Systems: A Societal Challenge
Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
SafeDeML: On Integrating the Safety Design into the System Model
Certus: A Domain Specific Language for Confidence Assessment in Assurance Cases
Practical Experience Report: Automotive Safety Practices vs. Accepted Principles
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors
Towards Continuous Safety Assessment in Context of DevOps
Security and Privacy in the Automotive Domain: A Technical and Social Analysis
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
Security Policy Configuration Issues in Grid Computing Environments
Increasing Safety of Neural Networks in Medical Devices
A Formal Model for Fault-Tolerance in Distributed Systems
Using Group Overlapping to Protect Server from Attack in Grid Computing
How Post-completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies
Assuring Avionics - Updating the Approach for the 21st Century
Assurance Cases for Block-Configurable Software
Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems
Improving Image Classification Robustness Using Predictive Data Augmentation
DALculus - Theory and Tool for Development Assurance Level Allocation
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities
Proving the Absence of Stack Overflows
Demonstration of Safety in Healthcare Organisations
Automotive SPICE, Safety and Cybersecurity Integration
Software Fault-Freeness and Reliability Predictions
Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions
Representing Confidence in Assurance Case Evidence
A GSN-Based Requirement Analysis of the EU AI Regulation
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering
A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving Systems
Towards an Automotive 'Safer Subset' of C
MRSA - a new public key encryption method
Applying Machine Learning Towards the Recognition of Driving Behavior
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics
Improving Software Development by Using Safe Object Oriented Development: OTCD
From Safety Models to Security Models: Preliminary Lessons Learnt
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
The Assurance Timeline: Building Assurance Cases for Synthetic Biology
Dependability Analysis of the AFDX Frame Management Design
Towards Energy Efficient, High-Speed Communication in WSNs
Preventing Memory Errors in Networked Vehicle Services Through Diversification
Distributed AI for Special-Purpose Vehicles
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems
Modelling Cost-Effectiveness of Defenses in Industrial Control Systems
Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams
Formal Modelling of the Impact of Cyber Attacks on Railway Safety
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving
Applying Formal Methods in Industry The UseGat Project
Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges
CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting
Approximate Reliability Algebra for Architecture Optimization
A Method of Analysis of Fault Trees with Time Dependencies
Six Steps Towards Provably Safe Software
Expert Assessment of Arguments: A Method and Its Experimental Evaluation
Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller
Transparent Personal Data Processing: The Road Ahead
A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution
The CORAS Framework for a Model-Based Risk Management Process
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007
Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception
Assessment on the Basis of Standards-Gaps and how to Bridge Them
Software Criticality Analysis of COTS/SOUP
Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings
Formalising the Impact of Security Attacks on IoT Safety
Formal Verification as a Design Tool - The Transponder Lock Example
The Effectiveness of Statistical Testing when Applied to Logic Systems
Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508
Problem Frames and Architectures for Security Problems
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System
Assessment and Certification Requirements in the European Railway Industry
A Software Development Approach for Robotics Control Systems
Contextualised Out-of-Distribution Detection Using Pattern Identification
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning
Creation and Use of a Representative Dataset for Advanced Persistent Threats Detection
A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems
Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems
Technology Transfer - from Purpose to Practice
Formalisation of an Industrial Approach to Monitoring Critical Data
In Search of Synergies in a Multi-concern Development Lifecycle: Safety and Cybersecurity
On Formal Languages for Sequences of Authorization Transformations
Software Support for Incident Reporting Systems in Safety-Critical Applications
Ring Exploration with Oblivious Myopic Robots
Securing Electric Vehicle Charging Systems Through Component Binding
HEIFU - Hexa Exterior Intelligent Flying Unit
Estimating Dependability of Programmable Systems Using BBNs
Introduction to SASSUR 2014
Safety and Security Co-engineering and Argumentation Framework
Design Requirements for a Moral Machine for Autonomous Weapons
Can Large Language Models Assist in Hazard Analysis?
Introduction to DESEC4LCCI 2012
Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks
Software Composability and Mixed Criticality for Triple Modular Redundant Architectures
Enhancing Tunnel Safety with Artery V2X Simulation for Real-Time Risk Assessment
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security
Reconfiguration Testing for Cooperating Autonomous Agents
Attack Modeling for System Security Analysis - (Position Paper)
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
Sound Non-interference Analysis for C/C++
From Discrete Event Simulation to Virtual Reality Environments
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software
Two Decades of Assurance Case Tools: A Survey
Fault-Tolerant Clock Synchronization with Only Two Redundant Paths
The SafeCap Platform for Modelling Railway Safety and Capacity
Revisiting Gossip-style Failure Detection in Wireless Sensor Network
Part 2: Bringing the Safety Dimension into the System and the Software Development
Dependability: from Concepts to Limits
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information
Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams
Using Fuzzy Self-Organising Maps for Safety Critical Systems
Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation
Combining GSN and STPA for Safety Arguments
Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing
Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings
An Integrated Approach for Availability and QoS Evaluation in Railway Systems
The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software
An Instruction Filter for Time-Predictable Code Execution on Standard Processors
A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded Systems
Evaluating the Contribution of DesktopVR for Safety-Critical Applications
Reliability Analysis of Resilient Packet Rings
Technology, Society and Risk
An Holistic Approach to Dependability?
Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case Study
Software Failure Data Analysis of two Successive Generations of a Switching System
A Dependability Model for Domestic Systems
Formal Specification of Safety-Critical Software with Z and Real-Time CSP
Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-Bed
Through the Description of Attacks: A Multidimensional View
An Automated Code-Based Fault-Tree Mitigation Technique
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems
A Multi-layer Anomaly Detector for Dynamic Service-Based Systems
Web Service Availability - Impact of Error Recovery
GSN Support of Mixed-Criticality Systems Certification
Quantitative Security Evaluation of a Multi-biometric Authentication System
Reuse in Hazard Analysis: Identification and Support
A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context
Real-Time Detection of Failures of Reactive Systems
Presenting a Safety Case - A Case Study
Quantification of Priority-OR Gates in Temporal Fault Trees
BOOTSTRAP: Software Process Assessment Experiences and Further Developments
Cognitive Diversity: A Structured Approach to Trapping Human Error
Cross-Level Compositional Reliability Analysis for Embedded Systems
Architectural Considerations in the Certification of Modular Systems
Simulative Evaluation of Security Attacks in Networked Critical Infrastructures
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
Speeding-Up Fault Injection Campaigns in VHDL Models
Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks
Software Test Techniques for System Fault-Tree Analysis
Checking General Safety Criteria on UML Statecharts
Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems
Learning from AV Safety: Hope and Humility Shape Policy and Progress
Analysis of Security Overhead in Broadcast V2V Communications
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systems
Finding Upper Bounds for Software Failure Probabilities - Experiments and Results
A Classification of Faults Covering the Human-Computer Interaction Loop
BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact
Methods and Languages for Safety-Related Real-Time Programming
Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous Driving
Securing Vehicle Diagnostics in Repair Shops
What Is Acceptably Safe for Reinforcement Learning?
Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems
Facilitating Fault Tree Analysis with Generative AI
Online Black-Box Failure Prediction for Mission Critical Distributed Systems
Evolving a Safe System Design Iteratively
Computer System Survivability Modelling by Using Stochastic Activity Network
Learning from Your Elders: A Shortcut to Information Security Management Success
Designing Safety into Medical Decisions and Clinical Processes
A Model-Based Safety Analysis of Dependencies Across Abstraction Layers
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search
On Diversity, and the Elusiveness of Independence
Model-Based Implementation of Real-Time Systems
Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks
AdvoCATE: An Assurance Case Automation Toolset
Debugging with Timed Automata Mutations
Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2
The Impact of Different Media on Safety and Usability of Interactive ATC Applications
Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB
Experimental Evaluation of Fault Handling Mechanisms
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems
A Case Study of Continuous Assurance Argument for Level 4 Automated Driving
Toward Resilience Assessment in Business Process Architectures
Structuring Safety Requirements in ISO 26262 Using Contract Theory
A Unified Tool for Performance Modelling and Prediction
A Formal Basis for Safety Case Patterns
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
Safety Argumentation for Machinery Assembly Control Software
The Integration of Safety and Security Requirements
Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips
Comparing Adaptive TDMA against a Clock Synchronization Approach
A Preliminary Fault Injection Framework for Evaluating Multicore Systems
An Approach for Deriving Reduced Collision Scenarios for Highly Automated Driving Systems
LoRaWAN with HSM as a Security Improvement for Agriculture Applications - Evaluation
Assessment of the Benefit of Redundant Systems
The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
Design Methodologies and Systems Safety
Safe Design of Stable Neural Networks for Fault Detection in Small UAVs
On Certain Behavior of Scale-Free Networks Under Malicious Attacks
Safety Functions versus Control Functions
Safe & Sec Case Patterns
Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance
Intelligent Transport Systems - The Role of a Safety Loop for Holistic Safety Management
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2
Automatic Test Data Generation by Multi-objective Optimisation
LoRaWAN with HSM as a Security Improvement for Agriculture Applications
Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERT TM Story
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT
A Model Based Approach for Safety Analysis
Computer-Aided Generation of Assurance Cases
Automatic Code Generation for PLC Controllers
Process Control Security: Go Dutch! (United, Shared, Lean and Mean)
Overcoming Non-determinism in Testing Smart Devices: A Case Study
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search
Efficient Load-Time Diversity for an Embedded Real-Time Operating System
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
Integrity Levels and their Application to Road Transport Systems
Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions
Co-Engineering-in-the-Loop
Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Towards Deep Anomaly Detection with Structured Knowledge Representations
A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study
Evolutionary Risk Analysis: Expert Judgement
Towards Lightweight Logging and Replay of Embedded, Distributed Systems
The Verification of Compiled Code
Sensor- and Environment Dependent Performance Adaptation for Maintaining Safety Requirements
Energy-Based Detection of Multi-layer Flooding Attacks on Wireless Sensor Network
Formal Specification and Analysis of AFDX Redundancy Management Algorithms
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap
Safety Analysis of Clinical Laboratory Systems
Formal Specification and Development of a Safety-Critical Train Management System
Reliability and Safety Analysis of Hierarchical Voting Schemes
Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic
Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software
Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks
Combining Safety and Security Analysis for Industrial Collaborative Automation Systems
Dependability as Ordinary Action
Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code
Threat Analysis Framework for Safety Architectures in SCDL
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments
A Pragmatic Approach towards Safe and Secure Medical Device Integration
A Safe, Reliable Control and Supervisory System for Railway Networks
Risk Analysis of One-Pixel Image Defects in Safety-Critical Deep Neural Networks
Metamodel Comparison and Model Comparison for Safety Assurance
A Comprehensive Safety Lifecycle
Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems
Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies
Development of an Integrated, Risk-Based Platform for Information and E-Services Security
Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics
Analysis of Incidents Involving Interactive Systems
An IEC 62061 Compliant Safety System Design Method for Machinery
The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System
Functional Apportioning of Safety Requirements on Railway Signalling Systems
Approach for Demonstrating Safety for a Collision Avoidance System
Towards a multi-view point safety contract
Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
Formal Support for the Safety Analysis of Requirement Models
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components
From Probabilistic Counterexamples via Causality to Fault Trees
An Ontological Approach to Systematization of SW-FMEA
Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates
International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead
Deriving Safety Software Requirements from an AltaRica System Model
Extracting EFSMs of Web Applications for Formal Requirements Specification
Causal Reasoning about Aircraft Accidents
An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems
Modelling Interdependencies Between the Electricity and Information Infrastructures
Principled Safety Assurance Arguments
Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits
Towards Automated Proof of Fail-Safe Behaviour
Robust Requirements Specifications for Safety - Critical Systems
Combining MILS with Contract-Based Design for Safety and Security Requirements
A Modular AI Testing Framework for Trustworthy AI: Proof-of-Concept Implementation
Towards Trust Assurance and Certification in Cyber-Physical Systems
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
SafeSpection - A Systematic Customization Approach for Software Hazard Identification
STPA Guided Systems Engineering
Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings
Composition of Safety Argument Patterns
Formal Verification of Signalling Programs with SafeCap
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
Field Test Methods for a Co-operative Integrated Traffic Management System
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform
A Failure Model Library for Simulation-Based Validation of Functional Safety
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System
Model-driven development of critical perception components using Simulink
16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997
Loops for Safety Critical Applications
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
Representation of Safety Standards with Semantic Technologies Used in Industrial Environments