AODA: An Autonomic and Ontology-Driven Architecture for Service-Oriented and Event-Driven Systems. - Ghada Gharbi; Mahdi Ben Alaya; Codé Diop; Ernesto Exposito (WETICE, 2012)

Graph-Based Formalism for Machine-to-Machine Self-Managed Communications. - Cédric Eichler; Ghada Gharbi; Nawal Guermouche; Thierry Monteil 001; Patricia Stolf (WETICE, 2013)

Timed Verification of Machine-to-Machine communications. - Ghada Gharbi; Nawal Guermouche; Thierry Monteil 001 (ANT/SEIT, 2014)

A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus. - Nesrine Khabou; Ismael Bouassida Rodriguez; Ghada Gharbi; Mohamed Jmaiel (ANT/SEIT, 2014)

Temporal verification of mobile publish/subscribe machine-to-machine communications. - Ghada Gharbi; Nawal Guermouche; Thierry Monteil 001 (WoWMoM, 2014)

Self-management of machine-to-machine communications: a multi-models approach. - Cédric Eichler; Ghada Gharbi; Thierry Monteil 001; Patricia Stolf; Nawal Guermouche (Int. J. Auton. Adapt. Commun. Syst., 2016)

Semantic-Aware IoT Platforms. - Mahdi Ben Alaya; Khalil Drira; Ghada Gharbi (AIMS@SERVICES, 2017)

Towards Verifying Security Policies for Infinite-State Systems. - Quentin Peyras; Ghada Gharbi; Souheib Baarir (VSTTE, 2024)