Grgory Thoduloz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | FASE | Shape Refinement through Explicit Heap Analysis. | Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz, Damien Zufferey |
| 2007 | CAV | Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. | Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz |
| 2006 | CAV | Lazy Shape Analysis. | Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz |