Belhassen ZOUARI

Publications

Communication dans un congrès (17)

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
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
On the Equivalence between Liveness and deadlock Freeness in Petri Nets Kamel Barkaoui,Belhassen Zouari ISPS03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, Jan 2003, X, France. pp.213-224 Communication dans un congrès hal-01124992v1
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
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, SMC97, Jan 1997, X, France. pp.3750-3755 Communication dans un congrès hal-01125433v1

Article dans une revue (11)

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
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
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
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
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
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

Chapitre d'ouvrage (1)

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