University of Karlsruhe
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2009 | ||
|---|---|---|
| 8 | Dennis Giffhorn, Christian Hammer: Precise slicing of concurrent programs. Autom. Softw. Eng. 16(2): 197-234 (2009) | |
| 2008 | ||
| 7 | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240 | |
| 6 | Christian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66 | |
| 5 | Dennis Giffhorn, Christian Hammer: Precise Analysis of Java Programs Using JOANA. SCAM 2008: 267-268 | |
| 2007 | ||
| 4 | Dennis Giffhorn, Christian Hammer: An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM 2007: 17-26 | |
| 2006 | ||
| 3 | Christian Hammer, Jens Krinke, Frank Nodes: Intransitive Noninterference in Dependence Graphs. ISoLA 2006: 119-128 | |
| 2 | Christian Hammer, Martin Grimme, Jens Krinke: Dynamic path conditions in dependence graphs. PEPM 2006: 58-67 | |
| 2004 | ||
| 1 | Christian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22 | |
| 1 | Julian Dolby | [7] |
| 2 | Dennis Giffhorn | [4] [5] [8] |
| 3 | Martin Grimme | [2] |
| 4 | Jens Krinke | [2] [3] |
| 5 | Frank Nodes | [3] |
| 6 | Rüdiger Schaade | [6] |
| 7 | Gregor Snelting | [1] [6] |
| 8 | Frank Tip | [7] |
| 9 | Mandana Vaziri | [7] |