Reference author: Shay Berkovich

Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2015). Runtime Verification with Minimal Intrusion Through Parallelism Formal Methods in System Design, 1-32. https://doi.org/10.1007/s10703-015-0226-3

Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2013). GPU-based Runtime Verification Presented at the IEEE International Parallel & Distributed Processing Symposium (IPDPS) conference. (Original work published 2025)

Navabpour, S., Joshi, Y., Wallace, C. W., Berkovich, S., Medhat, R., Bonakdarpour, B., & Fischmeister, S. (2013). RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs Presented at the Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE) conference. St. Petersburg, Russia.