Borzoo Bonakdarpour

Research Assistant Professor

Short Biography

Borzoo Bonakdarpour is currently a research assistant professor with the School of Computer Science at the University of Waterloo, where he is a memeber of the Real-time Embedded Systems Group. Previously, he was a post-doctoral researcher at VERIMAG working with Professor Joseph Sifakis working on the BIP project. He obtained his Ph.D. from the Department of Computer Science and Engineering at Michigan State University under Professor Sandeep Kulkarni working on automated synthesis of distributed and real-time programs.

Contact Borzoo

Affiliation:

University of Waterloo

Publications with this group

2018

Medhat, R., B. Bonakdarpour, and S. Fischmeister, "Energy-efficient Multiple Producer-Consumer", IEEE Transactions on Parallel and Distributed Systems, 2018.

2016

Medhat, R., B. Bonakdarpour, S. Fischmeister, and Y. Joshi, "Accelerated Runtime Verification of LTL Specifications with Counting Semantics", International Conference on Runtime Verification, Madrid, Spain, pp. 251--267, 2016.

[pdf] (619.7 KB)

2015

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

[paper] (1.77 MB)

Medhat, R., B. Bonakdarpour, D. Kumar, and S. Fischmeister, "Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints", ACM Transactions on Embedded Computing Systems (TECS), vol. 14, issue 4, pp. 79, 2015.

Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "Runtime Verification with Minimal Intrusion Through Parallelism", Formal Methods in System Design, pp. 1-32, 2015.

2014

Medhat, R., B. Bonakdarpour, and S. Fischmeister, "Power-efficient Multiple Producer-Consumer", IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), Phoenix, USA, pp. 669--678, 2014.

[paper] (680.49 KB)

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

[paper] (2.36 MB)

2013

Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "GPU-based Runtime Verification", IEEE International Parallel & Distributed Processing Symposium (IPDPS), May, 2013.

[paper] (388.53 KB)

Wu, W., D. Kumar, B. Bonakdarpour, and S. Fischmeister, "Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques", Proc. of the International Conference on Runtime Verification (RV), Sept, 2013.

[paper] (1.18 MB)

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

Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Time-triggered Runtime Verification", Formal Methods in System Design (FMSD), vol. 43, issue 1, pp. 29--60, 2013.

[paper] (2.95 MB)

2012

Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Path-aware Time-triggered Runtime Verification", Third International Conference on Runtime Verification (RV), Istanbul, Turkey, pp. 199-213, September, 2012.

[paper] (509.83 KB)

Bonakdarpour, B., J. Thomas, and S. Fischmeister, "Time-triggered Program Self-monitoring", Proc. of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, pp. 260-269, 2012.

[paper] (377.34 KB)

2011

Navabpour, S., C. Wah Wallac Wu, B. Bonakdarpour, and S. Fischmeister, "Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, pp. 208-222, September, 2011.

[paper] (433.08 KB)

Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Optimal Instrumentation of Data-flow in Concurrent Data Structures", Proc. of the 15th International Conference On Principles Of Distributed Systems (OPODIS), Toulouse, France, pp. 497-512, December, 2011.

[paper] (417.18 KB)

Bonakdarpour, B., and S. Fischmeister, "Runtime Monitoring of Time-sensitive Systems --- Tutorial Supplement", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, 2011.

[tutorial] (1.28 MB)

Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Sampling-based Runtime Verification", Proceedings of the 17th International Conference on Formal Methods (FM), Limerick, Ireland, pp. 88-102, June, 2011.

[paper] (1.45 MB)

Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "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), Chicago, USA, pp. 111-120, April, 2011.

[paper] (186.14 KB)