Browsing by Author Wassyng, Alan
Showing results 29 to 36 of 36
< previous
Publication Date | Title | Author(s) |
---|---|---|
2019 | Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles | Shah, Syed Asim |
2016 | Secure and Trusted Partial White-box Verification Based on Garbled Circuits | Zhong, Hongsheng |
Jun-2015 | Secure and Trusted Verification | Cai, Yixian |
2019 | Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles | Deevy, Spencer |
2021 | A Systematic Approach to Hazard and Operability Study (HAZOP) | Aoanan, Paul |
Apr-2006 | Towards Automated Construction of Tabular Expressions | Wang, Yazhi |
19-Sep-2023 | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities | Bandur, Victor; Lawford, Mark; Mosser, Sébastien; Paige, Richard; Pantelic, Vera; Wassyng, Alan |
- | Using STPA in an ISO 26262 compliant process | Mallya, Archana |
Showing results 29 to 36 of 36
< previous