Reference author: Borzoo Bonakdarpour

Medhat, R., Bonakdarpour, B., & Fischmeister, S. (2014). Power-efficient Multiple Producer-Consumer IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), 669-678. Phoenix, USA. https://doi.org/10.1109/IPDPS.2014.75

Medhat, R., Kumar, D., Bonakdarpour, B., & Fischmeister, S. (2014). Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems ACM/IEEE/International/Conference/on/Cyber-Physical/Systems/(ICCPS), 115-126. Berlin, Germany: IEEE. https://doi.org/10.1109/ICCPS.2014.6843716

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)

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 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.

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., 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