Daniel Grahl

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 3

Top Topics

Formal Specification

Genetic Algorithm

Error Correcting

Functional Programs

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
Computing Specification-Sensitive Abstractions for Program Verification. SETTA (2016)
Bernhard Beckert, Thorsten Bormer, Daniel Grahl
Deductive Verification of Legacy Code. ISoLA (1) (2016)
Simon Greiner, Daniel Grahl
Non-interference with What-Declassification in Component-Based Systems. CSF (2016)