Concepedia

Amine Laarej

AL

Statistics

Publications

5

Citations

103

H-Index

5

Active since

2018

Affiliations

Concordia University(Current)

Menoufia University

Amine Laarej is an author at Concordia University specializing in computer science, model checking, and computing.

Publications per year

2018–2022

5

Publications

5

Formal verification of group and propagated trust in multi-agent systems

Nagat Drawel, Jamal Bentahar, Amine Laarej et al. · Autonomous Agents and Multi-Agent Systems · 2022 · 30 citations

Computing, Computer Science, Systems Engineering +14

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

Formalizing Group and Propagated Trust in Multi-Agent Systems

Nagat Drawel, Jamal Bentahar, Amine Laarej et al. · 2020 · 20 citations · Full text

Computing, Computer Science, Distributed Systems +16

Model checking real-time conditional commitment logic using transformation

Mohamed El Menshawy, Jamal Bentahar, Warda El Kholy et al. · Journal of Systems and Software · 2018 · 18 citations

Computing, Computer Engineering, Computer Science +12

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

Nagat Drawel, Amine Laarej, Jamal Bentahar et al. · Journal of Systems and Software · 2022 · 13 citations

Computing, Computer Science, Systems Engineering +15

1–5 of 5