Mohamed El-Menshawy

39 papers A 4B 2C 1Misc 2Journal 20Unranked 10

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