( en | de | ru )

 

Disambiguation of "Medhat, Ramy"

Author of the publication

copydeleteadd this publication to your clipboard
A framework for mining hybrid automata from input/output traces.

, , , and . EMSOFT, page 177-186. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Medhat Mobayed

Ramy Zoubi

Ramy Ammar

Medhat Demian

Ramy Wannous

 

Other publications of authors with the same name

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications., , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 184:1-184:19 (2017)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 251-267. Springer, (2016)Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems., , , and . ICCPS, page 115-126. IEEE Computer Society, (2014)Managing the security-energy tradeoff in distributed cyber-physical systems., , and . ICCPS, page 118-128. ACM, (2019)Resource Optimization of Stream Processing in Layered Internet of Things., , and . SRDS, page 221-231. IEEE, (2023)Power-Efficient Multiple Producer-Consumer., , and . IPDPS, page 669-678. IEEE Computer Society, (2014)Energy-Efficient Multiple Producer-Consumer., , and . IEEE Trans. Parallel Distributed Syst., 30 (3): 560-574 (2019)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . CoRR, (2014)Power Redistribution for Optimizing Performance in MPI Clusters., , and . CoRR, (2014)Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints., , , and . ACM Trans. Embed. Comput. Syst., 14 (4): 79:1-79:29 (2015)