RiTHM: a tool for enabling time-triggered runtime verification for C programs S Navabpour, Y Joshi, W Wu, S Berkovich, R Medhat, B Bonakdarpour, ... Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 57 | 2013 |
A framework for mining hybrid automata from input/output traces R Medhat, S Ramesh, B Bonakdarpour, S Fischmeister 2015 International Conference on Embedded Software (EMSOFT), 177-186, 2015 | 44 | 2015 |
Runtime monitoring of cyber-physical systems under timing and memory constraints R Medhat, B Bonakdarpour, D Kumar, S Fischmeister ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-29, 2015 | 37 | 2015 |
Accelerated runtime verification of LTL specifications with counting semantics R Medhat, B Bonakdarpour, S Fischmeister, Y Joshi Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 11 | 2016 |
Parallelized runtime verification of first-order LTL specifications R Medhat, Y Joshi, B Bonakdarpour, S Fischmeister Technical Report CS-2014–11, University of Waterloo, 2014 | 10 | 2014 |
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems R Medhat, D Kumar, B Bonakdarpour, S Fischmeister 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014 | 9 | 2014 |
Managing the performance/error tradeoff of floating-point intensive applications R Medhat, MO Lam, BL Rountree, B Bonakdarpour, S Fischmeister ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 8 | 2017 |
Energy-efficient multiple producer-consumer R Medhat, B Bonakdarpour, S Fischmeister IEEE Transactions on Parallel and Distributed Systems 30 (3), 560-574, 2018 | 4 | 2018 |
Accelerated runtime verification of LTL specifications with counting semantics R Medhat, Y Joshi, B Bonakdarpour, S Fischmeister arXiv preprint arXiv:1411.2239, 2014 | 4 | 2014 |
Runtime verification with controllable time predictability and memory utilization R Medhat, D Kumar, B Bonakdarpour, S Fischmeister Technical Report CS-2013-02, 2013 | 3 | 2013 |
Managing the security-energy tradeoff in distributed cyber-physical systems AD Vu, R Medhat, B Bonakdarpour Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 2 | 2019 |
Scalable performance bounding under multiple constrained renewable resources R Medhat, S Funk, B Rountree Proceedings of the 5th International Workshop on Energy Efficient …, 2017 | 2 | 2017 |
Power-efficient multiple producer-consumer R Medhat, B Bonakdarpour, S Fischmeister 2014 IEEE 28th International Parallel and Distributed Processing Symposium …, 2014 | 2 | 2014 |
Resource Optimization of Stream Processing in Layered Internet of Things A Momtaz, R Medhat, B Bonakdarpour 2023 42nd International Symposium on Reliable Distributed Systems (SRDS …, 2023 | | 2023 |
Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications R Medhat University of Waterloo, 2018 | | 2018 |
Power Redistribution for Optimizing Performance in MPI Clusters R Medhat, B Bonakdarpour, S Fischmeister arXiv preprint arXiv:1410.6824, 2014 | | 2014 |
2023 42nd International Symposium on Reliable Distributed Systems (SRDS)| 979-8-3503-2910-0/23/$31.00© 2023 IEEE| DOI: 10.1109/SRDS60354. 2023.00034 D Abbott, A Abuadbba, M Ahn, S Al-Kiswany, F Alves, E Anceaume, ... | | |