Formal Methods in Industry : Achievements, Problems, Future, 28th International Conference on Software Engineering, pp.761-768, 2006. ,
, Modeling in Event-B: System and Software Engineering, 2010.
Landing Gear System case Study, ABZ Conference, vol.433, pp.1-18, 2014. ,
, Hybrid ERTMS/ETCS Level, vol.3, 2017.
Refinement patterns for ASTDs, Formal Aspects of Computer, vol.26, issue.5, pp.919-941, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01575321
Seamless Integration of Multirequirements in Complex Systems, IEEE 25th International Requirements Engineering Conference Workshops, RE Workshops, pp.21-25, 2017. ,
Design Patterns : Elements of Reusable Object-Oriented Software, 1994. ,
Bridging the Gap between Informal Requirements and Formal Specifications Using Model Federation, International Conference on Software Engineering and Formal Methods, pp.44-69, 2018. ,
, 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, issue.10, pp.576-580, 1969. ,
ProR, an Open Source Platform for Requirements Engineering based RIF, Systems Engineering Infrastructure Conference, SEISCONF, 2010. ,
ProB: A Model Checker for B, International Symposium of Formal Methods Europe, vol.2805, pp.855-874, 2003. ,
The hemodialysis machine case study, 5th International Conference ABZ: Abstract State Machines, 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. ,
Du cahier des chargesà sa spécification, 16ème journées AFADL, 2017. ,
La validation dans les première? etapes du processus de dévelopement. Revue ISI-DAT, numéro spécial Décisions, argumentation et tracabilité dans l'Ingénierie des Systèmes d'Information, vol.22, pp.11-41, 2017. ,
Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009. ,