Enhancing Proofs of Local Computations through Formal Event-B Modularization. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (WETICE, 2014)

Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. - Maha Boussabbeh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ABZ, 2016)

Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (PDP, 2016)

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (SCSS, 2017)