Fatma Dhaou

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Sequence Diagrams

Distributed Systems

Top Venues

J. Comput. Sci. Technol.

Publications

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
Validating and verifying LwM2M clients with event-B. Int. J. Internet Protoc. Technol. 16 (2) (2023)
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification. J. Comput. Sci. Technol. 37 (1) (2022)
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
Toward a Correct Implementation of LwM2M Client with Event-B. ICSOFT (2020)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ENASE (2018)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ENASE (2017)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA (2016)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA (2015)