Search the dblp DataBase

Publications of Author

1. Andreas Podelski, Thomas Wies
   Boolean Heaps. [Citation Graph (0, 0)][DBLP]
   SAS, 2005, pp:268-283 [Conf]
   
2. Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
   Field Constraint Analysis. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:157-173 [Conf]
   
3. Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
   Shape Analysis for Composite Data Structures. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:178-192 [Conf]
   
4. Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
   On Verifying Complex Properties using Symbolic Shape Analysis [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
5. 
   Intra-module Inference. [Citation Graph (, )][DBLP]
   
   
6. 
   Heap Assumptions on Demand. [Citation Graph (, )][DBLP]
   
   
7. 
   It's Doomed; We Can Prove It. [Citation Graph (, )][DBLP]
   
   
8. 
   Forward Analysis of Depth-Bounded Processes. [Citation Graph (, )][DBLP]
   
   
9. 
   Combining Theories with Shared Set Operations. [Citation Graph (, )][DBLP]
   
   
10. 
    Counterexample-guided focus. [Citation Graph (, )][DBLP]
    
    
11. 
    Abstraction Refinement for Quantified Array Assertions. [Citation Graph (, )][DBLP]
    
    
12. 
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System. [Citation Graph (, )][DBLP]
    
    
13. 
    Building a Calculus of Data Structures. [Citation Graph (, )][DBLP]