Mohamed El-Menshawy

According to our database, Mohamed El-Menshawy authored at least 38 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383].

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy

J. Syst. Softw., 2024

2022

Transformation-based model checking temporal trust in multi-agent systems.

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy

J. Syst. Softw., 2022

Agent-Based Modeling and Simulation of Multidimensional Impacts of Construction Labor Productivity Factors.

Lynn Shehab, Diana Salhab, Elyar Pourrahimian, Mohamed El-Menshawy, Farook Hamzeh

Proceedings of the Winter Simulation Conference, 2022

Using Simulation-Based Forecasting to Project Singapore's Future Residential Construction Demand and Impacts on Sustainability.

Elyar Pourrahimian, Malak Al Hattab, Salam Khalife, Mohamed El-Menshawy, Simaan M. AbouRizk

Proceedings of the Winter Simulation Conference, 2022

2020

A new approach for instance selection: Algorithms, evaluation, and comparisons.

Mohamed G. Malhat, Mohamed El-Menshawy, Hamdy M. Mousa, Ashraf El-Sisi

Expert Syst. Appl., 2020

Model checking intelligent avionics systems for test cases generation using multi-agent systems.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli

Expert Syst. Appl., 2020

2018

Model checking real-time conditional commitment logic using transformation.

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej

J. Syst. Softw., 2018

Verifying Temporal Trust Logic using CTL Model Checking.

Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej

Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication.

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Fundam. Informaticae, 2017

Specifying and verifying contract-driven service compositions using commitments and model checking.

Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli

Expert Syst. Appl., 2017

New algorithms for processing time-series big EEG data within mobile health monitoring systems.

Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref, Saad Harous, Alramzana Nujum Navaz

Comput. Methods Programs Biomed., 2017

Hybrid obesity monitoring model using sensors and community engagement.

Saad Harous, Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref

Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017

2016

SME2EM: Smart mobile end-to-end monitoring architecture for life-long diseases.

Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref

Comput. Biol. Medicine, 2016

2015

Computational logics and verification techniques of multi-agent commitments: survey.

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli

Knowl. Eng. Rev., 2015

Formal Specification and Automatic Verification of Conditional Commitments.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

IEEE Intell. Syst., 2015

An automatic mobile-health based approach for EEG epileptic seizures detection.

Mohamed El-Menshawy, Abdelghani Benharref, Mohamed Adel Serhani

Expert Syst. Appl., 2015

Real-Time Conditional Commitment Logic.

Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Real time EEG compression for energy-aware continous mobile monitoring.

Mohamed Adel Serhani, Mohamed El-Menshawy, Abdelghani Benharref, Alramzana Nujum Navaz

Proceedings of the 27th International Conference on Microelectronics, 2015

Automatic Transformation of Cloud Computing Service Composition to Verifiable Models.

Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar

Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

2014

Conditional Commitments: Reasoning and Model Checking.

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

ACM Trans. Softw. Eng. Methodol., 2014

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Expert Syst. Appl., 2014

Model checking probabilistic social commitments for intelligent agent communication.

Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy

Appl. Soft Comput., 2014

On the interaction between knowledge and social commitments in multi-agent systems.

Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Mohamed El-Menshawy

Appl. Intell., 2014

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

2013

Verifying conformance of multi-agent commitment-based protocols.

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli

Expert Syst. Appl., 2013

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli

Auton. Agents Multi Agent Syst., 2013

Reasoning about social commitments in the presence of uncertainty.

Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Representing and reasoning about communicative conditional commitments.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Communicative commitments: Model checking and complexity analysis.

Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Knowl. Based Syst., 2012

2011

Model Checking Commitment Protocols.

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Proceedings of the Modern Approaches in Applied Intelligence, 2011

On the verification of social commitments and time.

Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Symbolic Model Checking Commitment Protocols Using Reduction.

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Symbolic model checking for agent interactions.

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Enhancing Engineering Methodology for Communities of Web Services.

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Proceedings of the Second Multi-Agent Logics, 2009

An Integrated Semantics of Social Commitments and Associated Operations.

Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli

Proceedings of the Second Multi-Agent Logics, 2009

Verifiable Semantic Model for Agent Interactions Using Social Commitments.

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Proceedings of the Languages, 2009

A New Semantics of Social Commitments Using Branching Space-Time Logic.

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009