Thomas Geffroy

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 4

Top Topics

Web Service Composition

Discrete Event Systems

Top Venues

Theor. Comput. Sci.

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Occam's Razor applied to the Petri net coverability problem. Theor. Comput. Sci. 750 (2018)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Backward coverability with pruning for lossy channel systems. SPIN (2017)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Occam's Razor Applied to the Petri Net Coverability Problem. RP (2016)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Occam's Razor Applied to the Petri Net Coverability Problem. CoRR (2016)