A Protocol Specification Language with a High-Level Petri Net Semantics. - Belhassen Zouari; Serge Haddad; Mohamed Taghelit (Decentralized and Distributed Systems, 1993)

Assessment of ESTELLE and EDT Through Real Case Studies. - Serge Haddad; Mohamed Taghelit; Belhassen Zouari (PSTV, 1993)

Symbolic Reachability Graph and Partial Symmetries. - Serge Haddad; Jean-Michel Ilié; Mohamed Taghelit; Belhassen Zouari (Application and Theory of Petri Nets, 1995)

High-level Petri net approach for supervisory control. - Belhassen Zouari (SMC, 2003)

Parameterized supervisor synthesis for a modular class of discrete event systems. - Belhassen Zouari; Kamel Barkaoui (SMC, 2003)

A Structure Causality Relation for Liveness Characterisation in Petri Nets. - Belhassen Zouari (J. Univers. Comput. Sci., 2006)

A formal approach for the specification, verification and control of flexible manufacturing systems. - Sajeh Zairi; Belhassen Zouari; Laurent Piétrac (ETFA, 2007)

A distributed verification approach for modular Petri nets. - Chiheb Ameur Abid; Belhassen Zouari (SCSC, 2007)

A Byzantine solution to early detect massive attacks. - Khaled Barbaria; Belhassen Zouari (CRiSIS, 2008)

A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD). - Nadia Soudani; Bel G. Raggad; Belhassen Zouari (CRiSIS, 2009)

Sensor self-scheduling algorithm based on one-hop neighbouring knowledge and considering the sensors remaining energy. - Sajeh Zairi; Éric Niel; Belhassen Zouari; Emil Dumitrescu (ECC, 2009)

Coloured Petri Net Model for the Formal Validation of Sensor Networks. - Sajeh Zairi; Belhassen Zouari; Éric Niel (SNA, 2009)

Decentralised Active Controller. - Chiheb Ameur Abid; Belhassen Zouari (ICINCO (2), 2010)

The Value of Information Sharing in a Serial Supply Chain with Centralised and Decentralised Decision. - Mansour Rached; Zied Bahroun; Belhassen Zouari; Armand Baboli; Jean-Pierre Campagne (ICINCO (1), 2010)

Synthesis of controllers for symmetric systems. - Chiheb Ameur Abid; Belhassen Zouari (Int. J. Control, 2010)

Supervisory Control for Business Process Management Systems. - Mohamed Karim Aroua; Belhassen Zouari (Business Process Management Workshops, 2012)

A Distributed and Coordinated Massive DDOS Attack Detection and Response Approach. - Mohamed Karim Aroua; Belhassen Zouari (COMPSAC Workshops, 2012)

Modeling of A-Posteriori Access Control in Business Processes. - Mohamed Karim Aroua; Belhassen Zouari (COMPSAC Workshops, 2012)

Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy. - Sajeh Zairi; Belhassen Zouari; Éric Niel; Emil Dumitrescu (IET Wirel. Sens. Syst., 2012)

Generic Colored Petri Nets Model for the Makespan Optimization in Fexible Manufacturing Systems. - Sajeh Zairi; Zeineb Madhbi; Belhassen Zouari (MIM, 2013)

Local Verification Using a Distributed State Space. - Chiheb Ameur Abid; Belhassen Zouari (Fundam. Informaticae, 2013)

A high-level Petri nets approach for multi-objective optimization in pipeline networks. - Hela Kadri; Belhassen Zouari (SIMULTECH, 2014)

Shortest Path Search in Dynamic Reliability Space: Hierarchical Coloured Petri Nets Model and Application to a Pipeline Network. - Hela Kadri; Belhassen Zouari (UKSim, 2014)

An Active Controller Based on Parikh Vectors. - Chiheb Ameur Abid; Soukaina Ben Mohamed; Belhassen Zouari (WODES, 2014)

A Simple Erlang API for Handling DDS Data Types and Quality of Service Parameters. - Wafa Helali; Khaled Barbaria; Belhassen Zouari (ENASE, 2015)

Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network. - Sajeh Zairi; Anis Mezni; Belhassen Zouari (WWIC, 2015)

On the Collaborative Inference of DDoS: A Multi-scale Distributed Approach. - Fatima Ezzahra Ouerfelli; Khaled Barbaria; Belhassen Zouari (AICCSA, 2017)

Integrating fuzzy TOPSIS and goal programming for multiple objective integrated procurement-production planning. - Rihab Khemiri; Khaoula Elbedoui-Maktouf; Bernard Grabot; Belhassen Zouari (ETFA, 2017)

Parallel Symbolic Observation Graph. - Hiba Ouni; Kais Klai; Chiheb Ameur Abid; Belhassen Zouari (ISPA/IUCC, 2017)

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. - Hiba Ouni; Kais Klai; Chiheb Ameur Abid; Belhassen Zouari (SCSS, 2017)

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 (Int. J. Prod. Res., 2017)

