Inès Mouakher

According to our database, Inès Mouakher authored at least 9 papers between 2008 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

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

2008

Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants.

Inès Mouakher, Jeanine Souquières, Francis Alexandre

Obj. Logiciel Base données Réseaux, 2008

Protocol Verification in a Software Component-Based Approach.

Inès Mouakher, Jeanine Souquières, Francis Alexandre

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008