Clotilde BIZIERE - Thèse en cours

Doctorat Informatique

- Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Atteignabilité dans les VASS branchant et les VASS à pile

Mots-clés de la thèse : Réseaux de Petri,VASS,Méthodes Formelles,,

Direction de thèse : Jérôme LEROUX

Co-direction de thèse : Wojciech CZERWINSKI

Co-encadrement de thèse : Grégoire SUTRE

Cotutelle Université de Varsovie POLOGNE
Descriptif : 2 ans en France et 1 an en Pologne

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Production scientifique

- Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, Grégoire Sutre 2025. On the Reachability Problem for Two-Dimensional Branching VASS 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), aucune idée, https://doi.org/10.4230/LIPIcs.MFCS.2025.22
- Clotilde Bizière, Wojciech Czerwinski 2025. Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable STOC 2025 57th Annual ACM Symposium on Theory of Computing, pages = {1851–1862}, https://doi.org/10.1145/3717823.3718149

Dernière mise à jour le 8 septembre 2025