Hiba Ouni

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 6

Top Topics

Process Algebra

Concurrent Systems

Formal Specification

Top Venues

ISPA/IUCC/BDCloud/SocialCom/SustainCom

Publications

Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni
SOG-Based Multi-Core LTL Model Checking. ISPA/BDCloud/SocialCom/SustainCom (2020)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. ACSD (2019)
Hiba Ouni, Kais Klai, Belhassen Zouari
Parallel construction of the Symbolic Observation Graph. HPCS (2019)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Parallel Symbolic Observation Graph. ISPA/IUCC (2017)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. SCSS (2017)