Souad Kherroubi

According to our database, Souad Kherroubi authored at least 4 papers between 2017 and 2018.

Collaborative distances:

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

2018

Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes: application au formalisme Event-B. (A formal framework to integrate domain knowledge into system design: Application to Event-B formalism).

Souad Kherroubi

PhD thesis, 2018

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.

Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Contextualization and Dependency in State-Based Modelling - Application to Event-B.

Souad Kherroubi, Dominique Méry

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.

J. Paul Gibson, Souad Kherroubi, Dominique Méry

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017