Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui 0001, Raphael Weber, Konstantinos Antonopoulos, Christos Panagiotou, Christos P. Antonopoulos, Georgios Keramidas, Nikolaos S. Voros, Sena Yengec Tasdemir, Henry Hui, Kieran McLaughlin. XANDAR: Verification & Validation Approach for Safety-critical Systems. In Jürgen Becker 0001, Andrew Marshall, Tanja Harbaum, Amlan Ganguly, Fahad Siddiqui, Kieran McLaughlin, editors, 36th IEEE International System-on-Chip Conference, SOCC 2023, Santa Clara, CA, USA, September 5-8, 2023. pages 1-6, IEEE, 2023. [doi]
@inproceedings{SonigaraSSWAPAKVTHM23,
title = {XANDAR: Verification & Validation Approach for Safety-critical Systems},
author = {Balmukund Sonigara and Sakir Sezer and Fahad Siddiqui 0001 and Raphael Weber and Konstantinos Antonopoulos and Christos Panagiotou and Christos P. Antonopoulos and Georgios Keramidas and Nikolaos S. Voros and Sena Yengec Tasdemir and Henry Hui and Kieran McLaughlin},
year = {2023},
doi = {10.1109/SOCC58585.2023.10257177},
url = {https://doi.org/10.1109/SOCC58585.2023.10257177},
researchr = {https://researchr.org/publication/SonigaraSSWAPAKVTHM23},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {36th IEEE International System-on-Chip Conference, SOCC 2023, Santa Clara, CA, USA, September 5-8, 2023},
editor = {Jürgen Becker 0001 and Andrew Marshall and Tanja Harbaum and Amlan Ganguly and Fahad Siddiqui and Kieran McLaughlin},
publisher = {IEEE},
isbn = {979-8-3503-0011-6},
}