Alexander Nutz

According to our database, Alexander Nutz authored at least 20 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.

Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021

Separating Map Variables in a Logic-Based Intermediate Verification Language.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Networked Systems - 9th International Conference, 2021

2020

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle

Dataset, November, 2019

Data flow in program verification.

Alexander Nutz

PhD thesis, 2019

Ultimate TreeAutomizer (CHC-COMP Tool Description).

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

CoRR, 2019

2018

A Tree-Based Approach to Data Flow Proofs.

Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

The Map Equality Domain.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).

Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Craig vs. Newton in software model checking.

Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2015

ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution).

Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Ultimate Kojak - (Competition Contribution).

Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Proof Tree Preserving Interpolation.

Jürgen Christ, Jochen Hoenicke, Alexander Nutz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

SMTInterpol: An Interpolating SMT Solver.

Jürgen Christ, Jochen Hoenicke, Alexander Nutz

Proceedings of the Model Checking Software - 19th International Workshop, 2012