
Belhassen ZOUARI
25
Documents
Publications
Publications
|
Local Model Checking on an IoT Based System: Use Case of Cellular M2M in AgricultureAdvanced 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 SystemInternational 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.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 failures2018 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
|
|
|
Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network13th 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 properties18th 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 networksFirst 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érature8è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 EnergyECC, 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 MinimisationSENSORCOMM, 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 Satellite17th 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 SystemsETFA 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 systems4th 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 systemsIEEE 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 NetsISPS03, 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 systemsEDA'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 netsIEEE Int. Conf. on Systems, Man and Cybernetics, SMC97, Jan 1997, X, France. pp.3750-3755
Communication dans un congrès
hal-01125433
v1
|
Chargement...
Chargement...