Transformation exogène de Wright vers Ada. - Mohamed Tahar Bhiri; Farah Fourati; Mourad Kmimech; Mohamed Graiet (Tech. Sci. Informatiques, 2012)

Verification and validation of PDDL descriptions using Event-B formal method. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (ICMCS, 2016)

Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (ISDA, 2016)

Xtend Transformation from PDDL to Event-B. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (ICCCI, 2022)

Validating Event-B models using PDDL. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (KES, 2022)