Grégory Théoduloz

According to our database, Grégory Théoduloz authored at least 5 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Software Verification by Combining Program Analyses of Adjustable Precision.

Grégory Théoduloz

PhD thesis, 2010

Shape Refinement through Explicit Heap Analysis.

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2008

Program Analysis with Dynamic Precision Adjustment.

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Lazy Shape Analysis.

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz

Proceedings of the Computer Aided Verification, 18th International Conference, 2006