Local Planning of Multiparty Interactions with Bounded Horizons. - Mahieddine Dellabani; Jacques Combaz; Marius Bozga; Saddek Bensalem (FM, 2016)

Knowledge Based Optimization for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (APSEC, 2017)

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, 2018)

Formal methods for distributed real-time systems. (Méthodes formelles pour les systèmes distribués temps-réel). - Mahieddine Dellabani (2018)

Local Planning Semantics: A Semantics for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (Leibniz Trans. Embed. Syst., 2019)