Farah Fourati

According to our database, Farah Fourati authored at least 5 papers between 2012 and 2022.

Collaborative distances:

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

2022

Validating Event-B models using PDDL.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Xtend Transformation from PDDL to Event-B.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the Computational Collective Intelligence - 14th International Conference, 2022

2016

Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the Intelligent Systems Design and Applications, 2016

Verification and validation of PDDL descriptions using Event-B formal method.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the 5th International Conference on Multimedia Computing and Systems, 2016

2012

Transformation exogène de Wright vers Ada.

Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet

Tech. Sci. Informatiques, 2012