Concepedia

Matthias Heizmann

MH

Statistics

Publications

11

Citations

493

H-Index

11

Active since

2009

Affiliations

University of Freiburg(Current)

University of Passau

Ludwig-Maximilians-Universität München

Matthias Heizmann is an author at University of Freiburg specializing in computer science, computing, and formal methods.

Publications per year

2009–2022

11

Publications

11

Nested interpolants

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski · 2010 · 101 citations

Computing, Computer Science, Formal Methods +16

Witness validation and stepwise testification across software verifiers

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2015 · 94 citations

Computing, Computer Engineering, Computer Science +11

Correctness witnesses: exchanging verification results between verifiers

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2016 · 89 citations

Computing, Computer Science, Computer Systems +9

Verification Witnesses

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · ACM Transactions on Software Engineering and Methodology · 2022 · 38 citations · Full text

Computing, Computer Science, Formal Methods +11

Ranking Templates for Linear Loops

Jan Leike, Matthias Heizmann · Logical Methods in Computer Science · 2015 · 36 citations · Full text

Computing, Computer Science, Algorithms +16

1–5 of 11