dblp.uni-trier.dewww.uni-trier.de

Christian Hammer

University of Karlsruhe

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
6EEChristian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
5EEChristian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66
4EEDennis Giffhorn, Christian Hammer: Precise Analysis of Java Programs Using JOANA. SCAM 2008: 267-268
2007
3EEDennis Giffhorn, Christian Hammer: An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM 2007: 17-26
2006
2EEChristian Hammer, Martin Grimme, Jens Krinke: Dynamic path conditions in dependence graphs. PEPM 2006: 58-67
2004
1EEChristian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22

Coauthor Index

1Julian Dolby [6]
2Dennis Giffhorn [3] [4]
3Martin Grimme [2]
4Jens Krinke [2]
5Rüdiger Schaade [5]
6Gregor Snelting [1] [5]
7Frank Tip [6]
8Mandana Vaziri [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)