Get started
Author

Belgacem Ben Hédia

Proceedings of the 32nd International Conference on Real-Time Networks and Systems
2024 · Mathieu Jan, Belgacem Ben Hédia, et al. · 13
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test
2021 · Benjamin Binder, Mihail Asavoae, et al. · IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) · 12
Specifying and Verifying Concurrent C Programs with TLA+
2015 · Amira Methni, Matthieu Lemerre, et al. · Communications in computer and information science · 12
The Role of Causality in a Formal Definition of Timing Anomalies
2022 · Benjamin Binder, Mihail Asavoae, et al. · IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) · 10
Formal Executable Models for Automatic Detection of Timing Anomalies
2018 · Asavoae, Mihail, Ben Hedia, Belgacem, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 10
PDF
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
2022 · Benjamin Binder, Mihail Asavoae, et al. · International Journal on Software Tools for Technology Transfer · 9
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
2020 · Benjamin Binder, Mihail Asavoae, et al. · Lecture notes in computer science · 5
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs
2020 · Mihail Asavoae, Imane Haur, et al. · Lecture notes in computer science · 4
Verification and Evaluation of Computer and Communication Systems
2025 · Belgacem Ben Hedia, Mohamed Ghazel, et al. · Lecture notes in computer science · 2
QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System
2018 · Briag Le Nabec, Belgacem Ben Hedia, et al. · IEEE International Symposium on Real-Time Distributed Computing (ISORC) · 2
Towards Time-triggered Component-based System Models
2015 · Guesmi, Hela, Ben Hedia, Belgacem, et al. · HAL · 2
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings
2021 · Belgacem Ben Hédia · 1
Verification and Evaluation of Computer and Communication Systems
2020 · Belgacem Ben Hedia, Sébastien Bardin, et al. · Lecture notes in computer science · 1
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs.
2019 · Mihail Asăvoae, Imane Haur, et al. · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 1
Towards an Ultra-lightweight Cryptosystem for IoT
2017 · Tasnime Omrani, Layth Sliman, et al. · Advances in intelligent systems and computing · 1
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation
2016 · Briag Le Nabec, Belgacem Ben Hedia, et al. · Forum on specification and Design Languages · 1
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations
2016 · Hela Guesmi, Belgacem Hedia, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 1
Preface to the VECoS 2020 & 2021 special issue of ISSE
2023 · Kamel Barkaoui, Belgacem Ben Hedia · Innovations in Systems and Software Engineering
PDF
Verification and Evaluation of Computer and Communication Systems
2023 · Belgacem Ben Hedia, Yassine Maleh, et al. · Lecture notes in computer science
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
2018 · Hela Guesmi, Belgacem Ben Hedia, et al. · Innovations in Systems and Software Engineering
Model-compilation challenges for cyber-physical systems
2017 · Belgacem Ben Hedia, Chokri Mraidha, et al. · Institution of Engineering and Technology eBooks
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm
2017 · Hela Guesmi, Belgacem Ben Hedia, et al. · Lecture notes in computer science
Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations
2016 · Guesmi, Hela, Ben Hedia, Belgacem, et al. · HAL
Correct Transformation of High-Level Models into Time-Triggered Implementations
2016 · Hela Guesmi, Belgacem Ben Hédia, et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne)
PDF
Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs
2015 · Methni, Amira, Lemerre, Matthieu, et al. · HAL
Works count: 33
Citation count: 87
H-index: 6
I10-index: 5
Year
Topic
Type