Hela Guesmi

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

Collaborative distances:

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

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

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

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 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