Volgen
Adel BENZINA
Adel BENZINA
LISI Université de Carthage et ISD université de la Manouba
Geverifieerd e-mailadres voor isd.rnu.tn
Titel
Geciteerd door
Geciteerd door
Jaar
ECG based authentication for e-healthcare systems: Towards a secured ECG features transmission
EK Zaghouani, A Benzina, R Attia
2017 13th international wireless communications and mobile computing …, 2017
472017
ELPA: A new key agreement scheme based on linear prediction of ECG features for WBAN
EK Zaghouani, A Jemai, A Benzina, R Attia
2015 23rd European signal processing conference (EUSIPCO), 81-85, 2015
312015
Energy-efficient scheduling of real-time tasks in reconfigurable homogeneous multicore platforms
A Gammoudi, A Benzina, M Khalgui, D Chillet
IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (12), 5092-5105, 2018
232018
Designing efficient reconfigurable control systems using IEC61499 and symbolic model checking
S Guellouz, A Benzina, M Khalgui, G Frey, Z Li, V Vyatkin
IEEE Transactions on Automation Science and Engineering 16 (3), 1110-1124, 2018
222018
New pack oriented solutions for energy-aware feasible adaptive real-time systems
A Gammoudi, A Benzina, M Khalgui, D Chillet
Intelligent Software Methodologies, Tools and Techniques: 14th International …, 2015
112015
Reconfigurable function blocks: Extension to the standard IEC 61499
S Guellouz, A Benzina, M Khalgui, G Frey
2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016
82016
Real-time scheduling of reconfigurable battery-powered multi-core platforms
A Gammoudi, A Benzina, M Khalgui, D Chillet
2016 IEEE 28th International Conference on Tools with Artificial …, 2016
82016
Reconf-pack: A simulator for reconfigurable battery-powered real-time systems
A Gammoudi, A Benzina, M Khalgui, D Chillet, A Goubaa
30th European Simulation and Modelling Conference, 2016
82016
Zizo: A complete tool chain for the modeling and verification of reconfigurable function blocks
S Guellouz, A Benzina, M Khalgui, G Frey
Proc. 10th Int. Conf. Mobile Ubiquitous Comput., Syst., Services Technol …, 2016
82016
New reconfigurable middleware for adaptive rtos in ubiquitous devices
A Gammoudi, A Benzina, M Khalgui, D Chillet
10th International Conference on Mobile Ubiquitous Computing, Systems …, 2016
62016
Verification of reconfigurable noc under quality of service constraints
HB Salah, A Benzina, M Khalgui
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
52016
Analyse et conception des systèmes temps-réel: translation d'une approche fonctionnelle à une approche orientée objet
A Benzina
Université Paul Sabatier-Toulouse III, 1997
51997
Mapping of periodic tasks in reconfigurable heterogeneous multi-core platforms
A Gammoudi, D Chillet, M Khalgui, A Benzina
ENASE 2018-13th International Conference on Evaluation of Novel Approaches …, 2018
42018
ECG biometrie template protection based on secure sketch scheme
EK Zaghouani, A Benzina, R Attia
2017 25th International Conference on Software, Telecommunications and …, 2017
42017
Petri nets-based design of real-time reconfigurable networks on chips
HB Salah, A Benzina, M Khalgui
2015 IEEE/ACIS 14th International Conference on Computer and Information …, 2015
42015
Extending transaction level modeling for embedded software design and validation
M Baklouti, A Benzina, A Bouchhima, F Petrot, AA Jerraya
2007 International Conference on Design & Technology of Integrated Systems …, 2007
42007
UML et réseaux de Petri.
M Paludetto, J Delatour, A Benzina
Tech. Sci. Informatiques 23 (4), 543-567, 2004
42004
UML et réseaux de Petri: Étude de cas et évaluations temporelles
M PALUDETTO, A BENZINA
Journal européen des systèmes automatisés 36 (8), 1155-1178, 2002
42002
About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications
A Benzina, M Paludetto, J Delatour
Proceedings of Joint 4th International Computer Science Conference and 4th …, 1997
31997
An ISO/IEC 24745 compliant ECG template protection based on linear prediction coding
EK Zaghouani, A Benzina, R Attia
International Journal of Bio-Inspired Computation 14 (3), 139-150, 2019
22019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20