Lazy Shape Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz (CAV, 2006)

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz (CAV, 2007)

Program Analysis with Dynamic Precision Adjustment. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz (ASE, 2008)

Shape Refinement through Explicit Heap Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz; Damien Zufferey (FASE, 2010)

Software Verification by Combining Program Analyses of Adjustable Precision. - Grégory Théoduloz (2010)