A Guided Search for Races Based on Data Flow Patterns

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security
1. Verfasser: Neubaum, Andreas (VerfasserIn)
Weitere Verfasser: Sardy, Loui Al (VerfasserIn), Spisländer, Marc (VerfasserIn), Saglietti, Francesca (VerfasserIn), Kretschmer, Sara (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
A Statistical View on Automated Driving System Safety Architectures 2022 Faller, Rainer
A Guided Search for Races Based on Data Flow Patterns 2022 Neubaum, Andreas
State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System 2022 Cieslik, Ilona
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert 2022 Martinez, Jabier
Towards Interdependent Safety Security Assessments Using Bowties 2022 Arnaboldi, Luca
Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions 2022 Jiménez, Victor J. Expósito
UNECE Threat List Case Study: Prediction of Cyber Risks in the Automotive Domain Using Regression Analysis 2022 Shaaban, Abdelkader Magdy
Watch: A Validation Framework and Language for Tool Qualification 2022 Cordeiro, Luiz
DevOps and Safety? SafeOps! Towards Ensuring Safety in Feature-Driven Development with Frequent Releases 2022 Munk, Peter
On Explainability in AI-Solutions: A Cross-Domain Survey 2022 Anton, Simon D. Duque
Neural Criticality Metric for Object Detection Deep Neural Networks 2022 Diviš, Václav
Research Questions in the Acceptance of Cybersecurity by SMFs in the EU 2022 Tooren, Merijn van
StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance Measures 2022 Akram, Mohammed Naveed
Object Detection with Probabilistic Guarantees: A Conformal Prediction Approach 2022 Grancey, Florence de
Logically Sound Arguments for the Effectiveness of ML, Safety Measures 2022 Cheng, Chih-Hong
Interval Weight-Based Abstraction for Neural Network Verification 2022 Boudardara, Fateh
Safe Design of Stable Neural Networks for Fault Detection in Small UAVs 2022 Gupta, Kavya
A Safety Assurable Human-Inspired Perception Architecture 2022 Salay, Rick
Criteria for the Analysıs of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems 2022 Ferrari, Enrico
Testing and Verification of the Deep Neural Networks Against Sparse Pixel Defects 2022 Szczepankiewicz, Michal
Alle Artikel auflisten