Hiba Ouni

According to our database, Hiba Ouni authored at least 7 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

SOG-Based Multi-Core LTL Model Checking.

Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

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

PhD thesis, 2019

Parallel construction of the Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Belhassen Zouari

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

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

Proceedings of the SCSS 2017, 2017

Parallel Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017