|
 
|
Karim Berkani
Publications
2013
- [JBD13] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Verifying B proof rules using deep embedding and automated theorem proving", Software & Systems Modeling (SoSym), pp. online, 2013, (doi:10.1007/s10270-013-0322-z)
Revue Internationale avec comité de lecture
2012
- [JBD12] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover", International Joint Conference on Automated Reasoning (IJCAR 2012), June 2012, Vol. 7364, pp.332--338, Series LNAI, Manchester, UK,
- [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,
- [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. -,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
Chapitres de Livre
2011
- [JBD11] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.", Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, November 2011, Vol. 7041, pp.253-268, Series LNCS, Montevideo, Uruguay,
Conférence Internationale avec comité de lecture
2004
- [BDF04] K. Berkani, C. Dubois, A. Faivre, J. Falampin. "Validation des règles de base de l'Atelier B", TSI, Technique et Science Informatiques, vol. 23(7), pp. 855-878, 2004
Revue Nationale avec comité de lecture
2003
- [BDF03] K. Berkani, C. Dubois, A. Faivre, J. Falampin. " Validation des règles de base de l'Atelier B", AFADL'03, January 2003,
