| 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 |
| 2024 | CoDIT | Local Model Checking on a Modular System. | Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari |
| 2023 | AINA | A Reduced Distributed Sate Space for Modular Petri Nets. | Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari |
| 2023 | CoDIT | Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2022 | CoDIT | 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 |
| 2022 | CoopIS | At Design-Time Approach for Supervisory Control of Opacity. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2022 | ISPA | Optimal Supervisory Control of Opacity for Modular Systems. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2021 | VECoS | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. | Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista |
| 2020 | ISPA | SOG-Based Multi-Core LTL Model Checking. | Chiheb Ameur Abid, Kas Klai, Jaime Arias, Hiba Ouni |
| 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 |
| 2017 | ISPA | Parallel Symbolic Observation Graph. | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
| 2010 | ICINCO | Decentralised Active Controller. | Chiheb Ameur Abid, Belhassen Zouari |