| Analysing the Safety of Decision-Making in Autonomous Systems
|
2022 |
Osborne, Matt |
| Safety Certification with the Open Source Microkernel-Based Operating System L4Re
|
2022 |
Lampka, Kai |
| ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
|
2022 |
Oh, Chanwook |
| SAILFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms
|
2022 |
Dietrich, Christian |
| Architectural Patterns for Handlıng Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception
|
2022 |
Groß, Janek |
| Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs
|
2022 |
Qutub, Syed |
| Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles
|
2022 |
Kolb, Nicola |
| Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components
|
2022 |
Bishop, Peter |
| Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems
|
2022 |
Ramakrishna, Shreyas |
| Generating Assurance Cases Using Workflows + Models
|
2022 |
Annable, Nicholas |
| STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection
|
2022 |
Gautham, Smitha |
| Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization
|
2022 |
Jimenez-Roa, Lisandro Arturo |
| Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases
|
2022 |
Idmessaoud, Yassir |
| Impact of Machine Learning on Safety Monitors
|
2022 |
Terrosi, Francesco |
| Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems
|
2022 |
Bajan, Pierre-Marie |
| Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate
|
2022 |
Khan, Anamta |
| ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation
|
2022 |
Thomas, Tim-Marek |
| Quality of Fault Injection Strategies on Hardware Accelerator
|
2022 |
Guinebert, Iban |
| Exploring a Maximal Number of Relevant Obstacles for Testing UAVs
|
2022 |
Schmidt, Tabea |
| BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis
|
2022 |
Maier, Robert |
Tag hinzufügen