Ramy Medhat

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