Fatma Dhaou

According to our database1, Fatma Dhaou authored at least 8 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Validating and verifying LwM2M clients with event-B.
Int. J. Internet Protoc. Technol., 2023

2022
Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification.
J. Comput. Sci. Technol., 2022

2020
Toward a Correct Implementation of LwM2M Client with Event-B.
Proceedings of the 15th International Conference on Software Technologies, 2020

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).
PhD thesis, 2018

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.
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.
Proceedings of the ENASE 2017, 2017

2016
Refinement of UML2.0 Sequence Diagrams for Distributed Systems.
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.
Proceedings of the ICSOFT-EA 2015, 2015


  Loading...