Amine Laarej

According to our database, Amine Laarej authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

2022

Transformation-based model checking temporal trust in multi-agent systems.

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy

J. Syst. Softw., 2022

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

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

Formalizing Group and Propagated Trust in Multi-Agent Systems.

Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Model checking real-time conditional commitment logic using transformation.

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej

J. Syst. Softw., 2018

Verifying Temporal Trust Logic using CTL Model Checking.

Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej

Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2015

Real-Time Conditional Commitment Logic.

Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015