Reference author: Borzoo Bonakdarpour

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 2026)

Wu, W., Kumar, D., Bonakdarpour, B., & Fischmeister, S. (2013). Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques Presented at the Proc. Of the International Conference on Runtime Verification (RV) conference. (Original work published 2026)

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.

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)

Medhat, R., S., R., Bonakdarpour, B., & Fischmeister, S. (2015). A Framework for Mining Hybrid Automata from Input/Output Traces Presented at the International Conference on Embedded Software (EMSOFT) conference.

Medhat, R., Bonakdarpour, B., Kumar, D., & Fischmeister, S. (2015). Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints ACM Transactions on Embedded Computing Systems (TECS), 14, 79. https://doi.org/10.1145/2744196

Medhat, R., Bonakdarpour, B., & Fischmeister, S. (2018). Energy-efficient Multiple Producer-Consumer IEEE Transactions on Parallel and Distributed Systems. https://doi.org/10.1109/TPDS.2018.2867853

Medhat, R., Bonakdarpour, B., Fischmeister, S., & Joshi, Y. (2016). Accelerated Runtime Verification of LTL Specifications with Counting Semantics International Conference on Runtime Verification, 251-267. Madrid, Spain. https://doi.org/10.1007/978-3-319-46982-9_16