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: Borzoo Bonakdarpour
First name
Borzoo
Last name
Bonakdarpour
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 Presented at the IEEE International Parallel & Distributed Processing Symposium (IPDPS) conference. (Original work published 2026)
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