Siemens (Germany) — Germany
Computer Science · Physical Sciences
4h-index37citations11works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(9), Logic, programming, and type systems(8), Logic, Reasoning, and Knowledge(7), Natural Language Processing Techniques(1), Semantic Web and Ontologies(1)
Publications11 total
arXiv (Cornell University)·2015· 2 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2015· 1 citedOpen Access
Software & Systems Modeling·2013· 9 cited
theses.fr (ABES)·2013Open Access
Proof Automation for Atelier B Rules Verification
OpenGrey (Institut de l'Information Scientifique et Technique)·2013
BCARe : Contrôle automatique des règles ajoutées à SIEMENS
HAL (Le Centre pour la Communication Scientifique Directe)·2012
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
Lecture notes in computer science·2012· 5 citedOpen Access
Lecture notes in computer science·2011· 10 cited
Frequent Co-authors
Karim Berkani(7), David Delahaye(7), Catherine Dubois(4), Eric Le Lay(3), Catherine Dubois(1), Martin Keogh(1)