Dennis Giffhorn

According to our database, Dennis Giffhorn authored at least 8 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A new algorithm for low-deterministic security.

Dennis Giffhorn, Gregor Snelting

Int. J. Inf. Sec., 2015

2014

Checking probabilistic noninterference using JOANA.

Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab

it Inf. Technol., 2014

2012

Slicing of Concurrent Programs and its Application to Information Flow Control.

Dennis Giffhorn

PhD thesis, 2012

2011

Advanced chopping of sequential and concurrent programs.

Dennis Giffhorn

Softw. Qual. J., 2011

2009

Precise slicing of concurrent programs.

Dennis Giffhorn, Christian Hammer

Autom. Softw. Eng., 2009

Chopping Concurrent Programs.

Dennis Giffhorn

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

2008

Precise Analysis of Java Programs Using JOANA.

Dennis Giffhorn, Christian Hammer

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

2007

An Evaluation of Slicing Algorithms for Concurrent Programs.

Dennis Giffhorn, Christian Hammer

Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007