Hela Guesmi

According to our database, Hela Guesmi authored at least 4 papers between 2016 and 2018.

Collaborative distances:

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

2018

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm.

Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec

Innov. Syst. Softw. Eng., 2018

2017

From timed component-based systems to time-triggered implementations : a correct-by-design approach. (Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception).

Hela Guesmi

PhD thesis, 2017

2016

Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.

Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation.

Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi

Proceedings of the 2016 Forum on Specification and Design Languages, 2016