Reference author: Ramy Medhat

Medhat, R. ., S., R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2015). A Framework for Mining Hybrid Automata from Input/Output Traces. International Conference on Embedded Software (EMSOFT). Presented at the.

Medhat, R. ., Bonakdarpour, B. ., Kumar, D. ., & Fischmeister, S. . (2015). Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Transactions on Embedded Computing Systems (TECS), 14, 79. https://doi.org/10.1145/2744196

Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2014). Power-efficient Multiple Producer-Consumer. IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), 669-678. Phoenix, USA. https://doi.org/10.1109/IPDPS.2014.75

Medhat, R. ., Kumar, D. ., Bonakdarpour, B. ., & Fischmeister, S. . (2014). Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems. ACM/IEEE/International/Conference/on/Cyber-Physical/Systems/(ICCPS), 115-126. Berlin, Germany: IEEE. https://doi.org/10.1109/ICCPS.2014.6843716

Navabpour, S. ., Joshi, Y. ., Wallace, C. W., Berkovich, S. ., Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs. Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE). Presented at the. St. Petersburg, Russia.

Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2018). Energy-efficient Multiple Producer-Consumer. IEEE Transactions on Parallel and Distributed Systems. https://doi.org/10.1109/TPDS.2018.2867853

Medhat, R. ., Bonakdarpour, B. ., Fischmeister, S. ., & Joshi, Y. . (2016). Accelerated Runtime Verification of LTL Specifications with Counting Semantics. International Conference on Runtime Verification, 251-267. Madrid, Spain. https://doi.org/10.1007/978-3-319-46982-9_16