Travelled to:1 × Canada
1 × China
1 × France
Collaborated with:∅ C.Hammer
Talks about:program (4) concurr (3) chop (2) algorithm (1) sequenti (1) analysi (1) precis (1) advanc (1) slice (1) joana (1)
Person: Dennis Giffhorn
DBLP: Giffhorn:Dennis
Contributed to:
2009201120082007Wrote 4 papers:
- SCAM-2009-Giffhorn #concurrent #source code
- Chopping Concurrent Programs (DG), pp. 13–22.
- SCAM-J-2009-Giffhorn11 #concurrent #source code
- Advanced chopping of sequential and concurrent programs (DG), pp. 239–294.
- SCAM-2008-GiffhornH #analysis #java #precise #source code #using
- Precise Analysis of Java Programs Using JOANA (DG, CH), pp. 267–268.
- SCAM-2007-GiffhornH #algorithm #concurrent #evaluation #slicing #source code
- An Evaluation of Slicing Algorithms for Concurrent Programs (DG, CH), pp. 17–26.