Follow
Rasool Maghareh
Rasool Maghareh
Senior R&D Software Engineer at Huawei Canada Research Centre
Verified email at lemurianlabs.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
312016
TracerX: Dynamic symbolic execution with interpolation (competition contribution)
J Jaffar, R Maghareh, S Godboley, XL Ha
Fundamental Approaches to Software Engineering 12076, 530, 2020
192020
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
152021
Extending dpc++ with support for huawei ascend ai chipset
W Feng, R Maghareh, KTA Wang
Proceedings of the 9th International Workshop on OpenCL, 1-4, 2021
122021
Optimal MC/DC test case generation
J Jaffar, S Godboley, R Maghareh
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
92019
Symbolic execution for memory consumption analysis
DH Chu, J Jaffar, R Maghareh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
92016
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
Toward Optimal Mc/Dc Test Case Generation (ISSTA 2021). Association for Computing Machinery, New York, NY, USA, 505–516
S Godboley, J Jaffar, R Maghareh, A Dutta
32021
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)
A Dutta, R Maghareh, J Jaffar, S Godboley, XL Yu
International Conference on Fundamental Approaches to Software Engineering …, 2024
12024
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
TracerX-Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
A Dutta, R Maghareh, J Jaffar
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–13