Browsing by Author Wassyng, Alan
Showing results 21 to 28 of 28
< 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 |
| Apr-2006 | Towards Automated Construction of Tabular Expressions | Wang, Yazhi |
| - | Using STPA in an ISO 26262 compliant process | Mallya, Archana |
