Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). - Bernhard Beckert; Daniel Bruns; Sarah Grebing (VERIFY@IJCAR, 2010)

Verification of Software Product Lines with Delta-Oriented Slicing. - Daniel Bruns; Vladimir Klebanov; Ina Schaefer (FoVeOOS, 2010)

Formal Semantics for the Java Modeling Language. - Daniel Bruns (Informatiktage, 2010)

Formal Semantics of Model Fields in Annotation-Based Specifications. - Bernhard Beckert; Daniel Bruns (KI, 2012)

Eine formale Semantik für die Java Modeling Language. - Daniel Bruns (Inform. Spektrum, 2012)

Dynamic Logic with Trace Semantics. - Bernhard Beckert; Daniel Bruns (CADE, 2013)

Information Flow in Object-Oriented Software. - Bernhard Beckert; Daniel Bruns; Vladimir Klebanov; Christoph Scheben; Peter H. Schmitt; Mattias Ulbrich (LOPSTR, 2013)

The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

A Hybrid Approach for Proving Noninterference of Java Programs. - Ralf Küsters; Tomasz Truderung; Bernhard Beckert; Daniel Bruns; Michael Kirsten; Martin Mohr (IACR Cryptol. ePrint Arch., 2015)

Implementation-level verification of algorithms with KeY. - Daniel Bruns; Wojciech Mostowski; Mattias Ulbrich (Int. J. Softw. Tools Technol. Transf., 2015)

Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java. - Daniel Grahl (2015)

Non-interference with What-Declassification in Component-Based Systems. - Simon Greiner; Daniel Grahl (CSF, 2016)

Deductive Verification of Legacy Code. - Bernhard Beckert; Thorsten Bormer; Daniel Grahl (ISoLA (1), 2016)

Computing Specification-Sensitive Abstractions for Program Verification. - Tianhai Liu; Shmuel S. Tyszberowicz; Mihai Herda; Bernhard Beckert; Daniel Grahl; Mana Taghdiri (SETTA, 2016)

Modular Specification and Verification. - Daniel Grahl; Richard Bubel; Wojciech Mostowski; Peter H. Schmitt; Mattias Ulbrich; Benjamin Weiß 001 (Deductive Software Verification, 2016)

Functional Verification and Information Flow Analysis of an Electronic Voting System. - Daniel Grahl; Christoph Scheben (Deductive Software Verification, 2016)

From Specification to Proof Obligations. - Daniel Grahl; Mattias Ulbrich (Deductive Software Verification, 2016)

Formal Specification with the Java Modeling Language. - Marieke Huisman; Wolfgang Ahrendt; Daniel Grahl; Martin Hentschel 002 (Deductive Software Verification, 2016)