Dr.-Ing. Dennis Giffhorn

	Contact	Room 031

Research interests

I am working on the VALSOFT/JOANA project, where i am focusing on the analysis of concurrent Java programs.

Slicing of concurrent programs.

I am evaluating and developing various slicing algorithms for concurrent programs with shared memory.

Information Flow Control for concurrent programs.

Currently i am working on a slicing-based method that inspects if concurrent programs satisfy probabilistic noninterference.

Courses

• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2010/2011
• Lecture: Software Engineering Practice - Java Development for Cellphones , Sommersemester 2010
• Lecture: Software Engineering Practice - Java Development for Cellphones , Wintersemester 2009/2010
• Common Excercises: Advanced object-orientation - exercises , Sommersemester 2009

Publications

2015

• A new algorithm for low-deterministic security
  International Journal of Information Security 2015, pp. 263-287 : D. Giffhorn, G. Snelting

2014

• Checking Probabilistic Noninterference Using JOANA
  it - Information Technology November 2014, pp. 280--287 : G. Snelting, D. Giffhorn, J. Graf, C. Hammer, M. Hecker, M. Mohr, D. Wasserrab

2012

• Probabilistic Noninterference Based on Program Dependence Graphs
  Karlsruhe Reports in Informatics 2012 April 2012 : D. Giffhorn, G. Snelting
• Slicing of Concurrent Programs and its Application to Information Flow Control
  2012 : D. Giffhorn

2011

• Advanced chopping of sequential and concurrent programs
  Software Quality Journal 2011, pp. 239--294 : D. Giffhorn

2009

• Chopping Concurrent Programs
  9th IEEE International Working Conference on Source Code Analysis and Manipulation September 2009, pp. 13--22 (SCAM 2009) : D. Giffhorn
• Precise Slicing of Concurrent Programs - An Evaluation of Static Slicing Algorithms for Concurrent Programs
  Journal of Automated Software Engineering June 2009, pp. 197--234 (JASE) : D. Giffhorn, C. Hammer

2008

• Precise Analysis of Java Programs using JOANA (Tool Demonstration)
  8th IEEE International Working Conference on Source Code Analysis and Manipulation September 2008, pp. 267--268 (SCAM 2008) : D. Giffhorn, C. Hammer

2007

• An Evaluation of Slicing Algorithms for Concurrent Programs
  7th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM 2007) September 2007, pp. 17--26 (SCAM 2007) : D. Giffhorn, C. Hammer

Projects

• VALSOFT/Joana

Advised thesis projects

assigned

• Praktomat - future development, HiWi-Job
• JOANA-Plugin for Eclipse, HiWi-Job