Graduated (PhD, 2017

Short Biography

Ramy Medhat

Ramy Medhat received his B.Sc in 2007 from the Computer Systems Department, Faculty of Computer and Information Sciences, Ain Shams University, Cairo, Egypt.  He received his M.Sc in 2011 from the same department, thesis title "Performance evaluation of DNA based self-assembled Computer Architectures". His research interests include embedded systems, distributed systems, and runtime verification. He is currently a PhD student in the Real-Time Embedded Systems Lab, ECE, University of Waterloo.
University of Waterloo

Publications with this group


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


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 icon [pdf] (619.7 KB)


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. PDF icon [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.


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. PDF icon [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. PDF icon [paper] (2.36 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.