About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. - Adel Benzina; Mario Paludetto; Jérôme Delatour (APSEC, 1997)

UML et réseaux de Petri. - Mario Paludetto; Jérôme Delatour; Adel Benzina (Tech. Sci. Informatiques, 2004)

Petri Nets-based design of real-time reconfigurable networks on chips. - Hela Ben Salah; Adel Benzina; Mohamed Khalgui (ICIS, 2015)

ELPA: A new key agreement scheme based on linear prediction of ECG features for WBAN. - Emna Kalai Zaghouani; Abderrazak Jemai; Adel Benzina; Rabah Attia (EUSIPCO, 2015)

New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems. - Aymen Gammoudi 002; Adel Benzina; Mohamed Khalgui; Daniel Chillet (SoMeT, 2015)

Reconfigurable function blocks: Extension to the standard IEC 61499. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey (AICCSA, 2016)

Verification of Reconfigurable NoC under Quality of Service Constraints. - Hela Ben Salah; Adel Benzina; Mohamed Khalgui (COMPSAC, 2016)

Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms. - Aymen Gammoudi 002; Adel Benzina; Mohamed Khalgui; Daniel Chillet (ICTAI, 2016)

ECG based authentication for e-healthcare systems: Towards a secured ECG features transmission. - Emna Kalai Zaghouani; Adel Benzina; Rabah Attia (IWCMC, 2017)

ECG biometrie template protection based on secure sketch scheme. - Emna Kalai Zaghouani; Adel Benzina; Rabah Attia (SoftCOM, 2017)

Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms. - Aymen Gammoudi 002; Daniel Chillet; Mohamed Khalgui; Adel Benzina (ENASE, 2018)

An ISO/IEC 24745 compliant ECG template protection based on linear prediction coding. - Emna Kalai Zaghouani; Adel Benzina; Rabah Attia (Int. J. Bio Inspired Comput., 2019)

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey; Zhiwu Li 001; Valeriy Vyatkin (IEEE Trans Autom. Sci. Eng., 2019)

Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous Multicore Platforms. - Aymen Gammoudi 002; Adel Benzina; Mohamed Khalgui; Daniel Chillet (IEEE Trans. Syst. Man Cybern. Syst., 2020)