Kenza Kraibi

According to our database, Kenza Kraibi authored at least 5 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Towards a modular architecture of formal modelling : system/sub-systems decomposition in event-B. (Vers une architecture modulaire de modélisation formelle : décomposition système/sous-systèmes en B événementiel).

Kenza Kraibi

PhD thesis, 2021

2020

Event-B: From Systems to Sub-systems Modeling.

Kenza Kraibi

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B.

Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

J. Commun., 2019

Event-B Decomposition Analysis for Systems Behavior Modeling.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the 14th International Conference on Software Technologies, 2019

Towards a Method for the Decomposition by Refinement in Event-B.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019