Maha Boussabbeh

According to our database, Maha Boussabbeh authored at least 4 papers between 2014 and 2017.

Collaborative distances:

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

2017

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques.

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Proceedings of the SCSS 2017, 2017

2016

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

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

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

Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Enhancing Proofs of Local Computations through Formal Event-B Modularization.

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014