Ramy Medhat

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Venues

ACM Trans. Embed. Comput. Syst.

CoRR

ICCPS

SRDS

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour
Resource Optimization of Stream Processing in Layered Internet of Things. SRDS (2023)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. 30 (3) (2019)
Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour
Managing the security-energy tradeoff in distributed cyber-physical systems. ICCPS (2019)
Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Ramy Medhat, Shelby H. Funk, Barry Rountree
Scalable performance bounding under multiple constrained renewable resources. E2SC@SC (2017)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV (2016)
Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
A framework for mining hybrid automata from input/output traces. EMSOFT (2015)
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR (2014)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power-Efficient Multiple Producer-Consumer. IPDPS (2014)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power Redistribution for Optimizing Performance in MPI Clusters. CoRR (2014)
Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS (2014)
Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE (2013)

Ramy Medhat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ramy Medhat