Karim Berkani

Siemens (France) — France

Computer Science · Physical Sciences

6h-index73citations19works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(8), Logic, programming, and type systems(5), Model-Driven Software Engineering Techniques(5), Advanced Software Engineering Methodologies(4), Logic, Reasoning, and Knowledge(4)

Publications19 total

Modeling the CBTC Railway System of Siemens with ScOLa
International Journal of Intelligent Transportation Systems Research·2017· 7 cited
SCOLA, A SCENARIO ORIENTED MODELING LANGUAGE FOR RAILWAY SYSTEMS
Insight·2015· 4 cited
Modeling the CBTC railway system with ScOLA
HAL (Le Centre pour la Communication Scientifique Directe)·2015Open Access
SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications
HAL (Le Centre pour la Communication Scientifique Directe)·2014
BCARe: Automatic Rule Checking for Use with Siemens
2014
Verifying B proof rules using deep embedding and automated theorem proving
Software & Systems Modeling·2013· 9 cited
BCARe : Contrôle automatique des règles ajoutées à SIEMENS
HAL (Le Centre pour la Communication Scientifique Directe)·2012
Tableaux Modulo Theories using Superdeduction - An Application to the Veri fication of B Proof Rules with the Zenon Automated Theorem Prover
HAL (Le Centre pour la Communication Scientifique Directe)·2012· 10 cited
BCARe : un environnement pour la vérification de règles de l?Atelier B
HAL (Le Centre pour la Communication Scientifique Directe)·2012
Tableaux Modulo Theories Using Superdeduction
Lecture notes in computer science·2012· 5 citedOpen Access
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
Lecture notes in computer science·2011· 10 cited
Role of supervision systems in railway safety
WIT transactions on state-of-the-art in science and engineering·2010· 3 cited
Role of supervision systems in railway safety
WIT transactions on the built environment·2006· 8 citedOpen Access
Feature Specification and Static Analysis for Interaction Resolution
Lecture notes in computer science·2006· 5 citedOpen Access
Validation des règles de base de l'Atelier B
Techniques et sciences informatiques·2004· 9 cited
An Environment for Interactive Service Specification.
FIW·2003· 1 cited
Validation des règles de base de l'Atelier B
HAL (Le Centre pour la Communication Scientifique Directe)·2003
Un cadre méthodologique pour l'intégration de services par évitement des interactions
Journal of Neurochemistry·2003· 1 cited
An incremental method for the design of feature-oriented systems
2001· 1 cited

Frequent Co-authors

Mélanie Jacquel(7), Catherine Dubois(6), David Delahaye(5), Melissa Issad(4), Leı̈la Kloul(4), Antoine Rauzy(4), Pascale Le Gall(3), Eric Le Lay(3), Alain Faivre(2), Fabien Belmonte(2), J.-L. Boulanger(2), Walter Schön(2), Francis Klay(2), J r me Falampin(1), Marc Aiguier(1), Rémy Cave(1), Sophie Coudert(1), F. Ouabdesselam(1), Jean-Luc Richier(1), J r me Falampin(1)