dblp.uni-trier.dewww.uni-trier.de

Grégory Théoduloz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
2007
3EEDirk 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
2EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. CAV 2006: 532-546
1EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006

Coauthor Index

1Dirk Beyer [1] [2] [3] [4]
2Thomas A. Henzinger [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)