Model-Based Implementation of Parallel Real-Time Systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem; Joseph Sifakis (FASE, 2013)

Rigorous System Design Flow for Autonomous Systems. - Saddek Bensalem; Marius Bozga; Jacques Combaz; Ahlem Triki (ISoLA (1), 2014)

Optimized distributed implementation of timed component-based systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem (MEMOCODE, 2015)

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. - Ahlem Triki; Borzoo Bonakdarpour; Jacques Combaz; Saddek Bensalem (NFM, 2015)

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