, Modeling in Event-B : System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881
, La validation de mod??les Event-B avec le plug-in ProB pour RODIN, Techniques et sciences informatiques, vol.27, issue.8, pp.1065-1084, 2008.
DOI : 10.3166/tsi.27.1065-1084
, Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, p.2, 2008.
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577
, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9
, Debug event-b models using the prob disprover plugin, Approches Formelles dans l'Assistance au Développement de Logi- ciels(AFADL'07, 2007.
, Utilizing Event-B for domain engineering: a critical analysis, Requirements Engineering, vol.6, issue.1, pp.191-207, 2011.
DOI : 10.1007/s00766-011-0120-5
URL : https://hal.archives-ouvertes.fr/inria-00590700
, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert'09, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082
, Automatic code generation from event-B models, Proceedings of the Second Symposium on Information and Communication Technology, SoICT '11, 2011.
DOI : 10.1145/2069216.2069252
, Automatic Generation of C from Event-B. In : Workshop on Integration of Model-based Formal Methods and Tools, 2009.
, Scaling Up with Event-B: A Case Study, NASA Formal Methods, pp.438-452, 2011.
DOI : 10.1023/A:1018977602872
URL : https://hal.archives-ouvertes.fr/inria-00604687