| 2022 | RTCSA | The Role of Causality in a Formal Definition of Timing Anomalies. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2021 | RTCSA | Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. | Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan |
| 2020 | FMICS | Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2018 | ISORC | QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau |
| 2017 | VECoS | 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 |
| 2016 | FDL | 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 |
| 2016 | RTAS | Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. | Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem |
| 2015 | VECoS | State Space Reduction Strategie for Model Checking Concurrent C Programs. | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |