Karim Berkani

According to our database, Karim Berkani authored at least 8 papers between 2000 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Modeling the CBTC Railway System of Siemens with <i>ScOLa</i>.

Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani

Int. J. Intell. Transp. Syst. Res., 2018

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

Tableaux Modulo Theories Using Superdeduction.

Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois

CoRR, 2015

2012

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

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2006

Feature Specification and Static Analysis for Interaction Resolution.

Marc Aiguier, Karim Berkani, Pascale Le Gall

Proceedings of the FM 2006: Formal Methods, 2006

2004

Validation des règles de base de l'Atelier B.

Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin

Tech. Sci. Informatiques, 2004

2003

An Environment for Interactive Service Specification.

Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2000

An incremental method for the design of feature-oriented systems.

Karim Berkani, Pascale Le Gall, Francis Klay

Proceedings of the Language Constructs for Describing Features, 2000