A Reduced Distributed Sate Space for Modular Petri Nets. - Sawsen Khlifa; Chiheb Ameur Abid; Belhassen Zouari (AINA (1), 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)