Daniel Bruns

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 3

Top Topics

Information Flow

Formal Semantics

Top Venues

Inform. Spektrum

Publications

Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015 (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. CSF (2015)
Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
Implementation-level verification of algorithms with KeY. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Bernhard Beckert, Daniel Bruns
Dynamic Logic with Trace Semantics. CADE (2013)
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
Information Flow in Object-Oriented Software. LOPSTR (2013)
Bernhard Beckert, Daniel Bruns
Formal Semantics of Model Fields in Annotation-Based Specifications. KI (2012)
Daniel Bruns
Eine formale Semantik für die Java Modeling Language. Inform. Spektrum 35 (1) (2012)
Bernhard Beckert, Daniel Bruns, Sarah Grebing
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR (2010)
Daniel Bruns, Vladimir Klebanov, Ina Schaefer
Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS (2010)
Daniel Bruns
Formal Semantics for the Java Modeling Language. Informatiktage (2010)