Demo Data from EDBT 2026 / reviewers in the wild / expert
Amine Laarej
dblp:169/6098
· DBLP profile ↗
7ranked-venue papers
0as first author
3since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 1 since 2021Software engineering, systems software and programming languages · 3 · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 67% Computational complexity · 33% | |
| Artificial intelligence
1 paper |
Multi-agent systems · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Multi-agent systems
trust modeling |
0.4 | 1 | 2020 | Formalizing Group and Propagated Trust in Multi-Agent Systems · IJCAI 2020 |
Logic in computer science › temporal logic
branching-time temporal logic |
0.4 | 1 | 2020 | Formalizing Group and Propagated Trust in Multi-Agent Systems · IJCAI 2020 |
Computational complexity › complexity of reasoning
satisfiability and model checking |
0.4 | 1 | 2020 | Formalizing Group and Propagated Trust in Multi-Agent Systems · IJCAI 2020 |
Logic in computer science
temporal logic |
0.4 | 1 | 2020 | Formalizing Group and Propagated Trust in Multi-Agent Systems · IJCAI 2020 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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. | 2 |
| 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. | 3 |
| 2022 | Transformation-based model checking temporal trust in multi-agent systems
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy |
J. Syst. Softw. | 2 |
| 2020 | Formalizing Group and Propagated Trust in Multi-Agent SystemsabstractWe present a formal framework that allows individual and group of agents to reason about their trust toward other agents. In particular, we propose a branching time temporal logic BT which includes operators that express concepts such as everyone trust, distributed trust and propagated trust. We analyze the satisfiability and model checking problems of this logic using a reduction technique. Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub |
IJCAI | 3 |
| 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. | 5 |
| 2018 | Model checking real-time conditional commitment logic using transformation
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej |
J. Syst. Softw. | 4 |
| 2015 | Real-Time Conditional Commitment Logic
Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli |
PRIMA | 3 |