Get started
Author

Inès Mouakher

Observed names: Ines Mouakher, Mouakher, Inès
ORCID: 0000-0002-1049-5591
Observed ORCID: 0000-0002-1049-5591
OpenAlex ID: A5070889270
Component Adaptation: Specification and Verification
2006 · Inès Mouakher, Arnaud Lanoix, et al. · 21
Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
2022 · Inès Mouakher, Fatma Dhaou, et al. · Journal of Computer Science and Technology · 11
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
2017 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 4
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
2015 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Software Engineering and Applications (ICSOFT-EA) · 4
Refinement of UML2.0 Sequence Diagrams for Distributed Systems
2016 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Software Technologies (ICSOFT) · 3
Validating and verifying LwM2M clients with event-B
2023 · Fatma Dhaou, J. Christian Attiogbé, et al. · International Journal of Internet Protocol Technology · 1
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
2018 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 1
An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems
2018 · Fatma Dhaou, Ines Mouakher, et al. · Communications in computer and information science · 1
Raffinement B de systèmes de transitions étiquetés
2009 · Inès Mouakher, Alexandre Francis · HAL · 1
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants
2008 · Inès Mouakher, Jeanine Souquières, et al. · L objet · 1
Protocol Verification in a Software Component-Based Approach
2008 · Inès Mouakher, Jeanine Souquières, et al. · IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS) · 1
A Formal Approach to Component Adaptation with a Tool Support
2023 · Ines Mouakher, Fatma Dhaou, et al. · International Conference on Computing and Information Technology (ICCIT)
Case study for sequence diagram transformation in Event-B
2021 · Mouakher, Inès · HAL
Toward a Correct Implementation of LwM2M Client with Event-B
2020 · Ines Mouakher, Fatma Dhaou, et al. · International Conference on Software Technologies (ICSOFT)
Protocol verification in a software component approach
2007 · Mouakher, Inès, Alexandre, Francis, et al. · HAL
Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
2005 · Inès Mouakher, Alexandre Francis, et al. · HAL
Works count: 17
Citation count: 49
H-index: 4
I10-index: 2
Year
Topic
Type