Mohamed Elwakil
Mohamed Elwakil
Verified email at nau.edu - Homepage
Title
Cited by
Cited by
Year
Debugging support tool for MCAPI applications
M Elwakil, Z Yang
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing …, 2010
182010
CRI: Symbolic Debugger for MCAPI Applications
M Elwakil, Z Yang, L Wang
International Symposium on Automated Technology for Verification and …, 2010
152010
Refinement types in jolie
A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera
arXiv preprint arXiv:1602.06823, 2016
132016
Message race detection for web services by an SMT-based analysis
M Elwakil, Z Yang, L Wang, Q Chen
International Conference on Autonomic and Trusted Computing, 182-194, 2010
132010
A multi-objective genetic algorithm for community detection in multidimensional social network
MM Ahmed, AI Hafez, MM Elwakil, AE Hassanien, E Hassanien
The 1st International Conference on Advanced Intelligent System and …, 2016
52016
Deterministic replay for message-passing-based concurrent programs
M Elwakil, Z Yang
ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (3), 22, 2012
42012
Deterministic replay for mcapi programs
M Elwakil, Z Yang
Proceedings of the Workshop on Parallel and Distributed Systems: Testing …, 2011
22011
Discrete Group Search Optimizer for Community Detection in Social Networks
MM Ahmed, MM Elwakil, AE Hassanien, E Hassanien
International Joint Conference on Rough Sets, 439-448, 2016
12016
DIRA: A Framework Of Data Integration Using Data Quality
RIA Monem, AH El-Bastawissy, MM Elwakil
arXiv preprint arXiv:1604.03214, 2016
12016
Discrete Group Search Optimizer for community detection in multidimensional social network
MM Ahmed, MM Elwakil, AE Hassanien, E Hassanien
2016 12th International Computer Engineering Conference (ICENCO), 47-52, 2016
2016
Debugging Support for Message-Passing Based Concurrent Software
MM Elwakil
2011
TrustSoft2015 Organizing and Program Committees
Z Yang, T Liu, M Elwakil, I Franjo, M Ganai, R Grosu, K Heljanko, J Liu, ...
The system can't perform the operation now. Try again later.
Articles 1–12