Denis Lohner

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 5

Top Topics

Sufficient Conditions

Theoretical Foundation

Top Venues

Arch. Formal Proofs

Principled Software Development

Publications

Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting
Illi Isabellistes Se Custodes Egregios Praestabant. Principled Software Development (2018)
Max Wagner, Denis Lohner
Minimal Static Single Assignment Form. Arch. Formal Proofs 2017 (2017)
Sebastian Buchwald, Denis Lohner, Sebastian Ullrich
Verified construction of static single assignment form. CC (2016)
Sebastian Ullrich, Denis Lohner
Verified Construction of Static Single Assignment Form. Arch. Formal Proofs 2016 (2016)
Joachim Breitner, Denis Lohner
The meta theory of the Incredible Proof Machine. Arch. Formal Proofs 2016 (2016)
Daniel Wasserrab, Denis Lohner
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. VERIFY@IJCAR (2010)
Daniel Wasserrab, Denis Lohner, Gregor Snelting
On PDG-based noninterference and its modular proof. PLAS (2009)