Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. - J. Paul Gibson; Souad Kherroubi; Dominique Méry (FORTE, 2017)

Contextualization and Dependency in State-Based Modelling - Application to Event-B. - Souad Kherroubi; Dominique Méry (MEDI, 2017)

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 001; Laurent Voisin (ABZ, 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 (2018)