Ahlem Triki

Distributed Implementations of Timed Component-based Systems. (Implémentations distribuées des systèmes temps-réel à base de composants)

Ahlem Triki, 2015 .

Rigorous System Design Flow for Autonomous Systems

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2014, ISoLA.

Distributed Implementations of Timed Component-based Systems

Ahlem Triki, Ahlem Triki, 2015 .

Model-Based Implementation of Parallel Real-Time Systems

Joseph Sifakis, Saddek Bensalem, Jacques Combaz, 2013, FASE.

Optimized distributed implementation of timed component-based systems

Saddek Bensalem, Jacques Combaz, Ahlem Triki, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models

Borzoo Bonakdarpour, Saddek Bensalem, Jacques Combaz, 2015, NFM.