Belhassen ZOUARI
Publications
Publications
|
|
A Multi-Device Framework For Continuous AuthenticationInternational Conference on Digital Information Technologies (CODIT), Jul 2025, Split, Croatia |
Local Model Checking on a Modular SystemInternational Conference on Control, Decision and Information Technologies, CoDIT 2024, Jul 2024, Valetta, Malta |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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 |
|
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 |
|
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⟩ |
|
Configuration of Sensor Networks by Energy MinimisationSENSORCOMM, Aug 2008, Cap Esterel, France. pp.141 - 146, ⟨10.1109/SENSORCOMM.2008.106⟩ |
|
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⟩ |
|
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⟩ |
|
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 |
|
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 |
|
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 |
|
Towards an efficient structural control policy for automated manufacturing systemsEDA'97, Bangkok, Tailand, Jan 1997, X, France. pp.751-752 |
|
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 |
|
|
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⟩ |