Daniel Grahl
Daniel Grahl
Bestätigte E-Mail-Adresse bei kit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
692014
Verification of software product lines with delta-oriented slicing
D Bruns, V Klebanov, I Schaefer
International Conference on Formal Verification of Object-Oriented Software …, 2010
462010
A hybrid approach for proving noninterference of Java programs
R Küsters, T Truderung, B Beckert, D Bruns, M Kirsten, M Mohr
2015 IEEE 28th Computer Security Foundations Symposium, 305-319, 2015
292015
Information Flow in Object-Oriented Software
B Beckert, D Bruns, V Klebanov, C Scheben, PH Schmitt, M Ulbrich
Logic-Based Program Synthesis and Transformation 2013, 2014
272014
Non-interference with what-declassification in component-based systems
S Greiner, D Grahl
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 253-267, 2016
172016
Formal Semantics for the Java Modeling Language.
D Bruns
Informatiktage, 15-18, 2010
162010
Formal Semantics for the Java Modeling Language
D Bruns
Karlsruhe Institute of Technology, 2009
162009
Implementation-level verification of algorithms with KeY
D Bruns, W Mostowski, M Ulbrich
International journal on software tools for technology transfer 17 (6), 729-744, 2015
152015
Dynamic logic with trace semantics
B Beckert, D Bruns
International Conference on Automated Deduction, 315-329, 2013
142013
Deductive verification of legacy code
B Beckert, T Bormer, D Grahl
International Symposium on Leveraging Applications of Formal Methods, 749-765, 2016
92016
Formal specification with the Java modeling language
M Huisman, W Ahrendt, D Grahl, M Hentschel
Deductive Software Verification–The KeY Book, 193-241, 2016
82016
Specification of red-black trees: Showcasing dynamic frames, model fields and sequences
D Bruns
10th KeY Symposium, Nijmegen, the Netherlands, 296, 2011
82011
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
D Grahl
Karlsruhe Institute of Technology, 2015
72015
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).
B Beckert, D Bruns, S Grebing
VERIFY@ IJCAR, 4-12, 2010
72010
Formal specification with JML
M Huisman, W Ahrendt, D Bruns, M Hentschel
KIT, Fakultät für Informatik, 2014
62014
A hybrid approach for proving noninterference and applications to the cryptographic verification of Java programs
R Küsters, T Truderung, B Beckert, D Bruns, J Graf, C Scheben
Grande Region Security and Reliability Day 15, 2013
52013
The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
B Beckert, D Bruns, R Küsters, C Scheben, PH Schmitt, T Truderung
52012
Dynamic trace logic: Definition and proofs
B Beckert, D Bruns
KIT, Fakultät für Informatik, 2012
52012
Poster: Security in E-Voting
D Bruns, HQ Do, S Greiner, M Herda, M Mohr, E Scapin, T Truderung, ...
Security & Privacy (Poster Session), 2015
42015
Information Flow in Object-Oriented Software-Extended Version
B Beckert, D Bruns, V Klebanov, C Scheben, PH Schmitt, M Ulbrich
42013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20