Warda El Kholy

13 papers A 2B 1Journal 10
YearRankTypeTitle / Venue / Authors
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
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
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 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
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 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 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
2010 J jnl
Modelling of Updating Moving Object Database Using Timed Petri Net Model.
Int. Arab J. Inf. Technol.
Hatem Abdul-Kader, Warda El Kholy