|
Search the dblp DataBase
Christian Hammer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christian Hammer, Gregor Snelting
An improved slicer for Java. [Citation Graph (0, 0)][DBLP] PASTE, 2004, pp:17-22 [Conf]
- Christian Hammer, Martin Grimme, Jens Krinke
Dynamic path conditions in dependence graphs. [Citation Graph (0, 0)][DBLP] PEPM, 2006, pp:58-67 [Conf]
A Type System for Data-Centric Synchronization. [Citation Graph (, )][DBLP]
Dynamic detection of atomic-set-serializability violations. [Citation Graph (, )][DBLP]
Intransitive Noninterference in Dependence Graphs. [Citation Graph (, )][DBLP]
Static path conditions for Java. [Citation Graph (, )][DBLP]
An Evaluation of Slicing Algorithms for Concurrent Programs. [Citation Graph (, )][DBLP]
Precise Analysis of Java Programs Using JOANA. [Citation Graph (, )][DBLP]
Experiences with PDG-Based IFC. [Citation Graph (, )][DBLP]
Precise slicing of concurrent programs. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|