• Sign in
  • Sign up
conf.researchr.org / Matthias Heizmann
  • ETAPS 2019 profile
  • PLDI 2018 profile
  • POPL 2021 profile
  • POPL 2024 profile
  • POPL 2025 profile
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/

Affiliation:University of Freiburg, Germany
Personal website: http://swt.informatik.uni-freiburg.de/staff/heizmann
Research interests:software verification, automata theory, termination analysis, satisfiability modulo theories (SMT), interpolant generation

Contributions

2025

VMCAI

  • Author of Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts within the VMCAI 2025-track

2024

VMCAI

  • Author of Petrification: Software Model Checking for Programs with Dynamic Thread Management within the VMCAI 2024-track

2021

POPL

  • Committee Member in Program Committee within the POPL-track

VMCAI

  • Author of Verification of Concurrent Programs Using Petri Net Unfoldings within the VMCAI-track

2019

ETAPS

  • Author of Ultimate Automizer within the Posters-track
  • Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track

HCVS

  • Committee Member in Program Committee within the HCVS-track
  • Author of Ultimate TreeAutomizer within the HCVS-track

TACAS

  • Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track

2018

PLDI

  • Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
Share
xMon 12 May 02:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up