An Evaluation of Slicing Algorithms for Concurrent Programs. - Dennis Giffhorn; Christian Hammer 001 (SCAM, 2007)

Precise Analysis of Java Programs Using JOANA. - Dennis Giffhorn; Christian Hammer 001 (SCAM, 2008)

Chopping Concurrent Programs. - Dennis Giffhorn (SCAM, 2009)

Precise slicing of concurrent programs. - Dennis Giffhorn; Christian Hammer 001 (Autom. Softw. Eng., 2009)

Advanced chopping of sequential and concurrent programs. - Dennis Giffhorn (Softw. Qual. J., 2011)

Slicing of Concurrent Programs and its Application to Information Flow Control. - Dennis Giffhorn (2012)

Checking probabilistic noninterference using JOANA. - Gregor Snelting; Dennis Giffhorn; Jürgen Graf 001; Christian Hammer 001; Martin Hecker 001; Martin Mohr; Daniel Wasserrab (it Inf. Technol., 2014)

A new algorithm for low-deterministic security. - Dennis Giffhorn; Gregor Snelting (Int. J. Inf. Sec., 2015)