2012

Conférence Nationale avec comité de lecture

• [BDD12] K. Berkani, D. Delahaye, C. Dubois, M. Jacquel, M. Keogh, E. Le Lay. "BCARe : un environnement pour la vérification de règles de l’Atelier B ", Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,

Chapitres de Livre

• [BJL12] K. Berkani, M. Jacquel, E. Le Lay. "BCARe : Contrôle automatique des règles ajoutées à SIEMENS", Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,