| 2025 | AINA | 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 |
| 2025 | CoDIT | A Multi-Device Framework For Continuous Authentication. | Aidar Gaffarov, Faiza Ajmi, Abir B. Karami, Belhassen Zouari |
| 2024 | CoDIT | Local Model Checking on a Modular System. | Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari |
| 2024 | ISORC | Architectural Security and Trust Foundation for RISC-V. | Marouene Boubakri, Belhassen Zouari |
| 2023 | AINA | A Reduced Distributed Sate Space for Modular Petri Nets. | Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari |
| 2022 | ICCCI | Detection of Breast Masses in Mammograms by Incremental Discriminant Based Support Vector Machine Classifier and Active User Involvement. | Marwa Salhi, Riadh Ksantini, Belhassen Zouari |
| 2021 | DATE | Towards a firmware TPM on RISC-V. | Marouene Boubakri, Fausto Chiatante, Belhassen Zouari |
| 2021 | EUC | Open Portable Trusted Execution Environment framework for RISC-V. | Marouene Boubakri, Fausto Chiatante, Belhassen Zouari |
| 2020 | AINA | Document Business Process Model Extension for Modeling Secure Ubiquitous Documents. | Maroua Nouioua, Adel Alti, Belhassen Zouari |
| 2020 | AINA | Prevention of DDoS Attacks in IoT Networks. | Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari, Claude Fachkha |
| 2020 | CRiSIS | An ML Behavior-Based Security Control for Smart Home Systems. | Noureddine Amraoui, Belhassen Zouari |
| 2020 | SOFTCOM | Behavior-based Anomaly Detection for Securing Smart Home Systems Automation. | Noureddine Amraoui, Belhassen Zouari |
| 2019 | AINA | Implicit and Continuous Authentication of Smart Home Users. | Noureddine Amraoui, Amine Besrour, Riadh Ksantini, Belhassen Zouari |
| 2019 | CRiSIS | Multi-scale Adaptive Threshold for DDoS Detection. | Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari, Claude Fachkha |
| 2019 | CRiSIS | Distributed Detection System Using Wavelet Decomposition and Chi-Square Test. | Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari, Claude Fachkha |
| 2019 | IWCMC | Formal Approach for Authorization in Distributed Business Process Related Task Document Role Based Access Control. | Maroua Nouioua, Belhassen Zouari, Adel Alti |
| 2018 | AINA | A Semantic Model for Document Management in Business Processes. | Imen Allani, Belhassen Zouari |
| 2018 | AINA | A New Formal Proxy-Based Approach for Secure Distributed Business Process on the Cloud. | Maroua Nouioua, Adel Alti, Belhassen Zouari |
| 2018 | CoDIT | Colored Petri net Model for Secure Document Management in Business Process Systems. | Imen Chaouachi Allani, Belhassen Zouari, Chirine Ghedira |
| 2018 | CoDIT | A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures. | Sajeh Zairi, Belhassen Zouari, Hamdi Rahal, Jean-Franois Pradat-Peyre |
| 2018 | ISPA | Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
| 2018 | IWCMC | On the Collaborative Inference of DDoS: An Information-theoretic Distributed Approach. | Fatima Ezzahra Ouerfelli, Khaled Barbaria, Elias Bou-Harb, Claude Fachkha, Belhassen Zouari |
| 2017 | AICCSA | On the Collaborative Inference of DDoS: A Multi-scale Distributed Approach. | Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari |
| 2017 | ETFA | Integrating fuzzy TOPSIS and goal programming for multiple objective integrated procurement-production planning. | Rihab Khemiri, Khaoula Elbedoui-Maktouf, Bernard Grabot, Belhassen Zouari |
| 2017 | ISPA | Parallel Symbolic Observation Graph. | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
| 2015 | ENASE | A Simple Erlang API for Handling DDS Data Types and Quality of Service Parameters. | Wafa Helali, Khaled Barbaria, Belhassen Zouari |
| 2014 | SIMULTECH | A high-level Petri nets approach for multi-objective optimization in pipeline networks. | Hela Kadri, Belhassen Zouari |
| 2012 | BPM | Supervisory Control for Business Process Management Systems. | Mohamed Karim Aroua, Belhassen Zouari |
| 2012 | COMPSAC | A Distributed and Coordinated Massive DDOS Attack Detection and Response Approach. | Mohamed Karim Aroua, Belhassen Zouari |
| 2012 | COMPSAC | Modeling of A-Posteriori Access Control in Business Processes. | Mohamed Karim Aroua, Belhassen Zouari |
| 2010 | ICINCO | Decentralised Active Controller. | Chiheb Ameur Abid, Belhassen Zouari |
| 2010 | ICINCO | 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 |
| 2009 | CRiSIS | A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD). | Nadia Soudani, Bel G. Raggad, Belhassen Zouari |
| 2008 | CRiSIS | A Byzantine solution to early detect massive attacks. | Khaled Barbaria, Belhassen Zouari |
| 2007 | ETFA | A formal approach for the specification, verification and control of flexible manufacturing systems. | Sajeh Zairi, Belhassen Zouari, Laurent Pitrac |
| 2003 | SMC | High-level Petri net approach for supervisory control. | Belhassen Zouari |
| 2003 | SMC | Parameterized supervisor synthesis for a modular class of discrete event systems. | Belhassen Zouari, Kamel Barkaoui |