Cited By
View all- Colombo CPace GSeychell D(2024)Runtime Verification and AI: Addressing Pragmatic Regulatory ChallengesBridging the Gap Between AI and Reality10.1007/978-3-031-75434-0_16(225-241)Online publication date: 30-Oct-2024
- Borowski MPal CSaha SPoli LZhai XMcDonald-Maier K(2023)Anomaly Behaviour tracing of CHERI-RISC V using Hardware-Software Co-design2023 21st IEEE Interregional NEWCAS Conference (NEWCAS)10.1109/NEWCAS57931.2023.10198103(1-5)Online publication date: 26-Jun-2023
- Rao ACarreón NLysecky RRozenblit J(2022)FIRE: A Finely Integrated Risk Evaluation Methodology for Life-Critical Embedded SystemsInformation10.3390/info1310048713:10(487)Online publication date: 10-Oct-2022
- Show More Cited By