, Le Cahier des Charges: Contenu, Forme et Analyse (en vue de la Formalisation), 1998.
B : passé, présent, futur, Technique et Science Informatiques, vol.22, pp.89-118, 2003. ,
Formal Methods in Industry: Achievements, Problems, Future, 28th International Conference on Software Engineering, pp.761-768, 2006. ,
Faultless Systems: Yes We Can!, IEEE Computer, vol.42, pp.30-36, 2009. ,
, Modeling in Event-B: System and Software Engineering, 2010.
Rodin: an open toolset for modelling and reasoning in Event-B, STTT, vol.12, pp.447-466, 2010. ,
Building Traceable Event-B Models from Requirements, AVoCS 2013), vol.111, pp.318-338, 2015. ,
La validation de modèles Event-B avec le plug-in ProB pour RODIN, Technique et Science Informatiques, vol.27, pp.1065-1084, 2008. ,
Landing Gear System case Study, Communications in Computer and Information Science, vol.433, pp.1-18, 2014. ,
From natural language specifications to formal specifications via an ontology as a pivot model, Theses, 2014. ,
, Design Patterns: Elements of Reusable Objectoriented Software, 1995.
A Reference Model for Requirements and Specifications -Extended Abstract, Proceedings of the 4th International Conference on Requirements Engineering, pp.37-43, 2000. ,
A Method and Tool for Tracing Requirements into Specifications, Sciences Computer Program, vol.82, pp.2-21, 2014. ,
Validation of Formal Models by Refinement Animation, Sci. Comput. Program, vol.78, pp.272-292, 2011. ,
A Method for Requirements Elicitation and Formal Specification, Proc. 18th Int. Conference on Conceptual Modeling, ER'99, n°1728 in LNCS Springer-Verlag, pp.309-324, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00098987
Event-B Patterns and their Tool Support, Software and System Modeling, vol.12, pp.229-244, 2013. ,
An Axiomatic Basis for Computer Programming, Commun. ACM, vol.12, pp.576-580, 1969. ,
Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel, Technique et Science Informatiques, vol.34, pp.549-573, 2015. ,
ProR, an Open Source Platform for Requirements Engineering based RIF, 2010. ,
ProB: an Automated Analysis Toolset for the B Method, International Journal on Software Tools for Technology Transfer, vol.10, pp.185-203, 2008. ,
ProB: A Model Checker for B, FME 2003: Formal Methods, 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. ,
Validation of Formal Specifications through Transformation and Animation, Requirements Engineering, p.16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01262115
Refinement-based Validation of Event-B Specifications, Software and Systems Modeling, p.33, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01262106
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, 2016. ,
Du cahier des charges à sa spécification, 2017. ,
From Requirements to Development: Methodology and Example, 13th International Conference on Formal Engineering Methods, pp.437-455, 2011. ,
Formalizing hybrid systems with Event-B and the Rodin Platform, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, vol.94, pp.238-249, 2008. ,
An Event-B Plug-in for Creating Deadlock-Freeness Theorems, 14th Brazilian Symposium on Formal Methods, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00623825