Ahlem Triki

According to our database, Ahlem Triki authored at least 5 papers between 2013 and 2015.

Collaborative distances:

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

2015

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

Ahlem Triki

PhD thesis, 2015

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

Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Optimized distributed implementation of timed component-based systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

Rigorous System Design Flow for Autonomous Systems.

Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Model-Based Implementation of Parallel Real-Time Systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis

Proceedings of the Fundamental Approaches to Software Engineering, 2013