Maha Boussabbeh

Enhancing Proofs of Local Computations through Formal Event-B Modularization

Ahmed Hadj Kacem, Mohamed Mosbah, Mohamed Tounsi, 2014, 2014 IEEE 23rd International WETICE Conference.

Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions

Ahmed Hadj Kacem, Mohamed Mosbah, Mohamed Tounsi, 2016, ABZ.

Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing

Ahmed Hadj Kacem, Mohamed Mosbah, Mohamed Tounsi, 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques

Ahmed Hadj Kacem, Mohamed Mosbah, Mohamed Tounsi, 2017, SCSS.