Amine Laarej

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
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., 2024

2022
Transformation-based model checking temporal trust in multi-agent systems.
J. Syst. Softw., 2022

Formal verification of group and propagated trust in multi-agent systems.
Auton. Agents Multi Agent Syst., 2022

2020
Model checking intelligent avionics systems for test cases generation using multi-agent systems.
Expert Syst. Appl., 2020

Formalizing Group and Propagated Trust in Multi-Agent Systems.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018
Model checking real-time conditional commitment logic using transformation.
J. Syst. Softw., 2018

Verifying Temporal Trust Logic using CTL Model Checking.
Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2015
Real-Time Conditional Commitment Logic.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015


  Loading...