Personal information

Activities

Works (18)

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

IEEE Transactions on Automation Science and Engineering
2019-07 | Journal article
Contributors: Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey; Zhiwu Li; Valeriy Vyatkin
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous Multicore Platforms

IEEE Transactions on Systems, Man, and Cybernetics: Systems
2018 | Journal article
EID:

2-s2.0-85053603720

Contributors: Gammoudi, A.; Benzina, A.; Khalgui, M.; Chillet, D.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier
grade
Preferred source (of 2)‎

Mapping of periodic tasks in reconfigurable heterogeneous multi-core platforms

ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
2018 | Conference paper
EID:

2-s2.0-85051999298

Contributors: Gammoudi, A.; Chillet, D.; Khalgui, M.; Benzina, A.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

ECG based authentication for e-healthcare systems: Towards a secured ECG features transmission

2017 13th International Wireless Communications and Mobile Computing Conference, IWCMC 2017
2017 | Conference paper
EID:

2-s2.0-85027868315

Contributors: Kalai Zaghouani, E.; Benzina, A.; Attia, R.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

ECG biometrie template protection based on secure sketch scheme

2017 25th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2017
2017 | Conference paper
EID:

2-s2.0-85041300145

Contributors: Zaghouani, E.K.; Benzina, A.; Attia, R.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Formal methodology for modeling, verifying and optimizing reconfigurable NoC modes

Proceedings of International Conference on Advanced Systems and Electric Technologies, IC_ASET 2017
2017 | Conference paper
EID:

2-s2.0-85027884499

Contributors: Ben Salah, H.; Benzina, A.; Khalgui, M.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Real-Time scheduling of reconfigurable battery-powered multi-core platforms

Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016
2017 | Conference paper
EID:

2-s2.0-85013657155

Contributors: Gammoudi, A.; Khalgui, M.; Benzina, A.; Chillet, D.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Modeling, simulation and verification of reconfigurable NoC under energy and QoS constraints

European Simulation and Modelling Conference 2016, ESM 2016
2016 | Conference paper
EID:

2-s2.0-85016047707

Contributors: Salah, H.B.; Benzina, A.; Khalgui, M.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Reconf-pack: A simulator for reconfigurable battery-powered real-time systems

European Simulation and Modelling Conference 2016, ESM 2016
2016 | Conference paper
EID:

2-s2.0-85016012985

Contributors: Gammoudi, A.; Benzina, A.; Khalgui, M.; Chillet, D.; Goubaa, A.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Reconfigurable function blocks: Extension to the standard IEC 61499

Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA
2016 | Conference paper
EID:

2-s2.0-85021942000

Contributors: Guellouz, S.; Benzina, A.; Khalgui, M.; Frey, G.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Verification of Reconfigurable NoC under Quality of Service Constraints

Proceedings - International Computer Software and Applications Conference
2016 | Conference paper
EID:

2-s2.0-84988008288

Contributors: Salah, H.B.; Benzina, A.; Khalgui, M.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

ELPA: A new key agreement scheme based on linear prediction of ECG features for WBAN

2015 23rd European Signal Processing Conference, EUSIPCO 2015
2015 | Conference paper
EID:

2-s2.0-84963986250

Contributors: Zaghouani, E.K.; Jemai, A.; Benzina, A.; Attia, R.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

New pack oriented solutions for energy-aware feasible adaptive real-time systems

Communications in Computer and Information Science
2015 | Book
EID:

2-s2.0-84945906920

Contributors: Gammoudi, A.; Benzina, A.; Khalgui, M.; Chillet, D.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Petri Nets-based design of real-time reconfigurable networks on chips

2015 IEEE/ACIS 14th International Conference on Computer and Information Science, ICIS 2015 - Proceedings
2015 | Conference paper
EID:

2-s2.0-84945244679

Contributors: Ben Salah, H.; Benzina, A.; Khalgui, M.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Numerical method to simulate and to analyze Time Petri nets

2011 4th International Conference on Logistics, LOGISTIQUA'2011
2011 | Conference paper
EID:

2-s2.0-79960897050

Contributors: Bensouissi, S.; Benzina, A.; Abed, M.; Ghedira, K.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

Extending transaction level modeling for embedded software design and validation

Proceedings - 2007 International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2007
2007 | Conference paper
EID:

2-s2.0-48349088326

Contributors: Baklouti, M.; Benzina, A.; Bouchhima, A.; Petrot, F.; Jerraya, A.A.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

UML et réseaux de Petri Etude de cas et évaluations temporelles

Journal Europeen des Systemes Automatises
2002 | Journal article
EID:

2-s2.0-36448968649

Contributors: Paludetto, M.; Benzina, A.
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier

About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
1997 | Conference paper
EID:

2-s2.0-0031340379

Contributors: Benzina, Adel; Paludetto, Mario; Delatour, Jerome
Source: Self-asserted source
Adel BENZINA via Scopus - Elsevier