Precise cache timing analysis via symbolic execution DH Chu, J Jaffar, R Maghareh 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016 | 22 | 2016 |
Symbolic execution for memory consumption analysis DH Chu, J Jaffar, R Maghareh Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016 | 6 | 2016 |
Evaluation of management indicators in projects MR Maghareh, S Mohammadzadeh, FM Alinejad, R Maghareh IPEDR-International Proceedings of Economics Development and Research 15, 49-54, 2011 | 4 | 2011 |
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). J Jaffar, R Maghareh, S Godboley, XL Ha FASE, 530-534, 2020 | 1 | 2020 |
Optimal MC/DC test case generation J Jaffar, S Godboley, R Maghareh 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 1 | 2019 |
TracerX: Dynamic Symbolic Execution with Interpolation J Jaffar, R Maghareh, S Godboley, XL Ha arXiv preprint arXiv:2012.00556, 2020 | | 2020 |
PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION R MAGHAREH | | 2016 |
Enhancement of Template-Based Face Detection by Belief Propagation in Ordered Component Search H Nejati, E Bayat, AJ Torabi, R Maghareh Recent Advances in Computer Science and Information Engineering, 693-698, 2012 | | 2012 |
Precise Cache Timing Analysis via Symbolic Simulation DH Chu, J Jaffar, R Maghareh | | |