Daniel Grahl

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Formal Specification with the Java Modeling Language.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

From Specification to Proof Obligations.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Functional Verification and Information Flow Analysis of an Electronic Voting System.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Computing Specification-Sensitive Abstractions for Program Verification.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Deductive Verification of Legacy Code.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Non-interference with What-Declassification in Component-Based Systems.
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.
PhD thesis, 2015

Implementation-level verification of algorithms with KeY.
Int. J. Softw. Tools Technol. Transf., 2015

A Hybrid Approach for Proving Noninterference of Java Programs.
IACR Cryptol. ePrint Arch., 2015

2014
The KeY Platform for Verification and Analysis of Java Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013
Information Flow in Object-Oriented Software.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Dynamic Logic with Trace Semantics.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Eine formale Semantik für die Java Modeling Language.
Inform. Spektrum, 2012

Formal Semantics of Model Fields in Annotation-Based Specifications.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

2010
Formal Semantics for the Java Modeling Language.
Proceedings of the Informatiktage 2010, 2010

Verification of Software Product Lines with Delta-Oriented Slicing.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).
Proceedings of the 6th International Verification Workshop, 2010


  Loading...