Grégory Théoduloz

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey
Shape Refinement through Explicit Heap Analysis. FASE (2010)
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
Program Analysis with Dynamic Precision Adjustment. ASE (2008)
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV (2007)
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
Lazy Shape Analysis. CAV (2006)