Guesmi Hela
Cited by
Cited by
Towards Time-triggered Component-based System Models
H Guesmi, B Ben Hedia, S Bliudze, S Bensalem, J Combaz
ICSEA 2015, 157 to 169, 2015
Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations
H Guesmi, BB Hedia, S Bliudze, M Jan, S Bensalem
RTAS, 13, 2016
Externalisation of Time-Triggered communication system in BIP high level models
H Guesmi, BB Hedia, S Bliudze, S Bensalem
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), 47-50, 2014
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation
B Le Nabec, BB Hedia, JP Babau, M Jan, H Guesmi
2016 Forum on Specification and Design Languages (FDL), 1-8, 2016
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
H Guesmi, B Ben Hedia, S Bliudze, S Bensalem, B Lenabec
Innovations in Systems and Software Engineering 14, 117-142, 2018
Des systèmes à base de composants aux implémentations cadencées par le temps: une approche correcte par conception
H Guesmi
Université Grenoble Alpes (ComUE), 2017
From timed component-based systems to time-triggered implementations: a correct-by-design approach
H Guesmi
Université Grenoble Alpes, 2017
Correct transformation of high-level models into time-triggered implementations
H Guesmi, B Ben Hedia, S Bliudze, S Bensalem, B Lenabec, M Jan
The system can't perform the operation now. Try again later.
Articles 1–8