Ramy Medhat - RankMe

14 papers A 1B 2Misc 1Journal 5Unranked 4

Year	Rank	Type	Title / 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