Daniel Bruns

This is what my research is about.

I'm a researcher / PhD student with the Application-oriented Formal Verification group led by Bernhard Beckert at KIT. You will find contact information on the overview pages (use navigation on the left). Please contact me the old-fashioned way; I'm not on Facebook or similar.

Publications

[BB12]	Bernhard Beckert and Daniel Bruns. Dynamic trace logic: Definition and proofs. Technical Report 2012-10, Department of Informatics, Karlsruhe Institute of Technology, 2012. [ bib \| license \| urn \| http ]
[Bru12]	Daniel Bruns. Eine formale Semantik für die Java Modeling Language. Informatik-Spektrum, 35(1):45-49, 2012. [ bib \| DOI \| http ]
[BBK⁺12]	Bernhard Beckert, Daniel Bruns, Ralf Küsters, Christoph Scheben, Peter H. Schmitt, and Tomasz Truderung. The KeY approach for the cryptographic verification of Java programs: A case study. Technical Report 2012-8, Department of Informatics, Karlsruhe Institute of Technology, 2012. [ bib \| license \| urn \| http ]
[Bru11]	Daniel Bruns. Specification of red-black trees: Showcasing dynamic frames, model fields and sequences (extended abstract). In Wolfgang Ahrendt and Richard Bubel, editors, 10th KeY Symposium, Nijmegen, the Netherlands, August 26-27 2011. [ bib \| urn \| http \| Abstract ]
[BB11]	Bernhard Beckert and Daniel Bruns. Formal semantics of model fields inspired by a generalization of Hilbert's ε terms (extended abstract). In Wolfgang Ahrendt and Richard Bubel, editors, 10th KeY Symposium, Nijmegen, the Netherlands, August 26-27 2011. [ bib \| urn \| http \| Abstract ]
[BKS11]	Daniel Bruns, Vladimir Klebanov, and Ina Schaefer. Verification of software product lines with delta-oriented slicing. In Bernhard Beckert and Claude Marché, editors, Formal Verification of Object-Oriented Software (FoVeOOS 2010), number 6528 in Lecture Notes in Computer Science, pages 61-75. Springer-Verlag, 2011. [ bib \| DOI \| http \| Abstract ]
[BBG10]	Bernhard Beckert, Daniel Bruns, and Sarah Grebing. Mind the gap: Formal verification and the Common Criteria. In Markus Aderhold, Serge Autexier, and Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, United Kingdom, July 20-21 2010. [ bib \| preprint PDF \| Abstract ]
[BKS10]	Daniel Bruns, Vladimir Klebanov, and Ina Schaefer. Verification of software product lines: Reducing the effort with delta-oriented slicing and proof reuse. In Bernhard Beckert and Claude Marché, editors, Papers Presented at the International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), number 2010-13 in Karlsruhe Reports in Informatics, pages 345-358, Paris, France, June 28-30 2010. Technical Report, Department of Informatics, Karlsruhe Institute of Technology, 2010-13. [ bib \| urn \| http \| Abstract ]
[Bru10]	Daniel Bruns. Formal semantics for the Java Modeling Language (extended abstract). In Informatiktage 2010, volume S-9 of Lecture Notes in Informatics, pages 15-18, Bonn, Germany, March 19-20 2010. Gesellschaft für Informatik. [ bib \| preprint PDF \| .html \| Abstract ]
[Bru09]	Daniel Bruns. Formal semantics for the Java Modeling Language. Diploma thesis, Universität Karlsruhe, June 2009. [ bib \| license \| urn \| http \| Abstract ]
[Bru07]	Daniel Bruns. A fixpoint-based rule for loop verification. Studienarbeit, Universität Karlsruhe, June 2007. [ bib ]

This file was generated by bibtex2html 1.95.