David Delahaye

Université de Montpellier — France

Computer Science · Physical Sciences

10h-index571citations63works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

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

Research Topics

Logic, programming, and type systems(33), Formal Methods in Verification(24), Logic, Reasoning, and Knowledge(21), Semantic Web and Ontologies(8), Advanced Software Engineering Methodologies(8)

Publications63 total

Dedukti: a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory
arXiv (Cornell University)·2023· 4 citedOpen Access
Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\n Theory
arXiv (Cornell University)·2023· 1 citedOpen Access
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
Lecture notes in computer science·2022· 4 citedOpen Access
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets.
HAL (Le Centre pour la Communication Scientifique Directe)·2020Open Access
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice
Journal of Automated Reasoning·2019· 9 cited
Regards croisés sur la notion de tiers de confiance
SPIRE - Sciences Po Institutional REpository·2019
Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms
Lecture notes in computer science·2019· 4 citedOpen Access
SMT Solving Modulo Tableau and Rewriting Theories
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 1 citedOpen Access
Recovering Three-Level Architectures from the Code of Open-Source Java Spring Projects (S)
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering·2018· 2 cited
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
EPiC series in computing·2018· 9 citedOpen Access
An Automation-Friendly Set Theory for the B Method
Lecture notes in computer science·2018· 3 citedOpen Access
Substitutability-Based Version Propagation to Manage the Evolution of Three-Level Component-Based Architectures
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering·2017Open Access
Preliminary study on predicting version propagation in three-level component-based architectures
SPIRE - Sciences Po Institutional REpository·2017
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
SPIRE - Sciences Po Institutional REpository·2016· 2 cited
Recovering Intuition from Automated Formal Proofs using Tableaux with\n Superdeduction
arXiv (Cornell University)·2015· 2 citedOpen Access
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction
HAL (Le Centre pour la Communication Scientifique Directe)·2015· 1 citedOpen Access
Integrating Simplex with Tableaux
Lecture notes in computer science·2015· 5 citedOpen Access
New Software and Platforms - Zenon
2015
Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014
HAL (Le Centre pour la Communication Scientifique Directe)·2014
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B
HAL (Le Centre pour la Communication Scientifique Directe)·2014Open Access
page 1 of 4Next →

Frequent Co-authors

Catherine Dubois(12), Pierre Halmagrand(7), Olivier Hermant(7), Mélanie Jacquel(6), Véronique Viguié Donzeau-Gouge(6), Damien Doligez(5), Frédéric Gilbert(5), Jean-Frédéric Étienne(5), Guillaume Bury(5), Micaela Mayero(4), Karim Berkani(4), Guillaume Burel(4), Mathieu Jaume(4), Jean-Frédéric Étienne(3), Raphaël Cauderlier(3), Renaud Rioboo(3), Ali Assaf(3), Gilles Dowek(3), Ronan Saillard(3), Virgile Prévosto(3)