Thibault HILAIRE - Doctorant
thibault.hilaire@hotmail.fr
Identifiant ORCID
0009000873248767
Identifiant Hal
https://hal.archives-ouvertes.fr/search/index/?q=%2A&authIdHal_s=thibault-luc-hilaire
Doctorat Informatique
soutenance de la thèse le
2 décembre 2024 -
Université de Bordeaux
Ecole doctorale
:
Mathématiques et Informatique
Sujet
: ALGORITHMES DE COUVERTURE POUR LES RÉSEAUX DE PETRI CERTIFIÉS EN COQ
Mots-clés de la thèse
: Systèmes concurrents,Réseaux de Petri,Certification,Vérification formelle,Coq,
Direction de thèse
: Jérôme LEROUX
Co-direction de thèse
: David ILCINKAS
Unité de recherche :
LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800
- Talence
Intitulé de l'équipe :
Méthodes et Modèles formels
Master - MASTER PARISIEN DE RECHERCHE EN INFORMATIQUE
obtenu en septembre 2020 - Université Paris-Saclay
Option :
Informatique
Production scientifique
-
Thibault Hilaire, David Ilcinkas, Jérôme Leroux
2024. A State-of-the-Art Karp-Miller Algorithm Certified in Coq
,
14570, pp.370 - 389
,
https://hal.science/hal-04601324
Langues Vivantes :
Anglais
C1 - Avancé -
Français
C2 - Maternel -
Espagnol
A2 - Élémentaire
Dernière mise à jour le 17 octobre 2024
