Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ICSOFT-EA, 2015)

Refinement of UML2.0 Sequence Diagrams for Distributed Systems. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ICSOFT-EA, 2016)

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ENASE, 2017)

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. - Fatma Dhaou; Inès Mouakher; J. Christian Attiogbé; Khaled Bsaïes (ENASE, 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 (2018)

Toward a Correct Implementation of LwM2M Client with Event-B. - Inès Mouakher; Fatma Dhaou; J. Christian Attiogbé (ICSOFT, 2020)

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)

Validating and verifying LwM2M clients with event-B. - Inès Mouakher; Fatma Dhaou; J. Christian Attiogbé (Int. J. Internet Protoc. Technol., 2023)