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 | 3 | 1997 |
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 | 2 | 2019 |
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 | 5 | 1997 |
Aymen GAMMOUDI A KOUBAA, C PAGETTI, F SINGHOFF, A MUNIER, NBR ROBBANA, ... | | |
Aymen GAMMOUDI F SINGHOFF, A KOUBAA, C PAGETTI, A MUNIER, NBR ROBBANA, ... | | |
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 | 23 | 2018 |
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 | 46 | 2017 |
ECG biometrie template protection based on secure sketch scheme EK Zaghouani, A Benzina, R Attia 2017 25th International Conference on Software, Telecommunications and …, 2017 | 4 | 2017 |
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 | 31 | 2015 |
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 | 25 | 2018 |
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 | 4 | 2007 |
Feasible Real-Time Scheduling under Memory and Energy Constraint A GAMMOUDI, A BENZINA, M KHALGUI, D CHILLET | | |
Formal methodology for modeling, verifying and optimizing reconfigurable NoC modes HB Salah, A Benzina, M Khalgui 2017 International Conference on Advanced Systems and Electric Technologies …, 2017 | | 2017 |
LAAS-CNRS. A Benzina, M Paludetto, J Delatour Proceedings: Asia Pacific Software Engineering Conference and International …, 1997 | | 1997 |
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 | 4 | 2018 |
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 | 10 | 2015 |
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 | 5 | 2016 |
Numerical method to simulate and to analyze Time Petri nets S Bensouissi, A Benzina, M Abed, K Ghedira 2011 4th International Conference on Logistics, 254-260, 2011 | 2 | 2011 |
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 | 4 | 2015 |
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 | 7 | 2016 |