Real-Time Conditional Commitment Logic. - Warda El Kholy; Mohamed El-Menshawy; Amine Laarej; Jamal Bentahar; Faisal Al-Saqqar; Rachida Dssouli (PRIMA, 2015)

Verifying Temporal Trust Logic using CTL Model Checking. - Nagat Drawel; Jamal Bentahar; Mohamed El-Menshawy; Amine Laarej (TRUST@AAMAS, 2018)

Model checking real-time conditional commitment logic using transformation. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Amine Laarej (J. Syst. Softw., 2018)

Formalizing Group and Propagated Trust in Multi-Agent Systems. - Nagat Drawel; Jamal Bentahar; Amine Laarej; Gaith Rjoub (IJCAI, 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)

Formal verification of group and propagated trust in multi-agent systems. - Nagat Drawel; Jamal Bentahar; Amine Laarej; Gaith Rjoub (Auton. Agents Multi Agent Syst., 2022)

Transformation-based model checking temporal trust in multi-agent systems. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2022)

Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2024)