Matthias Heizmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A lazy and modular approach to int-blasting Acta Informatica	2026-05-04	Paper
Incremental verification using trace abstraction Static Analysis	2023-05-26	Paper
scientific article; zbMATH DE number 7444022 (Why is no real title available?) (available as arXiv preprint)	2021-12-13	Paper
scientific article; zbMATH DE number 7444022 (Why is no real title available?)	2021-12-13	Paper
Verification of concurrent programs using Petri net unfoldings	2021-10-18	Paper
Minimization of visibly pushdown automata using partial Max-SAT Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Complementing semi-deterministic Büchi automata	2019-09-17	Paper
Geometric nontermination arguments (available as arXiv preprint)	2019-09-16	Paper
The map equality domain	2018-12-07	Paper
Fairness modulo theory: a new approach to LTL software model checking	2018-03-01	Paper
Automated program verification Language and Automata Theory and Applications	2016-04-08	Paper
Nested interpolants Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Ranking Templates for Linear Loops Logical Methods in Computer Science	2015-04-22	Paper
Linear ranking for linear lasso programs Automated Technology for Verification and Analysis	2014-07-08	Paper
Size-change termination and transition invariants Static Analysis	2010-10-01	Paper
Refinement of Trace Abstraction Static Analysis	2009-08-18	Paper

Research outcomes over time

This page was built for person: Matthias Heizmann