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

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

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

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

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

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)

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)

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

SOG-Based Multi-Core LTL Model Checking. - Chiheb Ameur Abid; Kaïs Klai; Jaime Arias 001; Hiba Ouni (ISPA/BDCloud/SocialCom/SustainCom, 2020)

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. - Kais Klai; Chiheb Ameur Abid; Jaime Arias 001; Sami Evangelista (VECoS, 2021)

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoDIT, 2022)

At Design-Time Approach for Supervisory Control of Opacity. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoopIS, 2022)

Optimal Supervisory Control of Opacity for Modular Systems. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (ISPA/BDCloud/SocialCom/SustainCom, 2022)

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

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoDIT, 2023)

Local Model Checking on a Modular System. - Sawsen Khlifa; Chiheb Ameur Abid; Belhassen Zouari (CoDIT, 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)