Get started
Author

Daniel Bruns

Observed name: Bruns, Daniel
Observed institution: Karlsruhe Institute of Technology
OpenAlex ID: A5110127417
The KeY Platform for Verification and Analysis of Java Programs
2014 · Wolfgang Ahrendt, Bernhard Beckert, et al. · Lecture notes in computer science · 69
Verification of Software Product Lines with Delta-Oriented Slicing
2011 · Daniel Bruns, Vladimir Klebanov, et al. · Lecture notes in computer science · 40
Information Flow in Object-Oriented Software
2014 · Bernhard Beckert, Daniel Bruns, et al. · Lecture notes in computer science · 26
A Hybrid Approach for Proving Noninterference of Java Programs
2015 · Ralf Kusters, Tomasz Truderung, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 23
Dynamic Logic with Trace Semantics
2013 · Bernhard Beckert, Daniel Bruns · Lecture notes in computer science · 21
Implementation-level verification of algorithms with KeY
2013 · Daniel Bruns, Wojciech Mostowski, et al. · International Journal on Software Tools for Technology Transfer · 16
Formal Semantics for the Java Modeling Language
2009 · Bruns, Daniel · Repository KITopen (Karlsruhe Institute of Technology) · 8
Formal Specification with JML
2014 · Huisman, Marieke, Ahrendt, Wolfgang, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 7
PDF
Specification of Red-black Trees: Showcasing Dynamic Frames, Model Fields and Sequences
2011 · Bruns, Daniel · 6
Verification of Software Product Lines: Reducing the Effort with Delta-oriented Slicing and Proof Reuse
2010 · Daniel Bruns, Vladimir Klebanov, et al. · 4
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
2018 · Bernhard Beckert, Daniel Bruns, et al. · EPiC series in computing · 3
PDF
Deductive Verification of Concurrent Programs
2015 · Bruns, Daniel · Repository KITopen (Karlsruhe Institute of Technology) · 3
Secure Information Flow for Java. A Dynamic Logic Approach. Extended Version
2013 · Beckert, Bernhard, Bruns, Daniel, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 2
Mind the Gap: Formal Verification and the Common Criteria
2012 · Bernhard Beckert, Daniel Bruns, et al. · 2
Dynamic Trace Logic: Definition and Proofs
2012 · Beckert, Bernhard, Bruns, Daniel · Repository KITopen (Karlsruhe Institute of Technology) · 2
Information Flow in Object-Oriented Software - Extended Version -
2013 · Beckert, Bernhard, Bruns, Daniel, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 1
Formal Semantics of Model Fields in Annotation-Based Specifications
2012 · Bernhard Beckert, Daniel Bruns · Lecture notes in computer science · 1
The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
2012 · Beckert, Bernhard, Bruns, Daniel, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 1
Formal Semantics of Model Fields Inspired by a Generalization of Hilbert's e Terms
2011 · Beckert, Bernhard, Bruns, Daniel · Repository KITopen (Karlsruhe Institute of Technology) · 1
Formal Verification of an Electronic Voting System
2014 · Bruns, Daniel · Repository KITopen (Karlsruhe Institute of Technology)
Towards Specification and Verification of Information Flow in Concurrent Java-like Programs
2014 · Bruns, Daniel · Repository KITopen (Karlsruhe Institute of Technology)
Eine formale Semantik für die Java Modeling Language
2011 · Daniel Bruns · Informatik-Spektrum
Works count: 25
Citation count: 236
H-index: 7
I10-index: 6
Year
Topic
Type