Warda El Kholy

According to our database, Warda El Kholy authored at least 13 papers between 2010 and 2020.

Collaborative distances:

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

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

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

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

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

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

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

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

2010

Modelling of Updating Moving Object Database Using Timed Petri Net Model.

Hatem Abdul-Kader, Warda El Kholy

Int. Arab J. Inf. Technol., 2010