Mohamed El-Menshawy

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 13

Top Topics

Service Compositions

Web Service Compositions

Temporal Properties

Top Venues

Expert Syst. Appl.

J. Syst. Softw.

Fundam. Informaticae

Publications

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. J. Syst. Softw. 213 (2024)
Lynn Shehab, Diana Salhab, Elyar Pourrahimian, Mohamed El-Menshawy, Farook Hamzeh
Agent-Based Modeling and Simulation of Multidimensional Impacts of Construction Labor Productivity Factors. WSC (2022)
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192 (2022)
Elyar Pourrahimian, Malak Al Hattab, Salam Khalife, Mohamed El-Menshawy, Simaan M. AbouRizk
Using Simulation-Based Forecasting to Project Singapore's Future Residential Construction Demand and Impacts on Sustainability. WSC (2022)
Mohamed G. Malhat, Mohamed El-Menshawy, Hamdy M. Mousa, Ashraf El-Sisi
A new approach for instance selection: Algorithms, evaluation, and comparisons. Expert Syst. Appl. 149 (2020)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli
Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. 156 (2020)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej
Model checking real-time conditional commitment logic using transformation. J. Syst. Softw. 138 (2018)
Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS (2018)
Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref, Saad Harous, Alramzana Nujum Navaz
New algorithms for processing time-series big EEG data within mobile health monitoring systems. Comput. Methods Programs Biomed. 149 (2017)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae 152 (3) (2017)
Saad Harous, Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref
Hybrid obesity monitoring model using sensors and community engagement. IWCMC (2017)
Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
Specifying and verifying contract-driven service compositions using commitments and model checking. Expert Syst. Appl. 74 (2017)
Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref
SME2EM: Smart mobile end-to-end monitoring architecture for life-long diseases. Comput. Biol. Medicine 68 (2016)
Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar
Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. FiCloud (2015)
Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli
Real-Time Conditional Commitment Logic. PRIMA (2015)
Mohamed El-Menshawy, Abdelghani Benharref, Mohamed Adel Serhani
An automatic mobile-health based approach for EEG epileptic seizures detection. Expert Syst. Appl. 42 (20) (2015)
Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref, Alramzana Nujum Navaz
Real time EEG compression for energy-aware continous mobile monitoring. ICM (2015)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. 30 (2) (2015)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli
Computational logics and verification techniques of multi-agent commitments: survey. Knowl. Eng. Rev. 30 (5) (2015)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS (2014)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy
Model checking probabilistic social commitments for intelligent agent communication. Appl. Soft Comput. 22 (2014)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41 (16) (2014)
Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Mohamed El-Menshawy
On the interaction between knowledge and social commitments in multi-agent systems. Appl. Intell. 41 (1) (2014)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. 40 (1) (2013)
Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar
Reasoning about social commitments in the presence of uncertainty. SoMeT (2013)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Auton. Agents Multi Agent Syst. 27 (3) (2013)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Representing and reasoning about communicative conditional commitments. AAMAS (2013)
Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35 (2012)
Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
On the verification of social commitments and time. AAMAS (2011)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Model Checking Commitment Protocols. IEA/AIE (2) (2011)
Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli
Symbolic model checking for agent interactions. AAMAS (2010)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Symbolic Model Checking Commitment Protocols Using Reduction. DALT (2010)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) (2010)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS (2009)
Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
An Integrated Semantics of Social Commitments and Associated Operations. MALLOW (2009)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops (2009)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Enhancing Engineering Methodology for Communities of Web Services. MALLOW (2009)