Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software. - Maximilian Störzer; Jürgen Graf 001 (ICSM, 2005)

Speeding Up Context-, Object- and Field-Sensitive SDG Generation. - Jürgen Graf 001 (SCAM, 2010)

A Framework for the Cryptographic Verification of Java-like Programs. - Ralf Küsters; Tomasz Truderung; Juergen Graf (IACR Cryptol. ePrint Arch., 2012)

Using JOANA for Information Flow Control in Java Programs - A Practical Guide. - Jürgen Graf 001; Martin Hecker 001; Martin Mohr (Software Engineering (Workshops), 2013)

Extending and Applying a Framework for the Cryptographic Verification of Java Programs. - Ralf Küsters; Enrico Scapin; Tomasz Truderung; Juergen Graf (IACR Cryptol. ePrint Arch., 2014)

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)

JoDroid: Adding Android Support to a Static Information Flow Control Tool. - Martin Mohr; Jürgen Graf 001; Martin Hecker 001 (Software Engineering (Workshops), 2015)

Reliability of platinum electrodes and heating elements on SiO2 insulation layers and membranes. - Radoslav Rusanov; Holger Rank; Juergen Graf; Tino Fuchs; Roland Mueller-Fiedler; Oliver Kraft (Microelectron. Reliab., 2015)

On Improvements of Low-Deterministic Security. - Joachim Breitner; Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (POST, 2016)

Tool Demonstration: JOANA. - Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (POST, 2016)

Sicherheitsanalyse mit JOANA. - Juergen Graf; Martin Hecker 001; Martin Mohr; Gregor Snelting (Sicherheit, 2016)

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages. - Jürgen Graf 001 (2016)

Low-deterministic security for low-nondeterministic programs. - Simon Bischof; Joachim Breitner; Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (J. Comput. Secur., 2018)