2008 | ||
---|---|---|
4 | EE | Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38 |
2007 | ||
3 | EE | Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV 2007: 504-518 |
2006 | ||
2 | EE | Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. CAV 2006: 532-546 |
1 | EE | Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
1 | Dirk Beyer | [1] [2] [3] [4] |
2 | Thomas A. Henzinger | [1] [2] [3] [4] |