AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Daniel Grahl

Daniel Grahl

Karlsruhe Institute of Technology - Karlsruhe / Germany
Others
AD Scientific Index ID: 1761606
Karlsruhe Institute of Technology
person_outline Daniel Grahl's MOST POPULAR ARTICLES
1-) The KeY platform for verification and analysis of Java programs Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
2-) Verification of software product lines with delta-oriented slicing International Conference on Formal Verification of Object-Oriented Software …, 2010
3-) A hybrid approach for proving noninterference of Java programs 2015 IEEE 28th Computer Security Foundations Symposium, 305-319, 2015
4-) Information Flow in Object-Oriented Software Logic-Based Program Synthesis and Transformation 2013, 2014
5-) Dynamic logic with trace semantics International Conference on Automated Deduction, 315-329, 2013