Dennis Giffhorn

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Topics

Maximum Entropy

Probabilistic Approaches

Expectation Maximization

Top Venues

it Inf. Technol.

Int. J. Inf. Sec.

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Dennis Giffhorn, Gregor Snelting
A new algorithm for low-deterministic security. Int. J. Inf. Sec. 14 (3) (2015)
Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab
Checking probabilistic noninterference using JOANA. it Inf. Technol. 56 (6) (2014)
Dennis Giffhorn
Advanced chopping of sequential and concurrent programs. Softw. Qual. J. 19 (2) (2011)
Dennis Giffhorn, Christian Hammer
Precise slicing of concurrent programs. Autom. Softw. Eng. 16 (2) (2009)
Dennis Giffhorn
Chopping Concurrent Programs. SCAM (2009)
Dennis Giffhorn, Christian Hammer
Precise Analysis of Java Programs Using JOANA. SCAM (2008)
Dennis Giffhorn, Christian Hammer
An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM (2007)