yusuke1997/dblp-id-title huggingface dataset:
Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks
Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW
Rare Event Simulation for Dynamic Fault Trees
Optimization of Reconfiguration Mechanisms in Critical Infrastructures
The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993
Towards Safety Case Integration with Hazard Analysis for Medical Devices
Formal Methods: The Problem Is Education
Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT
Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations
Designing a High-level Language for Safety Systems
A Framework for Automated Quality Assurance and Documentation for Pharma 4.0
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic
Assurance Case Considerations for Interoperable Medical Systems
Efficient Safety Retrofitting Against Jailbreaking for LLMs
Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs
Towards Secure Downloadable Executable Content: The Java Paradigm
Legal Sufficiency of Testing Processes
R3-COP Resilient Reasoning Robotic Co-operating Systems
Modelling Resilient Systems-of-Systems in Event-B
Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework
Safety and Security Requirements for an Advanced Train Control System
Towards Assurance for Plug & Play Medical Systems
Safety Integrity Levels for Artificial Intelligence
Reliability Analysis of Consensus in Cooperative Transport Systems
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems
A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection
Secure Interaction Models for the HealthAgents System
Safety Cases for Software-intensive Systems: an Industrial Experience Report
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability
From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures
Leveraging Semi-formal Approaches for DepDevOps
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach
A Model for Safety Case Confidence Assessment
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
Encapsulating Application Subsystems Using the DECOS Core OS
Electronic Reliability Estimation: How Reliable Are the Results?
EURIS, a Specification Method for Distributed Interlockings
Systematic Evaluation of (Safety) Assurance Cases
Automatic Invariant Selection for Online Anomaly Detection
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262
Development of a Fail-Safe Data Transmission System for use in Life-Critical Applications
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument
ASIL Tailoring on Functional Safety Requirements
Security Analysis of Open Building Automation Systems
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
On-line Software Error Detection by Executable Assertions: From Theory to Practice
On the Adoption of Model Checking in Safety-Related Software Industry
Formal Security Analysis of Electronic Software Distribution Systems
Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE
FlexRay demonstrator for certification
A Generic Method for a Bottom-Up ASIL Decomposition
Safety Analysis Techniques for Validating Formal Models During Verification
INDEXYS, a Logical Step beyond GENESYS
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems
Reliable Data Replication in a Wireless Medical Emergency Network
Uniform Approach of Risk Communication in Distributed IT Environments Combining Safety and Security Aspects
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case
Risk Assessment for Airworthiness Security
A High-Assurance, High-Performance Hardware-Based Cross-Domain System
Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty
A Compositional Semantics for Repairable BDMPs
Component-Based Abstraction in Fault Tree Analysis
A Security Analysis of the ETSI ITS Vehicular Communications
Meeting Real-Time Requirements with Multi-core Processors
Verifying a Time-Triggered Protocol in a Multi-language Environment
Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems
Safety Case Maintenance: A Systematic Literature Review
MODIFI: A MODel-Implemented Fault Injection Tool
Verifying Mode Consistency for On-Board Satellite Software
Safety Assessment of Software Based Systems
Towards Artificial Perception
Mitigation of Policy Manipulation Attacks on Deep Q-Networks with Parameter-Space Noise
VUOS: A User-Space Hypervisor Based on System Call Hijacking
Multivariate Security Breach Probability: The Gordon-Loeb Model with Copulas
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures
Are High-Level Languages Suitable for Robust Telecoms Software?
Three Reasons Why: Framing the Challenges of Assuring AI
Refinement of Fault Tolerant Control Systems in B
A Hybrid Testing Methodology for Railway Control Systems
Probabilistic Failure Propagation and Transformation Analysis
Validation of Control System Specifications with Abstract Plant Models
Reliability Modeling for the Advanced Electric Power Grid
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools
Oreste : a Reliable Reactive Real-Time Language
Generic Management of Availability in Fail-Operational Automotive Systems
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development
CMMI RAMS Extension Based on CENELEC Railway Standard
Modeling the Human in Human Factors
Toward Dependability Assurance Framework for Automated Driving Systems
Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical Systems
FMVEA for Safety and Security Analysis of Intelligent and Cooperative Vehicles
Safety and Technology Transfer
Software-based critical systems
Model-Based Development of Medical Devices
A Context-Aware Mandatory Access Control Model for Multilevel Security Environments
Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking
Towards DO-178C Compliance of a Secure Product
Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment
An Empirical Exploration of the Difficulty Function
Benchmarking Software Requirements Documentation for Space Application
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
Estimating Residual Faults from Code Coverage
A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors
A Virus-Resistant Network Interface
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain
Towards Safe Machine Learning Lifecycles with ESG Model Cards
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
Checking SCADE Models for Correct Usage of Physical Units
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262
Visualization of Model-Implemented Fault Injection Experiments
Refinement of Safety-Related Hazards into Verifiable Code Assertions
Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems
1st International Workshop on the Integration of Safety and Security Engineering (ISSE '14)
A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design
Dependability Arguments Supported by Fuzz-Testing
Bayesian Uncertainty Quantification with Synthetic Data
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving
Safety Transformations: Sound and Complete?
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
Elicitation and Validation of Graphical Dependability Models
Model-Based Safety Analysis of Mode Transitions
Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench
Dependability of Computer Control Systems in Power Plants
A Dynamic Assurance Framework for an Autonomous Survey Drone
Safety Kernel for Cooperative Sensor-Based Systems
IT Design for Resiliency Using Extreme Value Analysis
Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis
Agile Change Impact Analysis of Safety Critical Software
Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle Filter
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant
Using an Assurance Case Framework to Develop Security Strategy and Policies
Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead
Towards Dependable Software Requirement Specifications
Part 3: Challenge and Effect of NERC on an Austrian Company
Cybersecurity in Partitioned Space Embedded Systems
Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security
Towards Zero Alarms in Sound Static Analysis of Finite State Machines
Ride-through for Autonomous Vehicles
Assurance of Automotive Safety - A Safety Case Approach
Automated Black-Box Testing with Abstract VDM Oracles
AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values
Resilience in the Aviation System
Stepwise Development of Secure Systems
IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data
Safety and Security Issues in Electric Power Industry
A Safety Assurable Human-Inspired Perception Architecture
A Comparison of Partitioning Operating Systems for Integrated Systems
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures
Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
Defining the Unit Testing Level of Synchronous Data Flow Programs
Fault-Tolerant Communication System to Improve Safety in Railway Environments
Handling Safety Critical Requirements in System Engineering Using the B Formal Method
Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics
The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems
A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems
Coyan: Fault Tree Analysis - Exact and Scalable
Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings
A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace
Regulatory Software Configuration Management System Design
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram
Adaptive Deployment of Safety Monitors for Autonomous Systems
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics
Human Medium in Technology Transfer
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach
A Metric for Measuring the Strength of Inter-dependencies
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer
Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective
Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012
Composition and Refinement of Probabilistic Real-Time Systems
The Role of the Supply Chain in Cybersecurity Incident Handling for Drilling Rigs
Formal Verification of Safety Requirements on Complex Systems
Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks
Reconciling Systems-Theoretic and Component-Centric Methods for Safety and Security Co-analysis
Generation of Safety Case Argument-Fragments from Safety Contracts
WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components
Configuration-Aware Contracts
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation
Patterns for Safer Human-Computer Interfaces
Comparing Fault Trees and Bayesian Networks for Dependability Analysis
ISO/IEC 15504-10: Motivations for Another Safety Standard
Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated Vehicles
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software
A Performance Comparison of Group Security Mechanisms
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
How to "Survive" a Safety Case According to ISO 26262
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems
Formally Verified Firmware Modules for Industrial Process Automation
Towards the Integration of Fault, Resource, and Power Management
Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds
Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities
The Assurance Recipe: Facilitating Assurance Patterns
Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective
CarINA - Car Sharing with IdeNtity Based Access Control Re-enforced by TPM
Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree?
Program Comprehension in Preprocessor-Based Software
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces
Probabilistic Inference in the Physical Simulation of Interdependent Critical Infrastructure Systems
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
Software Tamper Resistance Using Program Certificates
Part 1: Customer Safety Requirements for the NERC Air Traffic Control System
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling
Cynefin Framework, DevOps and Secure IoT - Understanding the Nature of IoT Systems and Exploring Where in the DevOps Cycle Easy Gains Can Be Made to Increase Their Security
Embedded System Platform for Safety-Critical Road Traffic Signal Applications
Report on the Railway Use-Case of the Crystal Project: Objectives and Progress
Automotive Cybersecurity Standards - Relation and Overview
Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems
Integration Analysis of a Transmission Unit for Automated Driving Vehicles
Specification of a Software Common Cause Analysis Method
Reliability and Security in Communication Software: PBX Systems and CSTA Applications
Automated Legal Compliance Checking by Security Policy Analysis
Safety Assurance Strategies for Autonomous Vehicles
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)
Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment
HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical Systems
Safety and Robustness for Deep Neural Networks: An Automotive Use Case
Verification of Fault-Tolerant System Architectures Using Model Checking
Security Threats to Automotive CAN Networks - Practical Examples and Selected Short-Term Countermeasures
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile
Don't Judge Software by Its (Code) Coverage
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller
ExplicitCase: Integrated Model-Based Development of System and Safety Cases
Classification Tree Method with Parameter Shielding
Experiences in Applying Formal Verification in Robotics
Security Challenges in Adaptive e-Health Processes
ErrorSim: A Tool for Error Propagation Analysis of Simulink Models
Implementation of a Security Policy in Distributed Safety Related I&C Systems
Concepts for Reliable Communication in a Software-Defined Network Architecture
Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis
Automotive Telematics - Road Safety Versus IT Security?
Safety Invariant Engineering for Interlocking Verification
Enclosing Prototypical Variational Autoencoder for Explainable Out-of-Distribution Detection
Towards Certified Analysis of Software Product Line Safety Cases
Exception Handling and Predictability in Hard Real-Time Systems
Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function
A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects
Model-Based Multi-objective Safety Optimization
Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems
A Method for Operator Error Detection Based on Plan Recognition
On Validating Attack Trees with Attack Effects
A Safety Standard Approach for Fully Autonomous Vehicles
Control of Cyber-Physical Systems Using Bluetooth Low Energy and Distributed Slave Microcontrollers
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do
High Integrity Ada
From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security
Safety Analysis of the Height Control System for the Elbtunnel
Uncertainty Wrappers for Data-Driven Models - Increase the Transparency of AI/ML-Based Models Through Enrichment with Dependable Situation-Aware Uncertainty Estimates
The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles
Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection Attacks
Object Detection with Probabilistic Guarantees: A Conformal Prediction Approach
Assurance Case Synthesis from a Curated Semantic Triplestore
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems
Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment
A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems
Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations
Probabilistic Spatial Relations for Monitoring Behavior of Road Users
A Rigorous View of Mode Confusion
Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings
An Approach to a New Network Security Architecture for Academic Environments
Exploring Network Security in PROFIsafe
Certificating Vehicle Public Key with Vehicle Attributes A (periodical) Licensing Routine, Against Man-in-the-Middle Attacks and Beyond
Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Automatic Architecture Hardening Using Safety Patterns
Random Additive Control Flow Error Detection
Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements
Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes
Supervisory Control Theory in System Safety Analysis
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain
Towards the Automated Qualification of Tool Chain Design
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study
Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software
A Modular Approach to Non-deterministic Dynamic Fault Trees
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results
Analysing the Safety of a Software Development Process
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees
Using a Software Safety Argument Pattern Catalogue: Two Case Studies
Cyber Risk Propagation on Networks
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity
Practical Solutions to Key Recovery Based on PKI in IP Security
A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse
Qualifying Software Tools, a Systems Approach
An Approach for Model-Based Risk Assessment
Failure Risk Estimation via Markov Software Usage Models
Towards Dependable Integration Concepts for AI-Based Systems
Model and Implementation of a Secure SW-Development Process for Mission Critical Software
i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful Protocols
Is Software Safe to Fly?
Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems