Belhassen ZOUARI

29
Documents

Publications

Publications

Deposit thumbnail

A Survey of RISC-V Secure Enclaves and Trusted Execution Environments

Marouene Boubakri , Belhassen Zouari

Electronics, 2025, 14 (21:4171), ⟨10.3390/electronics14214171⟩

Article dans une revue hal-05335088v1

GATOR-V: Accelerating the RISC-V Confidential Computing Ecosystem With a Production-Grade TEE

Marouene Boubakri , Belhassen Zouari

IEEE Access, 2025, Lecture Notes on Data Engineering and Communications Technologies, 13, pp.210892-210916. ⟨10.1109/ACCESS.2025.3641293⟩

Article dans une revue hal-05441334v1
Deposit thumbnail

Scalable Formal Verification of Modular Concurrent Systems: A Survey of Techniques, Tools and Challenges

Sawsen Khlifa , Chiheb Ameur Abid , Asma Ben Letaifa , Belhassen Zouari

International journal of advanced computer science and applications (IJACSA), 2025, 16 (9), ⟨10.14569/IJACSA.2025.0160982⟩

Article dans une revue hal-05296391v1

A Real-Time Image-Centric Transfer Function Design Based on Incremental Classification

Marwa Salhi , Riadh Ksantini , Belhassen Zouari

Journal of Real-Time Image Processing, 2022, 19 (1), pp.185-203. ⟨10.1007/s11554-021-01176-x⟩

Article dans une revue hal-04538452v1
Deposit thumbnail

Anomalous behavior detection-based approach for authenticating smart home system users

Noureddine Amraoui , Belhassen Zouari

International Journal of Information Security, 2021, 21 (3), pp.611 - 636. ⟨10.1007/s10207-021-00571-6⟩

Article dans une revue hal-04530617v1
Deposit thumbnail

Securing the operation of Smart Home Systems: a literature review

Noureddine Amraoui , Belhassen Zouari

Journal of Reliable Intelligent Environments, 2021, 8 (1), pp.67 - 74. ⟨10.1007/s40860-021-00160-3⟩

Article dans une revue hal-04530625v1

Autonomous Distributed Energy Management for Intelligent Microgrids

Zeineb Mhadhbi , Cedric Gueguen , Sajeh Zairi , Belhassen Zouari

Journal of Clean Energy Technologies (JOCET), 2018, 6 (1), pp.31-40. ⟨10.18178/jocet.2018.6.1.432⟩

Article dans une revue hal-04538820v1
Deposit thumbnail

A fuzzy multi-criteria decision making approach for managing performance and risk in integrated procurement-production planning

Rihab Khemiri , Khaoula Elbedoui-Maktouf , Bernard Grabot , Belhassen Zouari

International Journal of Production Research, 2017, vol. 55 (n°18), pp. 5305-5329. ⟨10.1080/00207543.2017.1308575⟩

Article dans une revue hal-01758604v1

Integrated Fault-Event Analysis and Response Framework (IFEAR)

Bel G. Raggad , Mastouri Azza , Belhassen Zouari

American Journal of Computing and Information Science, 2012, 1 (1)

Article dans une revue hal-04539340v1

Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy

Sajeh Zaïri , Belhassen Zouari , Eric Niel , Emil Dumitrescu

IET Wireless Sensor Systems, 2012, 2 (1), pp.52-62. ⟨10.1049/iet-wss.2011.0074⟩

Article dans une revue hal-00685672v1

A Structure Causality Relation for Liveness Characterisation in Petri Nets

Belhassen Zouari

Journal of Universal Computer Science, 2006, 12 (2), pp.214-232

Article dans une revue hal-04539372v1
Deposit thumbnail

A Multi-Device Framework For Continuous Authentication

Aidar Gaffarov , Faiza Ajmi , Abir B Karami , Belhassen Zouari

International Conference on Digital Information Technologies (CODIT), Jul 2025, Split, Croatia

Communication dans un congrès hal-05233364v2

Local Model Checking on a Modular System

Sawssen Khlifa , Chiheb Ameur Abid , Belhassen Zouari

International Conference on Control, Decision and Information Technologies, CoDIT 2024, Jul 2024, Valetta, Malta

Communication dans un congrès hal-04718381v1

Colored Petri net Model for Secure Document Management in Business Process Systems.

Imen Chaouachi , Belhassen Zouari , Chirine Ghedira

International Conference on Control, Decision and Information Technologies, Apr 2018, Thessaloniki, Greece. pp.829-834, ⟨10.1109/CoDIT.2018.8394928⟩

Communication dans un congrès hal-02560821v1

A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures

Sajeh Zairi , Belhassen Zouari , Hamdi Rahal , Jean-François Pradat-Peyre

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2018, Thessaloniki, Greece. pp.737-742, ⟨10.1109/CoDIT.2018.8394878⟩

Communication dans un congrès hal-03401962v1
Deposit thumbnail

Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network

Sajeh Zairi , Anis Mezni , Belhassen Zouari

13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.381-395, ⟨10.1007/978-3-319-22572-2_28⟩

Communication dans un congrès hal-01728799v1

Global generic model for formal validation of the wireless sensor networks properties

Sajeh Zaïri , Belhassen Zouari , Eric Niel

18th IFAC World Congress, Aug 2011, Milan, Italy. pp.électronique, ⟨10.3182/20110828-6-IT-1002.01652⟩

Communication dans un congrès hal-00685686v1

Coloured Petri net model for the formal validation of sensor networks

Sajeh Zaïri , Belhassen Zouari , Eric Niel

First International Conference on Sensor Networks and Applications, Nov 2009, San Francisco, CA, United States. pp.non connu

Communication dans un congrès hal-00685722v1

Le partage d'informations dans les chaînes logistiques : revue de littérature

Mansour Rached , Zied Bahroun , Armand Baboli , Jean Pierre Campagne , Belhassen Zouari

8ème Congrès International de Génie Industriel, CIGI'09, Jun 2009, Tarbes, France. 8p

Communication dans un congrès hal-00376075v1

Sensor Self-Scheduling Algorithm Based on One-Hop Neighbouring Knowledge and Considering the Sensors Remaining Energy

Sajeh Zaïri , Eric Niel , Belhassen Zouari , Emil Dumitrescu

ECC, Aug 2009, Budapest, Hungary. pp.WeC7.4, ⟨10.23919/ECC.2009.7075172⟩

Communication dans un congrès hal-00419678v1

Configuration of Sensor Networks by Energy Minimisation

Sajeh Zaïri , Belhassen Zouari , Eric Niel

SENSORCOMM, Aug 2008, Cap Esterel, France. pp.141 - 146, ⟨10.1109/SENSORCOMM.2008.106⟩

Communication dans un congrès hal-00375910v1

A Contribution to the Validation to of Operating Mode Switching: Application to Satellite

Saül Israel Gonzalez Berlanga , Eric Niel , Belhassen Zouari , Jean-Paul Blanquart

17th IFAC World Congress, Jul 2008, Séoul, South Korea. ⟨10.3182/20080706-5-KR-1001.3564⟩

Communication dans un congrès hal-00375932v1

A Formal Approach for the specification: verification and control of Flexible Manufacturing Systems

Sajeh Zaïri , Belhassen Zouari , Laurent Piétrac

ETFA 2007, Sep 2007, Patras, Greece. pp.1031 - 1038, ⟨10.1109/EFTA.2007.4416897⟩

Communication dans un congrès hal-00375498v1

A coloured Petri net approach for the management of operating modes in discrete event systems

Riadh Frefita , Belhassen Zouari , Eric Niel

4th IFAC Conference on Management and Control of Production and Logistics, Sep 2007, Sibiu, Romania. pp.397-403

Communication dans un congrès hal-00375490v1

Parameterized supervisor synthesis for a modular class of discrete event systems

Belhassen Zouari , Kamel Barkaoui

IEEE Int. Conf. on Systems, Man and Cybernetics, vol.2, Jan 2003, X, France. pp.1874-1879

Communication dans un congrès hal-01125422v1

On the Equivalence between Liveness and deadlock Freeness in Petri Nets

Kamel Barkaoui , Belhassen Zouari

ISPS’03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, Jan 2003, X, France. pp.213-224

Communication dans un congrès hal-01124992v1

Towards an efficient structural control policy for automated manufacturing systems

A. Chaoui , Kamel Barkaoui , R. Robbana , Belhassen Zouari

EDA'97, Bangkok, Tailand, Jan 1997, X, France. pp.751-752

Communication dans un congrès hal-01125472v1

Supervisory control of discrete event systems based on structure theory of Petri nets

Kamel Barkaoui , A. Chaoui , Belhassen Zouari

IEEE Int. Conf. on Systems, Man and Cybernetics, SMC’97, Jan 1997, X, France. pp.3750-3755

Communication dans un congrès hal-01125433v1
Deposit thumbnail

Local Model Checking on an IoT Based System: Use Case of Cellular M2M in Agriculture

Sawsen Khlifa , Chiheb Ameur Abid , Asman Ben Letaifa , Belhassen Zouari

Advanced Information Networking and Applications, 249, Springer Nature Switzerland, pp.356-367, 2025, Lecture Notes on Data Engineering and Communications Technologies, 978-3-031-87775-9. ⟨10.1007/978-3-031-87775-9_30⟩

Chapitre d'ouvrage hal-05069109v1