ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Matthias Heizmann

Registered user since Fri 20 Nov 2015

Name:Matthias Heizmann
Bio:

I am a developer of the Ultimate Automizer software verifier. https://ultimate.informatik.uni-freiburg.de/automizer/

Country:Germany
Affiliation:University of Freiburg
Research interests:software verification, automata theory, termination analysis, satisfiability modulo theories (SMT), interpolant generation

Contributions

ETAPS 2019 Ultimate Automizer
Semantic Fault Localization and Suspiciousness Ranking
HCVS 2019 Committee Member in Program Committee within the HCVS-track
Ultimate TreeAutomizer
TACAS 2019 Semantic Fault Localization and Suspiciousness Ranking
Show activities from other conferences

ETAPS 2019-profile
View general profile