Browsing by Author Wassyng, Alan
Showing results 27 to 36 of 36
< previous
Publication Date | Title | Author(s) |
---|---|---|
15-Apr-2011 | A Regression Test Selection Technique Applied to Legacy Systems | Abdrakhmanov, Akbar |
25-Jul-2006 | Reverse Engineering of Scientific Computation FORTRAN Code | Dragon, Olivier Étienne |
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 27 to 36 of 36
< previous