Amine Laarej

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Linear Temporal Logic

Top Venues

J. Syst. Softw.

Auton. Agents Multi Agent Syst.

Publications

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. J. Syst. Softw. 213 (2024)
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192 (2022)
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
Formal verification of group and propagated trust in multi-agent systems. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
Formalizing Group and Propagated Trust in Multi-Agent Systems. IJCAI (2020)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli
Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. 156 (2020)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej
Model checking real-time conditional commitment logic using transformation. J. Syst. Softw. 138 (2018)
Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS (2018)
Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli
Real-Time Conditional Commitment Logic. PRIMA (2015)