Search the dblp DataBase

Publications of Author

1. Christian Hammer, Gregor Snelting
   An improved slicer for Java. [Citation Graph (0, 0)][DBLP]
   PASTE, 2004, pp:17-22 [Conf]
   
2. Christian Hammer, Martin Grimme, Jens Krinke
   Dynamic path conditions in dependence graphs. [Citation Graph (0, 0)][DBLP]
   PEPM, 2006, pp:58-67 [Conf]
   
3. 
   A Type System for Data-Centric Synchronization. [Citation Graph (, )][DBLP]
   
   
4. 
   Dynamic detection of atomic-set-serializability violations. [Citation Graph (, )][DBLP]
   
   
5. 
   Intransitive Noninterference in Dependence Graphs. [Citation Graph (, )][DBLP]
   
   
6. 
   Static path conditions for Java. [Citation Graph (, )][DBLP]
   
   
7. 
   An Evaluation of Slicing Algorithms for Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Precise Analysis of Java Programs Using JOANA. [Citation Graph (, )][DBLP]
   
   
9. 
   Experiences with PDG-Based IFC. [Citation Graph (, )][DBLP]
   
   
10. 
    Precise slicing of concurrent programs. [Citation Graph (, )][DBLP]