Reference author: Borzoo Bonakdarpour

Navabpour, S., Bonakdarpour, B., & Fischmeister, S. (2012). Path-aware Time-triggered Runtime Verification Third International Conference on Runtime Verification (RV), 199-213. Istanbul, Turkey. Retrieved from http://link.springer.com/chapter/10.1007/978-3-642-35632-2_21 (Original work published 2026)

Bonakdarpour, B., Thomas, J., & Fischmeister, S. (2012). Time-triggered Program Self-monitoring Proc. Of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 260-269. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.16

Navabpour, S., Wu, C. W. W., Bonakdarpour, B., & Fischmeister, S. (2011). Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification Proc. Of the 2nd International Conference on Runtime Verification (RV), 208-222. San Francisco, USA. https://doi.org/10.1007/978-3-642-29860-8_16 (Original work published 2026)

Navabpour, S., Bonakdarpour, B., & Fischmeister, S. (2011). Optimal Instrumentation of Data-flow in Concurrent Data Structures Proc. Of the 15th International Conference On Principles Of Distributed Systems (OPODIS), 497-512. Toulouse, France. https://doi.org/10.1007/978-3-642-25873-2_34 (Original work published 2026)

Bonakdarpour, B., & Fischmeister, S. (2011). Runtime Monitoring of Time-sensitive Systems —- Tutorial Supplement Presented at the Proc. Of the 2nd International Conference on Runtime Verification (RV) conference. San Francisco, USA.

Bonakdarpour, B., Navabpour, S., & Fischmeister, S. (2011). Sampling-based Runtime Verification Proceedings of the 17th International Conference on Formal Methods (FM), 88-102. Limerick, Ireland. https://doi.org/10.1007/978-3-642-21437-0_9 (Original work published 2026)

Navabpour, S., Bonakdarpour, B., & Fischmeister, S. (2011). Software Debugging and Testing using the Abstract Diagnosis Theory Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 111-120. Chicago, USA. https://doi.org/10.1145/1967677.1967693 (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)