Thomas GEFFROY
Thomas Geffroy Doctorant (Université Bordeaux)

Équipe LaBRI : Méthodes formelles
Courrier électronique : thomas.geffroyarobaselabri.fr
Bureau : 325
Tél : +33 (0)5 40 00 84 27


Extrait de publications


Thomas Geffroy, Jérôme Leroux, Grégoire Sutre. Occam's Razor applied to the Petri net coverability problem. Theoretical Computer Science, Elsevier, 2018, 750, pp.38-52. ⟨10.1016/j.tcs.2018.04.014⟩. ⟨hal-02390655⟩

Thomas Geffroy. Vers des outils efficaces pour la vérification de systèmes concurrents. Autre [cs.OH]. Université de Bordeaux, 2017. Français. ⟨NNT : 2017BORD0848⟩. ⟨tel-01827245⟩

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre. Backward coverability with pruning for lossy channel systems. the 24th ACM SIGSOFT International SPIN Symposium, Jul 2017, Santa Barbara, France. pp.132-141, ⟨10.1145/3092282.3092292⟩. ⟨hal-02391841⟩

Jérôme Leroux, Grégoire Sutre, Thomas Geffroy. Occam's Razor Applied to the Petri Net Coverability Problem. Reachability Problems - 10th International Workshop, 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings, Sep 2016, Aalborg, Denmark. ⟨10.1007/978-3-319-45994-3\_6⟩. ⟨hal-02391865⟩


Page mise à jour le 13/08/2010 à 10:56