Mahieddine Dellabani

According to our database, Mahieddine Dellabani authored at least 5 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Leibniz Trans. Embed. Syst., 2019

2018

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

Mahieddine Dellabani

PhD thesis, 2018

<i>S</i> BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Knowledge Based Optimization for Distributed Real-Time Systems.

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Local Planning of Multiparty Interactions with Bounded Horizons.

Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem

Proceedings of the FM 2016: Formal Methods, 2016