Medhat, R., S., R., Bonakdarpour, B., & Fischmeister, S. (2015). A Framework for Mining Hybrid Automata from Input/Output Traces Presented at the International Conference on Embedded Software (EMSOFT) conference.
Reference author: Ramy Medhat
First name
Ramy
Last name
Medhat
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 Presented at the Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE) conference. 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