Warda El Kholy

Verifying conformance of multi-agent commitment-based protocols

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy et al. · Expert Systems with Applications · 2012 · 44 citations

Computing, Computer Science, Distributed Systems +11

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*

Mohamed El Menshawy, Jamal Bentahar, Warda El Kholy et al. · Autonomous Agents and Multi-Agent Systems · 2012 · 43 citations

Computing, Computer Science, Formal Methods +10

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy et al. · Expert Systems with Applications · 2014 · 27 citations

Computing, Computer Science, Information Systems +14

Conditional Commitments

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy et al. · ACM Transactions on Software Engineering and Methodology · 2014 · 23 citations

Computing, Computer Science, Formal Methods +14

Model checking real-time conditional commitment logic using transformation

Mohamed El Menshawy, Jamal Bentahar, Warda El Kholy et al. · Journal of Systems and Software · 2018 · 18 citations

Computing, Computer Engineering, Computer Science +12