Alexander Nutz

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 15

Top Topics

Memory Capacity

Abstract Interpretation

Top Venues

Publications

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