Mohamed Elwakil
Mohamed Elwakil
Verified email at uc.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
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
152010
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
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
42016
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
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
22016
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
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