Ph.D. student (Graduated, 2017)
Ramy Medhat
Publications
2023
Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour,
"Resource Optimization of Stream Processing in Layered Internet of Things"
The 42nd International Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2023.
srds23.pdf
(497.11 KB)
2019
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Energy-Efficient Multiple Producer-Consumer"
IEEE Transactions on Parallel and Distributed Systems (TPDS),
IEEE,
2019.
tpds19.pdf
(1007.7 KB)
Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour,
"Managing the security-energy tradeoff in distributed cyber-physical systems"
The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS),
ACM,
2019.
iccps19.pdf
(2.54 MB)
2017
Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Managing the Performance/Error Tradeoff of Floating-point Intensive Applications"
ACM Transactions on Embedded Computing Systems, Volume 16,
ACM,
2017.
2016
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi,
"Accelerated Runtime Verification of LTL Specifications with Counting Semantics"
International Conference on Runtime Verification (RV),
Springer,
2016.
rv16.pdf
(731.69 KB)
2015
Ramy Medhat, Ramesh S., Borzoo Bonakdarpour, Sebastian Fischmeister,
"A Framework for Mining Hybrid Automata from Input/Output Traces"
International Conference on Embedded Software (EMSOFT),
ACM,
2015.
emsoft15.pdf
(1.77 MB)
Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister,
"Runtime Monitoring of Cyber-physical Systems under Timing and Memory Constraints"
ACM Transactions on Embedded Computing Systems (TECS),
ACM,
2015.
tecs15.pdf
(1.26 MB)
2014
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Power-efficient Multiple Producer-Consumer"
IEEE International Parallel & Distributed Processing Symposium (IPDPS),
IEEE,
2014.
ipdps14.pdf
(796.27 KB)
Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems"
In ACM International Conference on Cyber-physical Systems (ICCPS),
,
2014.
iccps14.pdf
(2.44 MB)
