Daniel Bruns

11 papers A 2C 1Misc 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2015 A conf
A Hybrid Approach for Proving Noninterference of Java Programs.
CSF
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 J jnl
A Hybrid Approach for Proving Noninterference of Java Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 J jnl
Implementation-level verification of algorithms with KeY.
Int. J. Softw. Tools Technol. Transf.
Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
2014 — conf
The KeY Platform for Verification and Analysis of Java Programs.
VSTTE
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
2013 A conf
Dynamic Logic with Trace Semantics.
CADE
Bernhard Beckert, Daniel Bruns
2013 C conf
Information Flow in Object-Oriented Software.
LOPSTR
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2012 J jnl
Eine formale Semantik für die Java Modeling Language.
Inform. Spektrum
Daniel Bruns
2012 Misc conf
Formal Semantics of Model Fields in Annotation-Based Specifications.
KI
Bernhard Beckert, Daniel Bruns
2010 — conf
Formal Semantics for the Java Modeling Language.
Informatiktage
Daniel Bruns
2010 — conf
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).
VERIFY@IJCAR
Bernhard Beckert, Daniel Bruns, Sarah Grebing
2010 — conf
Verification of Software Product Lines with Delta-Oriented Slicing.
FoVeOOS
Daniel Bruns, Vladimir Klebanov, Ina Schaefer