Thomas Geffroy

According to our database, Thomas Geffroy authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Occam's Razor applied to the Petri net coverability problem.

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre

Theor. Comput. Sci., 2018

2017

Vers des outils efficaces pour la vérification de systèmes concurrents. (Towards efficient tools for the verification of concurrent systems).

Thomas Geffroy

PhD thesis, 2017

Backward coverability with pruning for lossy channel systems.

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017