Rodin : an open toolset for modelling and reasoning in Event-B, vol.12, pp.447-466, 2010. ,
, Abrial. Event-B Patterns and their Tool Support. Software and System Modeling, vol.12, issue.2, pp.229-244, 2013.
ProR, an Open Source Platform for Requirements Engineering based RIF. SEISCONF, 2010. ,
ProB : A Model Checker for B, International Symposium of Formal Methods Europe, pp.855-874, 2003. ,
The Hemodialysis Machine Case Study, Abstract State Machines, Alloy, B, TLA, VDM, and Z -5th International Conference, pp.329-343, 2016. ,
Combining Models, Diagrams and Tables for Efficient Requirements Engineering : Lessons Learned from the Industry, Actes du XXXIIIème Congrès INFORSID, pp.235-250, 2015. ,
La Validation dans le Processus de Développement, Actes du XXXIVème Congrès INFORSID, pp.67-82, 2016. ,
From Requirements to Development : Methodology and Example, 13th International Conference on Formal Engineering Methods, pp.437-455, 2011. ,