An incremental method for the design of feature-oriented systems. - Karim Berkani; Pascale Le Gall; Francis Klay (FIREworks, 2000)

An Environment for Interactive Service Specification. - Karim Berkani; Rémy Cave; Sophie Coudert; Francis Klay; Pascale Le Gall; Farid Ouabdesselam; Jean-Luc Richier (FIW, 2003)

Validation des règles de base de l'Atelier B. - Karim Berkani; Catherine Dubois; Alain Faivre; Jérôme Falampin (Tech. Sci. Informatiques, 2004)

Feature Specification and Static Analysis for Interaction Resolution. - Marc Aiguier; Karim Berkani; Pascale Le Gall (FM, 2006)

Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. - Mélanie Jacquel; Karim Berkani; David Delahaye; Catherine Dubois (IJCAR, 2012)

Tableaux Modulo Theories Using Superdeduction. - Mélanie Jacquel; Karim Berkani; David Delahaye; Catherine Dubois (CoRR, 2015)

Verifying B proof rules using deep embedding and automated theorem proving. - Mélanie Jacquel; Karim Berkani; David Delahaye; Catherine Dubois (Softw. Syst. Model., 2015)

Modeling the CBTC Railway System of Siemens with ScOLa. - Melissa Issad; Leïla Kloul; Antoine Rauzy; Karim Berkani (Int. J. Intell. Transp. Syst. Res., 2018)