EDBT 2026 Demo / reviewers in the wild / expert
Mahieddine Dellabani
dblp:189/1025
· DBLP profile ↗
3ranked-venue papers
2as first author
0since 2021 · last 2018
0000-0002-7437-2822ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-authorTheory of computation · 1 · 1 first-author
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.
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Concurrent programming · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
multi-agent planning |
0.2 | 1 | 2016 | Local Planning of Multiparty Interactions with Bounded Horizons · FM 2016 |
Concurrent programming
multi-party interaction |
0.1 | 1 | 2016 | Local Planning of Multiparty Interactions with Bounded Horizons · FM 2016 |
Methods — techniques the papers use, named apart from their topics
bounded horizon planning · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem |
ATVA | 4 |
| 2017 | Knowledge Based Optimization for Distributed Real-Time SystemsabstractThe design and the implementation of distributed real-time systems has always been a challenging task. A central question being how to efficiently coordinate parallel activities by means of point-to-point communication so as to keep global consistency while meeting timing constraints. In the domain of safety critical applications, system predictability allows to pre-compute optimal scheduling policies. In this paper, we consider a larger class of systems represented as compositions of timed automata subject to multiparty interactions, for which an implementation method for distributed platforms and based on intermediate model transformation already exists. To improve this approach, we developed specific static analysis techniques that, combined with local and global knowledge of the system, checks particular conditions that enables to decrease the number of messages exchanged in the system for executing each interaction, as well as to remove unnecessary scheduling overhead in some cases. Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga |
APSEC | 1 |
| 2016 | Local Planning of Multiparty Interactions with Bounded Horizons
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem |
FM | 1 |