Belgacem Ben Hedia

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Abnormal Behavior

Hardware And Software

Top Venues

Innov. Syst. Softw. Eng.

Publications

Kamel Barkaoui, Belgacem Ben Hedia
Preface to the VECoS 2020 & 2021 special issue of ISSE. Innov. Syst. Softw. Eng. 20 (1) (2024)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
The Role of Causality in a Formal Definition of Timing Anomalies. RTCSA (2022)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. RTCSA (2021)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. FMICS (2020)
Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. CyPhy/WESE (2019)
Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan
Formal Executable Models for Automatic Detection of Timing Anomalies. WCET (2018)
Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau
QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. ISORC (2018)
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. 14 (2) (2018)
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS (2017)
Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. FDL (2016)
Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS (2016)
Tasnime Omrani, Layth Sliman, Rabei Becheikh, Safya Belghith, Belgacem Ben Hedia
Towards an Ultra-lightweight Cryptosystem for IoT. SoCPaR (2016)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS (2015)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS (2014)