Karim Berkani

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 1

Top Topics

Modulo Theories

Answer Set Programming

Top Venues

Int. J. Intell. Transp. Syst. Res.

Softw. Syst. Model.

Publications

Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani
. Int. J. Intell. Transp. Syst. Res. 16 (3) (2018)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Verifying B proof rules using deep embedding and automated theorem proving. Softw. Syst. Model. 14 (1) (2015)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Tableaux Modulo Theories Using Superdeduction. CoRR (2015)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. IJCAR (2012)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. SEFM (2011)
Marc Aiguier, Karim Berkani, Pascale Le Gall
Feature Specification and Static Analysis for Interaction Resolution. FM (2006)
Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin
Validation des règles de base de l'Atelier B. Tech. Sci. Informatiques 23 (7) (2004)
Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
An Environment for Interactive Service Specification. FIW (2003)
Karim Berkani, Pascale Le Gall, Francis Klay
An incremental method for the design of feature-oriented systems. FIREworks (2000)