Thomas Geffroy

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

Collaborative distances:

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

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

2016

Occam's Razor Applied to the Petri Net Coverability Problem.

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

Proceedings of the Reachability Problems - 10th International Workshop, 2016