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