| 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 | 24 | 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 | 5 | 2011 |
| TracerX: Dynamic symbolic execution with interpolation (competition contribution) J Jaffar, R Maghareh, S Godboley, XL Ha Fundamental Approaches to Software Engineering 12076, 530, 2020 | 4 | 2020 |
| Optimal MC/DC test case generation J Jaffar, S Godboley, R Maghareh 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 3 | 2019 |
| TracerX: Dynamic Symbolic Execution with Interpolation J Jaffar, R Maghareh, S Godboley, XL Ha arXiv preprint arXiv:2012.00556, 2020 | 1 | 2020 |
| Toward optimal mc/dc test case generation S Godboley, J Jaffar, R Maghareh, A Dutta Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | | 2021 |
| Extending DPC++ with Support for Huawei Ascend AI Chipset W Feng, R Maghareh, KTA Wang International Workshop on OpenCL, 1-4, 2021 | | 2021 |
| 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 | | |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
