Grégory Théoduloz

According to our database1, Grégory Théoduloz
  • authored at least 5 papers between 2006 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Shape Refinement through Explicit Heap Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2008
Program Analysis with Dynamic Precision Adjustment.
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.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Lazy Shape Analysis.
Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

Lazy Shape Analysis.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006


  Loading...