Login / Signup
Max Barth
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Data Dependencies
Bit Vectors
Prime Implicates
Computation Tree Logic
Top Venues
FASE
TACAS (2)
SMT@CAV
</>
Publications
</>
Max Barth
,
Matthias Heizmann
A Bit-vector to Integer Translation with bv2nat and nat2bv.
SMT@CAV
(2024)
Max Barth
,
Daniel Dietsch
,
Matthias Heizmann
,
Marie-Christine Jakobs
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).
FASE
(2024)
Matthias Heizmann
,
Max Barth
,
Daniel Dietsch
,
Leonard Fichtner
,
Jochen Hoenicke
,
Dominik Klumpp
,
Mehdi Naouar
,
Tanja Schindler
,
Frank Schüssele
,
Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
TACAS (2)
(2023)