Specifying and Verifying Concurrent C Programs with TLA+. - Amira Methni; Matthieu Lemerre; Belgacem Ben Hedia; Serge Haddad; Kamel Barkaoui (FTSCS, 2014)

State Space Reduction Strategie for Model Checking Concurrent C Programs. - Amira Methni; Matthieu Lemerre; Belgacem Ben Hedia; Serge Haddad; Kamel Barkaoui (VECoS, 2015)

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 (FDL, 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 (RTAS, 2016)

Towards an Ultra-lightweight Cryptosystem for IoT. - Tasnime Omrani; Layth Sliman; Rabei Becheikh; Safya Belghith; Belgacem Ben Hedia (SoCPaR, 2016)

QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. - Briag Le Nabec; Belgacem Ben Hedia; Jean-Philippe Babau (ISORC, 2018)

Formal Executable Models for Automatic Detection of Timing Anomalies. - Mihail Asavoae; Belgacem Ben Hedia; Mathieu Jan (WCET, 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)

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. - Mihail Asavoae; Imane Haur; Mathieu Jan; Belgacem Ben Hedia; Martin Schoeberl (CyPhy/WESE, 2019)

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. - Benjamin Binder 001; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan (FMICS, 2020)

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. - Benjamin Binder 001; Mihail Asavoae; Belgacem Ben Hedia; Florian Brandner; Mathieu Jan (RTCSA, 2021)

The Role of Causality in a Formal Definition of Timing Anomalies. - Benjamin Binder 001; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan (RTCSA, 2022)

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. - Benjamin Binder 001; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan (Int. J. Softw. Tools Technol. Transf., 2022)

Preface to the VECoS 2020 & 2021 special issue of ISSE. - Kamel Barkaoui; Belgacem Ben Hedia (Innov. Syst. Softw. Eng., 2024)