Search the dblp DataBase

Publications of Author

1. 
   Loop Summarization Using Abstract Transformers. [Citation Graph (, )][DBLP]
   
   
2. 
   Termination Analysis with Compositional Transition Invariants. [Citation Graph (, )][DBLP]
   
   
3. 
   Detection of Security Vulnerabilities Using Guided Model Checking. [Citation Graph (, )][DBLP]
   
   
4. 
   Loopfrog: A Static Analyzer for ANSI-C Programs. [Citation Graph (, )][DBLP]
   
   
5. 
   The synergy of precise and fast abstractions for program verification. [Citation Graph (, )][DBLP]
   
   
6. 
   The OpenSMT Solver. [Citation Graph (, )][DBLP]