Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Recent & Upcoming Talks
2020
REFINITY to Model and Prove Program Transformation Rules
REFINITY is a workbench for modeling statement-level transformation rules on Java programs with the aim to formally verify their …
Dec 2, 2020 7:30 AM — 8:00 AM
Online Conference
PDF
2019
Invited Talk: How to Prove the Correctness of Refactoring Rules
In this tutorial session colocated with the International Conference on integrated Formal Methods (iFM), I gave a 30-minutes talk …
Dec 2, 2019 — Dec 1, 2019
Bergen, Norway
PDF
The Trace Modality
We propose the trace modality, a concept to uniformly express a wide range of program verification problems. To demonstrate its …
Oct 9, 2019 —
Porto, Portugal
Dominic Steinhöfel
,
Reiner Hähnle
Abstract Execution
We propose a new static software analysis principle called Abstract Execution, generalizing Symbolic Execution: While the latter …
Oct 7, 2019 2:40 PM — Oct 10, 2019 10:00 PM
Porto, Portugal
Dominic Steinhöfel
,
Reiner Hähnle
PDF
Cite
×