Modelling of Updating Moving Object Database Using Timed Petri Net Model. - Hatem Abdul-Kader; Warda El Kholy (Int. Arab J. Inf. Technol., 2010)

Representing and reasoning about communicative conditional commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 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)

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)

Real-Time Conditional Commitment Logic. - Warda El Kholy; Mohamed El-Menshawy; Amine Laarej; Jamal Bentahar; Faisal Al-Saqqar; Rachida Dssouli (PRIMA, 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)

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)

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)