082035970
2004-12-02
2023-09-15T20:23:08
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq / David Delahaye ; sous la dir. de Christine Paulin-Mohring, Benjamin Werner. Thèse doctorat : Informatique fondamentale : Paris 6 : 2001
A formal approach to automate the evolution management in component-based software development processes / Abderrahman Mokni ; sous la direction de Marianne Huchard. Thèse de doctorat : Informatique : Montpellier : 2015 : Président de thèse (en 2015)
www.lirmm.fr/~delahaye/, 2020-04-28 : Professeur à l'Université de Montpellier et membre du Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM - UMR 5506) (en 2020)
0000-0003-4779-1359
0000000359476903
male
Delahaye, David (1971-....)
Delahaye
David
David Delahaye
1971
Auteur d'une thèse de doctorat en Informatique fondamentale à l'Université de Paris 6 (en 2001)
Professeur à l'Université de Montpellier et membre du Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM - UMR 5506) (en 2020)
Automated verification of termination certificates / Kim Quyen Ly ; sous la direction de Jean-François Monin et de Frédéric Blanqui / , 2014
Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques / Vincent Iampietro le 2021 [ Montpellier ]
ARIANE : Automated Re-Documentation to Improve software Architecture uNderstanding and Evolution / Alexandre Le Borgne le 2020 [ IMT Mines Alès ]
Chase Variants & Boundedness / Efstathios Delivorias le 2019 [ Montpellier ]
Integrating rewriting, tableau and superposition into SMT / Guillaume Bury le 2019 [ Sorbonne Paris Cité ]
A formal approach to automate the evolution management in component-based software development processes / Abderrahman Mokni le 2015 [ Montpellier ]
Automated verification of termination certificates / Kim Quyen Ly le 2014 [ Grenoble ]
Automatisation des preuves pour la vérification des règles de l'Atelier B / Mélanie Jacquel le 2013 [ Paris, CNAM ]
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq / David Delahaye ; sous la dir. de Christine Paulin-Mohring, Benjamin Werner / [S.l.] : [s.n.] , 2001
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq / David Delahaye ; sous la direction de Christine Paulin-Mohring, Benjamin Werner / Lille : Atelier national de reproduction des thèses , 2001
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq / David Delahaye le 2001 [ Paris 6 ]
Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques / Davide Catta ; sous la direction de Christian Retoré et de Richard Moot et de Myriam Quatrini / , 2021
Chase Variants & Boundedness / Efstathios Delivorias ; sous la direction de Marie-Laure Mugnier et de Federico Ulliana et de Michel Leclère / , 2019
Integrating Automated Theorem Provers in Proof Assistants / Yacine El haddad ; sous la direction de Frédéric Blanqui et de Guillaume Burel / , 2021
A formal approach to automate the evolution management in component-based software development processes / Abderrahman Mokni ; sous la direction de Marianne Huchard / , 2015
Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques / Davide Catta le 2021 [ Montpellier ]
Integrating Automated Theorem Provers in Proof Assistants / Yacine El haddad le 2021 [ université Paris-Saclay ]
Chase Variants & Boundedness / Efstathios Delivorias le 2019 [ Montpellier ]
A formal approach to automate the evolution management in component-based software development processes / Abderrahman Mokni le 2015 [ Montpellier ]
Combinaison de méthodes formelles pour la spécification de systèmes industriels / Thomas Fayolle ; sous la direction de Régine Laleau et de Marc Frappier / , 2017
Combinaison de méthodes formelles pour la spécification de systèmes industriels / Thomas Fayolle le 2017 [ Paris Est ]
Extraction de code fonctionnel certifié à partir de spécifications inductives / Pierre-Nicolas Tollitte ; sous la direction de Catherine Dubois et de David Delahaye / , 2013
Automatisation des preuves pour la vérification des règles de l'Atelier B / Mélanie Jacquel ; sous la direction de Catherine Dubois et de David Delahaye et de Karim Berkani / , 2013
Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques / Vincent Iampietro ; sous la direction de David Delahaye et de David Andreu / , 2021
Integrating rewriting, tableau and superposition into SMT / Guillaume Bury ; sous la direction de Gilles Dowek et de David Delahaye / , 2019
Automated deduction and proof certification for the B method / Pierre Halmagrand ; sous la direction de David Delahaye / , 2016
ARIANE : Automated Re-Documentation to Improve software Architecture uNderstanding and Evolution / Alexandre Le Borgne ; sous la direction de Marianne Huchard et de David Delahaye / , 2020
Génération de prouveurs automatiques de théorèmes / Romain Sidhoum [ Université de Montpellier (2022-....) ]
Conception d'un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre. / Julie Cailler le 2023 [ Université de Montpellier (2022-....) ]
Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques / Vincent Iampietro le 2021 [ Montpellier ]
ARIANE : Automated Re-Documentation to Improve software Architecture uNderstanding and Evolution / Alexandre Le Borgne le 2020 [ IMT Mines Alès ]
Integrating rewriting, tableau and superposition into SMT / Guillaume Bury le 2019 [ Sorbonne Paris Cité ]
Automated deduction and proof certification for the B method / Pierre Halmagrand le 2016 [ Paris, CNAM ]
Extraction de code fonctionnel certifié à partir de spécifications inductives / Pierre-Nicolas Tollitte le 2013 [ Paris, CNAM ]
Automatisation des preuves pour la vérification des règles de l'Atelier B / Mélanie Jacquel le 2013 [ Paris, CNAM ]