Belhassen Zouari

63 papers A 1B 8C 15Misc 1Journal 11Unranked 27

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