Mahieddine Dellabani

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Deterministic Finite Automaton

Timing Constraints

Temporal Properties

Real Time Systems

Top Venues

Leibniz Trans. Embed. Syst.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA (2018)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC (2017)
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
Local Planning of Multiparty Interactions with Bounded Horizons. FM (2016)