Alexander Nutz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
3
Active years
2013–2023
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | LPAR | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. | Petra Hozzov, Jaroslav Bendk, Alexander Nutz, Yoav Rodeh |
| 2020 | FMCAD | 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 |
| 2020 | TACAS | Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Frank Schssele |
| 2018 | TACAS | Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler |
| 2018 | TACAS | 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 |
| 2017 | TACAS | Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | TACAS | 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 Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2015 | TACAS | ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). | Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski |
| 2014 | TACAS | Ultimate Kojak - (Competition Contribution). | Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski |
| 2013 | TACAS | Proof Tree Preserving Interpolation. | Jrgen Christ, Jochen Hoenicke, Alexander Nutz |
| 2013 | TACAS | Ultimate Automizer with SMTInterpol - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski |