Reference author: Borzoo Bonakdarpour

First name
Borzoo
Last name
Bonakdarpour
Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2024)
Bonakdarpour, B. ., Navabpour, S. ., & Fischmeister, S. . (2013). Time-triggered Runtime Verification. Formal Methods in System Design (FMSD), 43, 29-60. https://doi.org/10.1007/s10703-012-0182-0 (Original work published 2013)