Florian Zuleger


Florian Zuleger
Technische Universität Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien

Room: HG0309 (how to get there)
Phone: +43 (1) 58801 – 18449
Email: ta.etysrofnull@regeluz
Web: http://forsyte.at/~zuleger/

curriculum vitae



  • 185.291 Formal Methods in Computer Science.
  • 183.580 Foundations of Digital Systems.


I’m offering student projects, click here for more information.



extended version of SAS 2011 paper

[10]Mantas Simkus Helmut Veith Tomer Kotek, Florian Zuleger. Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (poster). 2014. [bibtex]
[9]Tomer Kotek Mantas Simkus Helmut Veith Diego Calvanese, Florian Zuleger. Shape and Content: Incorporating Domain Knowledge into Shape Analysis. 2014. [bibtex]
[8]Moritz Sinn, Florian Zuleger, Helmut Veith. A Simple and Scalable Approach to Bound Analysis and Amortized Complexity Analysis. Chapter in Computer Aided Verification, volume 8559 of Lecture Notes in Computer Science, pages 743–759, 2014, Springer Berlin Heidelberg. [bibtex]
[7]Yulia Demyanova, Helmut Veith, Florian Zuleger. On the Concept of Variable Roles and its Use in Software Analysis. In ArXiv e-prints, volume abs/1305.6745, May 2013. [bibtex] [pdf]
[6]Byron Cook, Abigail See, Florian Zuleger. Ramsey vs. Lexicographic Termination Proving. In TACAS, pages 47-61, 2013. [bibtex]
[5]Yulia Demyanova, Helmut Veith, Florian Zuleger. On the Concept of Variable Roles and its Use in Software Analysis. In FMCAD, pages 226-229, 2013. [bibtex] [pdf]
[4]Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith. Bound analysis of imperative programs with the size-change abstraction. In Proceedings of the 18th international conference on Static analysis, pages 280-297, 2011, Springer-Verlag. [bibtex] [pdf]
[3]Florian Zuleger, Moritz Sinn. Loopus - A Tool for Computing Loop Bounds for C Programs. In Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. [bibtex]
[2]Sumit Gulwani, Florian Zuleger. The reachability-bound problem. In PLDI, pages 292-304, 2010. [bibtex]
[1]Johannes Kinder, Florian Zuleger, Helmut Veith. An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. In Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, January 2009, Springer. [bibtex]