Alexander Nutz

21 papers A 4B 2Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
CoRR
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
2023 B conf
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
LPAR
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
2021 — conf
Separating Map Variables in a Logic-Based Intermediate Verification Language.
NETYS
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
2020 B conf
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
FMCAD
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
2020 — conf
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).
TACAS (2)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
2019 — —
Data flow in program verification.
Alexander Nutz
2019 J jnl
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages.
CoRR
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
2019 — conf
Ultimate TreeAutomizer (CHC-COMP Tool Description).
HCVS/PERR@ETAPS
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
2018 — conf
A Tree-Based Approach to Data Flow Proofs.
VSTTE
Jochen Hoenicke, Alexander Nutz, Andreas Podelski
2018 — conf
The Map Equality Domain.
VSTTE
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
2018 — conf
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
2018 — conf
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).
TACAS (2)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
2017 — conf
Craig vs. Newton in software model checking.
ESEC/SIGSOFT FSE
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski
2017 J jnl
Proof Tree Preserving Interpolation.
CoRR
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
2017 — conf
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
2017 — conf
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
TACAS (2)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
2015 A conf
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution).
TACAS
Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski
2014 A conf
Ultimate Kojak - (Competition Contribution).
TACAS
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
2013 A conf
Proof Tree Preserving Interpolation.
TACAS
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
2013 A conf
Ultimate Automizer with SMTInterpol - (Competition Contribution).
TACAS
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
2012 — conf
SMTInterpol: An Interpolating SMT Solver.
SPIN
Jürgen Christ, Jochen Hoenicke, Alexander Nutz