Belhassen ZOUARI

25
Documents

Publications

Publications

Image document

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

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

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

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-03401962 v1
Image document

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

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

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

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

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

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

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

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

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

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

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

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

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

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-04538452 v1
Image document

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-04530625 v1
Image document

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

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-04538820 v1
Image document

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

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

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

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