| Towards Time-triggered Component-based System Models H Guesmi, B Ben Hedia, S Bliudze, S Bensalem, J Combaz ICSEA 2015, 157 to 169, 2015 | 8 | 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 | 2 | 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 | 2 | 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 | 1 | 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 | | 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 | | 2017 |
| From timed component-based systems to time-triggered implementations: a correct-by-design approach H Guesmi Université Grenoble Alpes, 2017 | | 2017 |
| Correct transformation of high-level models into time-triggered implementations H Guesmi, B Ben Hedia, S Bliudze, S Bensalem, B Lenabec, M Jan | | 2016 |
