A New Semantics of Social Commitments Using Branching Space-Time Logic. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (Web Intelligence/IAT Workshops, 2009)

Verifiable Semantic Model for Agent Interactions Using Social Commitments. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (LADS, 2009)

An Integrated Semantics of Social Commitments and Associated Operations. - Jamal Bentahar; Mohamed El-Menshawy; Rachida Dssouli (MALLOW, 2009)

Enhancing Engineering Methodology for Communities of Web Services. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (MALLOW, 2009)

Symbolic model checking for agent interactions. - Mohamed El-Menshawy; Wei Wan; Jamal Bentahar; Rachida Dssouli (AAMAS, 2010)

Symbolic Model Checking Commitment Protocols Using Reduction. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (DALT, 2010)

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (KES-AMSTA (2), 2010)

On the verification of social commitments and time. - Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 2011)

Model Checking Commitment Protocols. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (IEA/AIE (2), 2011)

Communicative commitments: Model checking and complexity analysis. - Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Knowl. Based Syst., 2012)

Representing and reasoning about communicative conditional commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 2013)

Reasoning about social commitments in the presence of uncertainty. - Khalid Sultan; Mohamed El-Menshawy; Jamal Bentahar (SoMeT, 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)

Verifying conformance of multi-agent commitment-based protocols. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Rachida Dssouli (Expert Syst. Appl., 2013)

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (ICWS, 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)

Model checking probabilistic social commitments for intelligent agent communication. - Khalid Sultan; Jamal Bentahar; Mohamed El-Menshawy (Appl. Soft Comput., 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 001; Rachida Dssouli (Expert Syst. Appl., 2014)

Conditional Commitments: Reasoning and Model Checking. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (ACM Trans. Softw. Eng. Methodol., 2014)

Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. - Ana Vazquez; Mohamed El-Menshawy; Jamal Bentahar (FiCloud, 2015)

Real time EEG compression for energy-aware continous mobile monitoring. - Mohamed Adel Serhani; Mohamed El-Menshawy; Abdelghani Benharref; Alramzana Nujum Navaz (ICM, 2015)

Real-Time Conditional Commitment Logic. - Warda El Kholy; Mohamed El-Menshawy; Amine Laarej; Jamal Bentahar; Faisal Al-Saqqar; Rachida Dssouli (PRIMA, 2015)

An automatic mobile-health based approach for EEG epileptic seizures detection. - Mohamed El-Menshawy; Abdelghani Benharref; Mohamed Adel Serhani (Expert Syst. Appl., 2015)

Formal Specification and Automatic Verification of Conditional Commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (IEEE Intell. Syst., 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)

SME2EM: Smart mobile end-to-end monitoring architecture for life-long diseases. - Mohamed Adel Serhani; Mohamed El-Menshawy; Abdelghani Benharref (Comput. Biol. Medicine, 2016)

Hybrid obesity monitoring model using sensors and community engagement. - Saad Harous; Mohamed Adel Serhani; Mohamed El-Menshawy; Abdelghani Benharref (IWCMC, 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)

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)

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Fundam. Informaticae, 2017)

Verifying Temporal Trust Logic using CTL Model Checking. - Nagat Drawel; Jamal Bentahar; Mohamed El-Menshawy; Amine Laarej (TRUST@AAMAS, 2018)

Model checking real-time conditional commitment logic using transformation. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Amine Laarej (J. Syst. Softw., 2018)

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)

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)

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 (WSC, 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 (WSC, 2022)

Transformation-based model checking temporal trust in multi-agent systems. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2022)

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)

Automating Pipe Spool Fabrication Shop Scheduling for Modularized Industrial Construction Projects Using Reinforcement Learning. - Mohamed El-Menshawy; Lingzi Wu; Brian Gue; Simaan M. AbouRizk (J. Comput. Civ. Eng., 2025)