Ramy Medhat

According to our database, Ramy Medhat authored at least 13 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Resource Optimization of Stream Processing in Layered Internet of Things.

Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour

Proceedings of the 42nd International Symposium on Reliable Distributed Systems, 2023

2019

Energy-Efficient Multiple Producer-Consumer.

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister

IEEE Trans. Parallel Distributed Syst., 2019

Managing the security-energy tradeoff in distributed cyber-physical systems.

Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

2017

Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications.

Ramy Medhat

PhD thesis, 2017

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications.

Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister

ACM Trans. Embed. Comput. Syst., 2017

Scalable performance bounding under multiple constrained renewable resources.

Ramy Medhat, Shelby H. Funk, Barry Rountree

Proceedings of the 5th International Workshop on Energy Efficient Supercomputing, 2017

2016

Accelerated Runtime Verification of LTL Specifications with Counting Semantics.

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints.

Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister

ACM Trans. Embed. Comput. Syst., 2015

A framework for mining hybrid automata from input/output traces.

Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Power Redistribution for Optimizing Performance in MPI Clusters.

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister

CoRR, 2014

Power-Efficient Multiple Producer-Consumer.

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems.

Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2013

RiTHM: a tool for enabling time-triggered runtime verification for C programs.

Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013