Concepedia

Daniel Bruns

DB

Statistics

Publications

2

Citations

38

H-Index

2

Active since

2013

Affiliations

Karlsruhe Institute of Technology(Current)

Daniel Bruns is an author at Karlsruhe Institute of Technology specializing in formal methods, verification, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationSoftware VerificationCryptographyData Security

Publications per year

2013–2015

2

Publications

2

A Hybrid Approach for Proving Noninterference of Java Programs

Ralf Küsters, Tomasz Truderung, Bernhard Beckert et al. · 2015 · 24 citations · Full text

Program Checking, Engineering, Verification +17

Implementation-level verification of algorithms with KeY

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich · International Journal on Software Tools for Technology Transfer · 2013 · 14 citations · Full text

Engineering, Automated Reasoning, Mechanical Verification +9

Rows per page

1–2 of 2