Daniel Grahl

According to our database, Daniel Grahl authored at least 18 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Formal Specification with the Java Modeling Language.

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

From Specification to Proof Obligations.

Daniel Grahl, Mattias Ulbrich

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Functional Verification and Information Flow Analysis of an Electronic Voting System.

Daniel Grahl, Christoph Scheben

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.

Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Deductive Verification of Legacy Code.

Bernhard Beckert, Thorsten Bormer, Daniel Grahl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Non-interference with What-Declassification in Component-Based Systems.

Simon Greiner, Daniel Grahl

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java.

Daniel Grahl

PhD thesis, 2015

Implementation-level verification of algorithms with KeY.

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich

Int. J. Softw. Tools Technol. Transf., 2015

A Hybrid Approach for Proving Noninterference of Java Programs.

Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr

IACR Cryptol. ePrint Arch., 2015

2014

The KeY Platform for Verification and Analysis of Java Programs.

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

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Information Flow in Object-Oriented Software.

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Dynamic Logic with Trace Semantics.

Bernhard Beckert, Daniel Bruns

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Eine formale Semantik für die Java Modeling Language.

Daniel Bruns

Inform. Spektrum, 2012

Formal Semantics of Model Fields in Annotation-Based Specifications.

Bernhard Beckert, Daniel Bruns

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

2010

Formal Semantics for the Java Modeling Language.

Daniel Bruns

Proceedings of the Informatiktage 2010, 2010

Verification of Software Product Lines with Delta-Oriented Slicing.

Daniel Bruns, Vladimir Klebanov, Ina Schaefer

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).

Bernhard Beckert, Daniel Bruns, Sarah Grebing

Proceedings of the 6th International Verification Workshop, 2010