Cited By
View all- Leach KTimperley CAngstadt KNguyen-Tuong AHiser JPaulos APal PHurley PThomas CDavidson JForrest SGoues CWeimer W(2022)START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00018(73-84)Online publication date: Oct-2022
- Saieva AKaiser G(2022)Update with careJournal of Systems and Software10.1016/j.jss.2022.111381191:COnline publication date: 1-Sep-2022
- Jang JVerbeek FRavindran B(2021)Verification of Functional Correctness of Code Diversification TechniquesNASA Formal Methods10.1007/978-3-030-76384-8_11(160-179)Online publication date: 19-May-2021
- Show More Cited By