Hela Guesmi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2018

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigmHela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec. isse, 14(2):117-142, 2018. [doi]

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, Grenoble Alpes University, France, 2017. [doi]

TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered ParadigmHela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec. vecos 2017: 171-188 [doi]

2016

Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered ImplementationsHela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem. rtas 2016: 52 [doi]

Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementationBriag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi. fdl 2016: 1-8 [doi]

Sign in or sign up to see more results.

runs on WebDSL