Mohamed El-Menshawy

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

Communicative commitments: Model checking and complexity analysis

Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu et al. · Knowledge-Based Systems · 2012 · 44 citations

Computing, Computer Science, Formal Methods +7

Model checking intelligent avionics systems for test cases generation using multi-agent systems

Warda Elkholy, Mohamed El-Menshawy, Jamal Bentahar et al. · Expert Systems with Applications · 2020 · 22 citations

Engineering, Aerospace Engineering, Computer Science +16

Model checking probabilistic social commitments for intelligent agent communication

Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy · Applied Soft Computing · 2014 · 19 citations

Computing, Autonomous Systems, Communication +12