Mahieddine Dellabani

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

M. Bozga, S. Bensalem, B. Mediouni, 2021 .

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

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

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

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

Local Planning of Multiparty Interactions with Bounded Horizons

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