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
192010
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
162010
CRI: Symbolic Debugger for MCAPI Applications
M Elwakil, Z Yang, L Wang
International Symposium on Automated Technology for Verification and …, 2010
162010
Refinement types in jolie
A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera
arXiv preprint arXiv:1602.06823, 2016
142016
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
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
International Journal of Data Mining & Knowledge Management Process 6 (2), 2016
12016
Smart Predictive Analysis for Testing Message-passing Applications
M Elwakil
Computational Intelligence Techniques and their Applications to Software …, 2020
2020
Debugging Support for Message-Passing Based Concurrent Software
MM Elwakil
2011
The system can't perform the operation now. Try again later.
Articles 1–12