Concepedia

Vincent Gourcuff

VG

Statistics

Publications

4

Citations

182

H-Index

4

Active since

2006

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Laboratoire Spécification et Vérification

Vincent Gourcuff is an author at École Normale Supérieure Paris-Saclay specializing in computer science, formal methods, and model checking.

Publications per year

2006–2010

4

Publications

4

Efficient Representation for Formal Verification of PLC Programs

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure · 2006 · 56 citations · Full text

, , +17

Verification of a Timed Multitask System With Uppaal

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff et al. · IEEE Transactions on Automation Science and Engineering · 2010 · 51 citations · Full text

, , +17

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff · 2006 · 49 citations · Full text

, , +17

Improving large-sized PLC programs verification using abstractions

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure · IFAC Proceedings Volumes · 2008 · 26 citations · Full text

, , +11

1–4 of 4