Fatma Dhaou

According to our database, Fatma Dhaou authored at least 8 papers between 2015 and 2023.

Collaborative distances:

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

2023

Validating and verifying LwM2M clients with event-B.

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé

Int. J. Internet Protoc. Technol., 2023

2022

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification.

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé

J. Comput. Sci. Technol., 2022

2020

Toward a Correct Implementation of LwM2M Client with Event-B.

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé

Proceedings of the 15th International Conference on Software Technologies, 2020

2018

Vérification formelle de la relation de raffinement des diagrammes de séquences d'UML2.X avec la méthode formelle B événementiel. (Formal checking of refinement relation of UML2.X sequence diagram with Event-B method).

Fatma Dhaou

PhD thesis, 2018

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the ENASE 2017, 2017

2016

Refinement of UML2.0 Sequence Diagrams for Distributed Systems.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015

Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the ICSOFT-EA 2015, 2015