Rasool Maghareh
Rasool Maghareh
Postdoctoral Research Fellow, National University of Singapore
Verified email at comp.nus.edu.sg - 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
222016
Symbolic execution for memory consumption analysis
DH Chu, J Jaffar, R Maghareh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
62016
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
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).
J Jaffar, R Maghareh, S Godboley, XL Ha
FASE, 530-534, 2020
12020
Optimal MC/DC test case generation
J Jaffar, S Godboley, R Maghareh
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–9