Mahieddine Dellabani

Local Planning of Multiparty Interactions with Bounded Horizons

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2016, FM.

Knowledge Based Optimization for Distributed Real-Time Systems

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

Local Planning Semantics: A Semantics for Distributed Real-Time Systems

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2019, Leibniz Trans. Embed. Syst..

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

Mahieddine Dellabani, 2018 .

S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems

Axel Legay, Marius Bozga, Saddek Bensalem, 2018, ATVA.