A Semantic Model for Document Management in Business Processes. - Imen Allani; Belhassen Zouari (AINA Workshops, 2018)

A New Formal Proxy-Based Approach for Secure Distributed Business Process on the Cloud. - Maroua Nouioua; Adel Alti; Belhassen Zouari (AINA, 2018)

Colored Petri net Model for Secure Document Management in Business Process Systems. - Imen Chaouachi Allani; Belhassen Zouari; Chirine Ghedira (CoDIT, 2018)

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 (CoDIT, 2018)

Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. - Hiba Ouni; Kais Klai; Chiheb Ameur Abid; Belhassen Zouari (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

On the Collaborative Inference of DDoS: An Information-theoretic Distributed Approach. - Fatima Ezzahra Ouerfelli; Khaled Barbaria; Elias Bou-Harb; Claude Fachkha; Belhassen Zouari (IWCMC, 2018)

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. - Hiba Ouni; Kais Klai; Chiheb Ameur Abid; Belhassen Zouari (ACSD, 2019)

Implicit and Continuous Authentication of Smart Home Users. - Noureddine Amraoui; Amine Besrour; Riadh Ksantini; Belhassen Zouari (AINA, 2019)

Multi-scale Adaptive Threshold for DDoS Detection. - Fatima Ezzahra Ouerfelli; Khaled Barbaria; Belhassen Zouari; Claude Fachkha (CRiSIS, 2019)

Distributed Detection System Using Wavelet Decomposition and Chi-Square Test. - Fatima Ezzahra Ouerfelli; Khaled Barbaria; Belhassen Zouari; Claude Fachkha (CRiSIS, 2019)

Parallel construction of the Symbolic Observation Graph. - Hiba Ouni; Kais Klai; Belhassen Zouari (HPCS, 2019)

Formal Approach for Authorization in Distributed Business Process Related Task Document Role Based Access Control. - Maroua Nouioua; Belhassen Zouari; Adel Alti (IWCMC, 2019)

Document Business Process Model Extension for Modeling Secure Ubiquitous Documents. - Maroua Nouioua; Adel Alti; Belhassen Zouari (AINA Workshops, 2020)

Prevention of DDoS Attacks in IoT Networks. - Fatima Ezzahra Ouerfelli; Khaled Barbaria; Belhassen Zouari; Claude Fachkha (AINA, 2020)

Securing Smart Homes using a Behavior Analysis based Authentication Approach. - Noureddine Amraoui; Amine Besrour; Riadh Ksantini; Belhassen Zouari (COMNET, 2020)

An ML Behavior-Based Security Control for Smart Home Systems. - Noureddine Amraoui; Belhassen Zouari (CRiSIS, 2020)

Behavior-based Anomaly Detection for Securing Smart Home Systems Automation. - Noureddine Amraoui; Belhassen Zouari (SoftCOM, 2020)

A simulated annealing for a daily operating room scheduling problem under constraints of uncertainty and setup. - Mohamed Amine Abdeljaouad; Zied Bahroun; Nour El Houda Saadani; Belhassen Zouari (INFOR Inf. Syst. Oper. Res., 2020)

Towards a firmware TPM on RISC-V. - Marouene Boubakri; Fausto Chiatante; Belhassen Zouari (DATE, 2021)

Open Portable Trusted Execution Environment framework for RISC-V. - Marouene Boubakri; Fausto Chiatante; Belhassen Zouari (EUC, 2021)

Detection of Breast Masses in Mammograms by Incremental Discriminant Based Support Vector Machine Classifier and Active User Involvement. - Marwa Salhi; Riadh Ksantini; Belhassen Zouari (ICCCI (CCIS Volume), 2022)

Anomalous behavior detection-based approach for authenticating smart home system users. - Noureddine Amraoui; Belhassen Zouari (Int. J. Inf. Sec., 2022)

Securing the operation of Smart Home Systems: a literature review. - Noureddine Amraoui; Belhassen Zouari (J. Reliab. Intell. Environ., 2022)

A real-time image-centric transfer function design based on incremental classification. - Marwa Salhi; Riadh Ksantini; Belhassen Zouari (J. Real Time Image Process., 2022)

A Reduced Distributed Sate Space for Modular Petri Nets. - Sawsen Khlifa; Chiheb Ameur Abid; Belhassen Zouari (AINA (1), 2023)

Deep Interactive Volume Exploration Through Pre-Trained 3D CNN and Active Learning. - Marwa Salhi; Riadh Ksantini; Belhassen Zouari (VISIGRAPP (1: GRAPP), 2023)

Local Model Checking on a Modular System. - Sawsen Khlifa; Chiheb Ameur Abid; Belhassen Zouari (CoDIT, 2024)

Architectural Security and Trust Foundation for RISC-V. - Marouene Boubakri; Belhassen Zouari (ISORC, 2024)

Local Model Checking on an IoT Based System: Use Case of Cellular M2M in Agriculture. - Sawsen Khlifa; Chiheb Ameur Abid; Asma Ben Letaifa; Belhassen Zouari (AINA (5), 2025)