Inès Mouakher

Publication Activity (10 Years)

Years Active: 2008-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)
Inès Mouakher, Jeanine Souquières, Francis Alexandre
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Inès Mouakher, Jeanine Souquières, Francis Alexandre
Protocol Verification in a Software Component-Based Approach. ECBS (2008)