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

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

2013

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.