Follow
Rasool Maghareh
Rasool Maghareh
Senior R&D Software Engineer at Huawei Canada Research Centre
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
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
292016
TracerX: Dynamic symbolic execution with interpolation (competition contribution)
J Jaffar, R Maghareh, S Godboley, XL Ha
Fundamental Approaches to Software Engineering 12076, 530, 2020
152020
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
112021
Extending DPC++ with Support for Huawei Ascend AI Chipset
W Feng, R Maghareh, KTA Wang
International Workshop on OpenCL, 1-4, 2021
82021
Symbolic execution for memory consumption analysis
DH Chu, J Jaffar, R Maghareh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
82016
Optimal MC/DC test case generation
J Jaffar, S Godboley, R Maghareh
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
62019
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
42011
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: Volume 1 …, 2012
2012
Precise Cache Timing Analysis via Symbolic Simulation
DH Chu, J Jaffar, R Maghareh
The system can't perform the operation now. Try again later.
Articles 1–10