Belhassen Zouari

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 32

Top Topics

Anomalous Behavior

Wavelet Decomposition

Top Venues

Publications

Marouene Boubakri, Belhassen Zouari
Architectural Security and Trust Foundation for RISC-V. ISORC (2024)
Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari
A Reduced Distributed Sate Space for Modular Petri Nets. AINA (1) (2023)
Marwa Salhi, Riadh Ksantini, Belhassen Zouari
Deep Interactive Volume Exploration Through Pre-Trained 3D CNN and Active Learning. VISIGRAPP (1: GRAPP) (2023)
Marwa Salhi, Riadh Ksantini, Belhassen Zouari
A real-time image-centric transfer function design based on incremental classification. J. Real Time Image Process. 19 (1) (2022)
Noureddine Amraoui, Belhassen Zouari
Anomalous behavior detection-based approach for authenticating smart home system users. Int. J. Inf. Sec. 21 (3) (2022)
Noureddine Amraoui, Belhassen Zouari
Securing the operation of Smart Home Systems: a literature review. J. Reliab. Intell. Environ. 8 (1) (2022)
Marwa Salhi, Riadh Ksantini, Belhassen Zouari
Detection of Breast Masses in Mammograms by Incremental Discriminant Based Support Vector Machine Classifier and Active User Involvement. ICCCI (CCIS Volume) (2022)
Marouene Boubakri, Fausto Chiatante, Belhassen Zouari
Towards a firmware TPM on RISC-V. DATE (2021)
Marouene Boubakri, Fausto Chiatante, Belhassen Zouari
Open Portable Trusted Execution Environment framework for RISC-V. EUC (2021)
Noureddine Amraoui, Belhassen Zouari
Behavior-based Anomaly Detection for Securing Smart Home Systems Automation. SoftCOM (2020)
Maroua Nouioua, Adel Alti, Belhassen Zouari
Document Business Process Model Extension for Modeling Secure Ubiquitous Documents. AINA Workshops (2020)
Noureddine Amraoui, Belhassen Zouari
An ML Behavior-Based Security Control for Smart Home Systems. CRiSIS (2020)
Noureddine Amraoui, Amine Besrour, Riadh Ksantini, Belhassen Zouari
Securing Smart Homes using a Behavior Analysis based Authentication Approach. COMNET (2020)
Mohamed Amine Abdeljaouad, Zied Bahroun, Nour El Houda Saadani, Belhassen Zouari
A simulated annealing for a daily operating room scheduling problem under constraints of uncertainty and setup. INFOR Inf. Syst. Oper. Res. 58 (3) (2020)
Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari, Claude Fachkha
Prevention of DDoS Attacks in IoT Networks. AINA (2020)
Maroua Nouioua, Belhassen Zouari, Adel Alti
Formal Approach for Authorization in Distributed Business Process Related Task Document Role Based Access Control. IWCMC (2019)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. ACSD (2019)
Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari, Claude Fachkha
Distributed Detection System Using Wavelet Decomposition and Chi-Square Test. CRiSIS (2019)
Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari, Claude Fachkha
Multi-scale Adaptive Threshold for DDoS Detection. CRiSIS (2019)
Hiba Ouni, Kais Klai, Belhassen Zouari
Parallel construction of the Symbolic Observation Graph. HPCS (2019)
Noureddine Amraoui, Amine Besrour, Riadh Ksantini, Belhassen Zouari
Implicit and Continuous Authentication of Smart Home Users. AINA (2019)
Maroua Nouioua, Adel Alti, Belhassen Zouari
A New Formal Proxy-Based Approach for Secure Distributed Business Process on the Cloud. AINA (2018)
Imen Allani, Belhassen Zouari
A Semantic Model for Document Management in Business Processes. AINA Workshops (2018)
Sajeh Zairi, Belhassen Zouari, Hamdi Rahal, Jean-François Pradat-Peyre
A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures. CoDIT (2018)
Fatima Ezzahra Ouerfelli, Khaled Barbaria, Elias Bou-Harb, Claude Fachkha, Belhassen Zouari
On the Collaborative Inference of DDoS: An Information-theoretic Distributed Approach. IWCMC (2018)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Imen Chaouachi Allani, Belhassen Zouari, Chirine Ghedira
Colored Petri net Model for Secure Document Management in Business Process Systems. CoDIT (2018)
Rihab Khemiri, Khaoula Elbedoui-Maktouf, Bernard Grabot, Belhassen Zouari
Integrating fuzzy TOPSIS and goal programming for multiple objective integrated procurement-production planning. ETFA (2017)
Rihab Khemiri, Khaoula Elbedoui-Maktouf, Bernard Grabot, Belhassen Zouari
A fuzzy multi-criteria decision-making approach for managing performance and risk in integrated procurement-production planning. Int. J. Prod. Res. 55 (18) (2017)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Parallel Symbolic Observation Graph. ISPA/IUCC (2017)
Fatima Ezzahra Ouerfelli, Khaled Barbaria, Belhassen Zouari
On the Collaborative Inference of DDoS: A Multi-scale Distributed Approach. AICCSA (2017)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. SCSS (2017)
Wafa Helali, Khaled Barbaria, Belhassen Zouari
A Simple Erlang API for Handling DDS Data Types and Quality of Service Parameters. ENASE (2015)
Sajeh Zairi, Anis Mezni, Belhassen Zouari
Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network. WWIC (2015)
Hela Kadri, Belhassen Zouari
Shortest Path Search in Dynamic Reliability Space: Hierarchical Coloured Petri Nets Model and Application to a Pipeline Network. UKSim (2014)
Chiheb Ameur Abid, Soukaina Ben Mohamed, Belhassen Zouari
An Active Controller Based on Parikh Vectors. WODES (2014)
Hela Kadri, Belhassen Zouari
A high-level Petri nets approach for multi-objective optimization in pipeline networks. SIMULTECH (2014)
Sajeh Zairi, Zeineb Madhbi, Belhassen Zouari
Generic Colored Petri Nets Model for the Makespan Optimization in Fexible Manufacturing Systems. MIM (2013)
Chiheb Ameur Abid, Belhassen Zouari
Local Verification Using a Distributed State Space. Fundam. Informaticae 125 (1) (2013)
Mohamed Karim Aroua, Belhassen Zouari
A Distributed and Coordinated Massive DDOS Attack Detection and Response Approach. COMPSAC Workshops (2012)
Mohamed Karim Aroua, Belhassen Zouari
Supervisory Control for Business Process Management Systems. Business Process Management Workshops (2012)
Sajeh Zairi, Belhassen Zouari, Éric Niel, Emil Dumitrescu
Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy. IET Wirel. Sens. Syst. 2 (1) (2012)
Mohamed Karim Aroua, Belhassen Zouari
Modeling of A-Posteriori Access Control in Business Processes. COMPSAC Workshops (2012)
Chiheb Ameur Abid, Belhassen Zouari
Decentralised Active Controller. ICINCO (2) (2010)
Chiheb Ameur Abid, Belhassen Zouari
Synthesis of controllers for symmetric systems. Int. J. Control 83 (11) (2010)
Mansour Rached, Zied Bahroun, Belhassen Zouari, Armand Baboli, Jean-Pierre Campagne
The Value of Information Sharing in a Serial Supply Chain with Centralised and Decentralised Decision. ICINCO (1) (2010)
Sajeh Zairi, Éric Niel, Belhassen Zouari, Emil Dumitrescu
Sensor self-scheduling algorithm based on one-hop neighbouring knowledge and considering the sensors remaining energy. ECC (2009)
Sajeh Zairi, Belhassen Zouari, Éric Niel
Coloured Petri Net Model for the Formal Validation of Sensor Networks. SNA (2009)
Nadia Soudani, Bel G. Raggad, Belhassen Zouari
A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD). CRiSIS (2009)
Khaled Barbaria, Belhassen Zouari
A Byzantine solution to early detect massive attacks. CRiSIS (2008)
Chiheb Ameur Abid, Belhassen Zouari
A distributed verification approach for modular Petri nets. SCSC (2007)
Sajeh Zairi, Belhassen Zouari, Laurent Piétrac
A formal approach for the specification, verification and control of flexible manufacturing systems. ETFA (2007)
Belhassen Zouari
A Structure Causality Relation for Liveness Characterisation in Petri Nets. J. Univers. Comput. Sci. 12 (2) (2006)
Belhassen Zouari
A Structure Causality Relation for Liveness Characterisation in Petri Nets. J. Univers. Comput. Sci. 11 (6) (2005)
Belhassen Zouari
High-level Petri net approach for supervisory control. SMC (2003)
Belhassen Zouari, Kamel Barkaoui
Parameterized supervisor synthesis for a modular class of discrete event systems. SMC (2003)
Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets (1995)
Belhassen Zouari, Serge Haddad, Mohamed Taghelit
A Protocol Specification Language with a High-Level Petri Net Semantics. Decentralized and Distributed Systems (1993)
Serge Haddad, Mohamed Taghelit, Belhassen Zouari
Assessment of ESTELLE and EDT Through Real Case Studies. PSTV (1993)