yusuke1997/dblp-id-title huggingface dataset:
AV-SLAF: A Scenario-Layered Framework for Safety Analysis of Autonomous Vehicles Based on STPA and CTA
Towards Agile Engineering of High-Integrity Systems
Cost-Effective Testing for Critical Off-the-Shelf Services
Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework
A Systematic Elaboration of Safety Requirements in the Avionic Domain
Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems
Dependability Evaluation
Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore
How to Use Mobile Communication in Critical Infrastructures: A Dependability Analysis
Verifying Integrity of Decision Diagrams
Interval Weight-Based Abstraction for Neural Network Verification
Modeling Fault Trees Using Petri Nets
Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models
Experiences with the Design of a Run-Time Check
Utilising Redundancy to Enhance Security of Safety-Critical Systems
Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case
Compositional Temporal Fault Tree Analysis
Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems
Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay
Adaptive Safety Arguments and Explanation-Based Learning
Subsidiaries and start-up Spin-off companies of Inria
Murphy Was an Optimist
SMT-Based Synthesis of Fault-Tolerant Architectures
Security Flows in OAuth 2.0 Framework: A Case Study
Introduction to IWDE 2012
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles
A Comprehensive Safety, Security, and Serviceability Assessment Method
Neuro-Symbolic Artificial Intelligence for Safety Engineering
"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift
Modeling Rover Communication Using Hierarchical State Machines with Scala
Assessing Software Interference Management When Modifying Safety-Related Software
Model-Centered Assurance for Autonomous Systems
Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems
Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems
AIMOS: Metamorphic Testing of AI - An Industrial Application
Improvements in Process Control Dependability through Internet Security Technology
Digital Forensics in Industrial Control Systems
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach
A Modelling Approach for System Life Cycles Assurance
A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System
The Application of an Object-Oriented Method in Information System Security Evaluation
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning?
Evaluation of Safety Rules in a Safety Kernel-Based Architecture
Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System
Principled Construction of Software Safety Cases
SQUALE Dependability Assessment Criteria
Towards a Metrics Based Verification and Validation Maturity Model
A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution
A ThreatGet-Based Framework for Aligning System Security with the Cyber Resilience Act
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results
Fault-Tolerant Communication in Large-Scale Manipulators
Analysis of Combinations of CRC in Industrial Communication
A First Step Towards the Integration of Accident Reports and Constructive Design Documents
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems
Compositional Hazard Analysis of UML Component and Deployment Models
Formal Verification of a Safety Argumentation and Application to a Complex UAV System
A Technique for Fault Tolerance Assessment of COTS Based Systems
A Controlled Experiment on Component Fault Trees
Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic Systems
Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices
100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis
Why Bad Coffee? Explaining Agent Plans with Valuings
Defining Autonomous Functions Using Iterative Hazard Analysis and Requirements Refinement
A Reliability Evaluation of a Group Membership Protocol
How Secure Is ERTMS?
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics
Security Assessment Prospects as Part of Vehicle Regulations
Testing Autonomous Robot Control Software Using Procedural Content Generation
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software
A Tool for Databus Safety Analysis Using Fault Injection
Defining and Decomposing Safety Policy for Systems of Systems
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents
Model-Based Analysis for Safety Critical Software
Safe Adversarial Control Through Interaction
Does Not Impute! Performance and Ethical Implications of Missing Data for an AI-Based Diabetes Co-morbidity Predictor
Dependability of Joint Human-Computer Systems
The Cyber-Physical Attacker
Real-World Types and Their Application
Handling Malicious Code on Control Systems
Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle
Consistency Checking by Type Inference and Constraint Satisfaction
Formal Validation of the GUARDS Inter-Consistency Mechanism
Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements
Supporting Assurance by Evidence-Based Argument Services
How Explicit Are the Barriers to Failure in Safety Arguments?
Assuring Compliance with Protection Profiles with ThreatGet
Using Process Models in System Assurance
Safety and Security Interference Analysis in the Design Stage
Towards Secure Fieldbus Communication
An End-to-End Testbed for Communication, Compute, and Control Co-design: The Kista Innovation Park
A Reasonable Driver Standard for Automated Vehicle Safety
Analysing Mode Confusion: An Approach Using FDR2
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System
Combining Safety and Security in Autonomous Cars Using Blockchain Technologies
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control
MORE: MOdel-based REdundancy for Simulink
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System
Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle Software
Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts
Redefining Safety for Autonomous Vehicles
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins
Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control
A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning Algorithms
Managing Capability in Software Dependability Testing Through Generic Test Rigs
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files
A Testbed for Trusted Telecommunications Systems in a Safety Critical Environment
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs
A Lightweight Methodology for Safety Case Assembly
Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling
PLC-Based Safety Critical Software Development for Nuclear Power Plants
Requirements Analysis and Safety: A Case Study (using GRASP)
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation
Incorporating Attacks Modeling into Safety Process
Analysis and Assessment of Advanced Road Transport Telematic Systems
Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A
Where Do Safety and Security Mutually Reinforce? A Multi-level Model-Based Approach for a Consistent Interplay
Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs
Large Language Models in Code Co-generation for Safe Autonomous Vehicles
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics
Rule-Based Threat Analysis and Mitigation for the Automotive Domain
OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems
A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates
MBTA: A Model-Based Threat Analysis Approach for Software Architectures
Safety Interfaces for Component-Based Systems
Quantitative Reliability Assessment for Mobile Cooperative Systems
Analysing Dependability Case Arguments Using Quality Models
A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect
The Effectiveness of T-Way Test Data Generation
Architectural Mitigation of Control AI Risk Factors for Safe Human-Robot-Collaboration
Modeling Aircraft Operational Reliability
Automatic Analysis of a Safety Critical Tele Control System
Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products
Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit Implementations
Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles
An Approach to Assure Dependability Through ArchiMate
Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings
UNECE Threat List Case Study: Prediction of Cyber Risks in the Automotive Domain Using Regression Analysis
Automatic Optimisation of System Architectures using EAST-ADL
Analysis of Nested CRC with Additional Net Data in Communication
An Integrated Approach to a Safety Argumentation for AI-Based Perception Functions in Automated Driving
Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities
Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements
Confidently Assessing a Zero Probability of Software Failure
Forecast Horizon for Automated Safety Actions in Automated Driving Systems
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks
Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases
Experimental evaluation of end-to-end delay in switched Ethernet application in the automotive domain
Evaluation Framework for Performance Limitation of Autonomous Systems Under Sensor Attack
Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002
Using STPA in an ISO 26262 Compliant Process
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings
Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms
Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts
A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks
Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform
Low-Level Attacks on Avionics Embedded Systems
Designing applications in dynamic networks: The Airplug Software Distribution
Rapid Fault-Space Exploration by Evolutionary Pruning
Development of Model Based Tools to Support the Design of Railway Control Applications
Practical Approach for the Evaluation of Safety Related Programmable Electronics
Residual Error Probability of Embedded CRC by Stochastic Automata
Run time safety analysis for automotive systems in an open and adaptive environment
Dependable and Secure Embedded Node Demonstrator
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety
Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-data Generation Using Application Scope Characteristics
Attack and Fault Injection in Self-driving Agents on the Carla Simulator - Experience Report
Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability Quantification
Critical Feature Analysis of a Radiotherapy Machine
Safety Case Driven Development for Medical Devices
An Interoperable Testing Environment for ERTMS/ETCS Control Systems
Applying Safety Goals to a New Intensive Care Workstation System
Improving Out-of-Distribution Detection via Test-Time Augmentation
Efficient Model-Level Reliability Analysis of Simulink Models
Safety Demonstration and Software Development
A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems
Safety-Aware Control of Swarms of Drones
Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value Analysis
A Strategy for Improving the Efficiency of Procedure Verification
External Human-Machine Interaction Design Principles and Supporting Technologies for Autonomous Vehicles
It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning
Automating the Assembly of Security Assurance Case Fragments
High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking Study
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature
Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous Systems
Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?
On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems
Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain
Advanced Security Considerations in the Arrowhead Framework
Byzantine Fault Tolerance, from Theory to Reality
SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
DFTCalc: A Tool for Efficient Fault Tree Analysis
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
On Using Results of Code-Level Bounded Model Checking in Assurance Cases
Specifying Railway Interlocking Requirements for Practical Use
"Profit by Safety" or Quackery in Biomedical Information Technology?
A Safety Critical Computer System in a Railway Application
Using GPT-4 to Generate Failure Logic
Towards an Argument Pattern for the Use of Safety Performance Indicators
Automatic Test Data Generation from Embedded C Code
Revisiting Neuron Coverage and Its Application to Test Generation
Building a Test Bed for the Periodical Technical Inspection of Sensors Perceiving the Environment in Autonomous Vehicles
Byzantine Agreement with Limited Authentication
A New Approach to Assessment of Confidence in Assurance Cases
Safety - status and perspectives
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Formal Methods Diffusion: Past Lessons and Future Prospects
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests
SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints
Survival by Deception
New VoIP Traffic Security Scheme with Digital Watermarking
Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment
Automatic Timeliness Verification of a Public Mobile Network
Safety-Aware Hardening of 3D Object Detection Neural Network Systems
Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems
Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Towards Security-Explicit Formal Modelling of Safety-Critical Systems
Safety and Security Assessment of Behavioral Properties Using Alloy
The Role of CM in Agile Development of Safety-Critical Software
Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain
Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry
Smart Wristband for Voting
Security Analysis of Smart Grid Data Collection Technologies
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
Is Current Incremental Safety Assurance Sound?
Safety Verification of Multiple Autonomous Systems by Formal Approach
Safety Certification with the Open Source Microkernel-Based Operating System L4Re
Error Type Refinement for Assurance of Families of Platform-Based Systems
Systematic Derivation of Functional Safety Requirements for Automotive Systems
Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain
On the Formal Verification of Systems of Synchronous Software Components
Capability Ambient DO - A Usable Tool for Linux System Security
Introduction to ASCoMS 2012
Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology
A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities
CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems
Quantification of the Impact of Cyber Attack in Critical Infrastructures
Dual-Process System: An Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process Theory
Controlling your Design through your Software Process
Using SAE J3061 for Automotive Security Requirement Engineering
The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application
The TACO Approach for Traceability and Communication of Requirements
Security Application of Failure Mode and Effect Analysis (FMEA)
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
Synchronisation of an Automotive Multi-concern Development Process
Neural Nets and Diversity
Modeling and Analyzing Disaster Recovery Plans as Business Processes
Just Enough Formality in Assurance Argument Structures
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Gaining Confidence in the Software Development Process Using Expert Systems
A Guided Search for Races Based on Data Flow Patterns
Positive Trust Balance for Self-driving Car Deployment
Formal Development and Assessment of a Reconfigurable On-board Satellite System
Modelling and Verification of Layered Security Protocols: A Bank Application
Temporal Intent-Aware Multi-agent Learning for Network Optimization
A New SVM-Based Fraud Detection Model for AMI
RAMSS Analysis for a Co-operative Integrated Traffic Management System
A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations ,
Towards Model-Based Automatic Testing of Attack Scenarios
A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace
Multidirectional Modular Conditional Safety Certificates
Towards Verification of Multicore Motor-Drive Controllers in Aerospace
Rule-Based Safety Evidence for Neural Networks
Formal Design of Distributed Control Systems with Lustre
Dynamic Safety Contracts for Functional Cooperation of Automotive Systems
Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Safety Analysis and Evaluation of an Air Traffic Control Computing System
Creating Markov Models for Applications in the Process Industry
Management of Groups and Group Keys in Multi-level Security Environments
Formal Verification by Reverse Synthesis
From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering
Actuator Based Hazard Analysis for Safety Critical Systems
Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems
LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations
Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective
A Statistical View on Automated Driving System Safety Architectures
The Indispensable Role of Rationale in Safety Standards
Dependable AI Inference - A Work-in-Progress on CPU, Co-processor and FPGA Approaches
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis
Safety Assurance of Machine Learning for Chassis Control Functions
Safety Patterns - The Key to Formal Specification of Safety Requirements
A Watchdog Processor Architecture with Minimal Performance Overhead
Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems
Simple Methods for Error Detection and Correction for Low-Cost Nano Satellites
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems
Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving
Safe and Reliable Computer Control Systems an Overview
A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry
The Importance of Clustering in Word-Sense Induction
Regarding to the Concept of Small and Medium-Sized Enterprises Digitalization in Ukraine: Problems and Solutions
A Machine Learning Study on World Economic Impact of Intellectual Property Rights on GDP Growth with a Focus on Poland
Management of the Development of Artificial Intelligence in Healthcare
Category Classification of Content from Instagram Business Pages