À¶Ý®ÊÓƵ

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

Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2015). Runtime Verification with Minimal Intrusion Through Parallelism. Formal Methods in System Design, 1-32. https://doi.org/10.1007/s10703-015-0226-3

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

Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2025)

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