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)

Parallel construction of the Symbolic Observation Graph. - Hiba Ouni; Kais Klai; Belhassen Zouari (HPCS, 2019)

Vérification parallèle de systémes concurrents en utilisant le Graphe d'Observation Symbolique. (Parallel verification of concurrent systems using the Symbolic Observation Graph). - Hiba Ouni (2019)

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