Mohamed El-Menshawy

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
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., 2024

2022
Transformation-based model checking temporal trust in multi-agent systems.
J. Syst. Softw., 2022

Agent-Based Modeling and Simulation of Multidimensional Impacts of Construction Labor Productivity Factors.
Proceedings of the Winter Simulation Conference, 2022

Using Simulation-Based Forecasting to Project Singapore's Future Residential Construction Demand and Impacts on Sustainability.
Proceedings of the Winter Simulation Conference, 2022

2020
A new approach for instance selection: Algorithms, evaluation, and comparisons.
Expert Syst. Appl., 2020

Model checking intelligent avionics systems for test cases generation using multi-agent systems.
Expert Syst. Appl., 2020

2018
Model checking real-time conditional commitment logic using transformation.
J. Syst. Softw., 2018

Verifying Temporal Trust Logic using CTL Model Checking.
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.
Fundam. Informaticae, 2017

Specifying and verifying contract-driven service compositions using commitments and model checking.
Expert Syst. Appl., 2017

New algorithms for processing time-series big EEG data within mobile health monitoring systems.
Comput. Methods Programs Biomed., 2017

Hybrid obesity monitoring model using sensors and community engagement.
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.
Comput. Biol. Medicine, 2016

2015
Computational logics and verification techniques of multi-agent commitments: survey.
Knowl. Eng. Rev., 2015

Formal Specification and Automatic Verification of Conditional Commitments.
IEEE Intell. Syst., 2015

An automatic mobile-health based approach for EEG epileptic seizures detection.
Expert Syst. Appl., 2015

Real-Time Conditional Commitment Logic.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Real time EEG compression for energy-aware continous mobile monitoring.
Proceedings of the 27th International Conference on Microelectronics, 2015

Automatic Transformation of Cloud Computing Service Composition to Verifiable Models.
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

2014
Conditional Commitments: Reasoning and Model Checking.
ACM Trans. Softw. Eng. Methodol., 2014

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.
Expert Syst. Appl., 2014

Model checking probabilistic social commitments for intelligent agent communication.
Appl. Soft Comput., 2014

On the interaction between knowledge and social commitments in multi-agent systems.
Appl. Intell., 2014

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

2013
Verifying conformance of multi-agent commitment-based protocols.
Expert Syst. Appl., 2013

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.
Auton. Agents Multi Agent Syst., 2013

Reasoning about social commitments in the presence of uncertainty.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Representing and reasoning about communicative conditional commitments.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Communicative commitments: Model checking and complexity analysis.
Knowl. Based Syst., 2012

2011
Model Checking Commitment Protocols.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

On the verification of social commitments and time.
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.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Symbolic Model Checking Commitment Protocols Using Reduction.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Symbolic model checking for agent interactions.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Enhancing Engineering Methodology for Communities of Web Services.
Proceedings of the Second Multi-Agent Logics, 2009

An Integrated Semantics of Social Commitments and Associated Operations.
Proceedings of the Second Multi-Agent Logics, 2009

Verifiable Semantic Model for Agent Interactions Using Social Commitments.
Proceedings of the Languages, 2009

A New Semantics of Social Commitments Using Branching Space-Time Logic.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009


  Loading...