Florian Zuleger

 

mail-address:
Florian Zuleger
Technische Universität Wien
Institut für Informationssysteme 184/4
Arbeitsbereich Formal Methods in Systems Engineering
Favoritenstraße 9–11
1040 Wien
Austria

room: HG 03 09
phone: +43 (1) 58801 – 184 49
email: ta.etysrofnull@regeluz

 

Student Projects

I’m offering student projects, see Teaching.

Publications

2011
[4] Bound analysis of imperative programs with the size-change abstraction Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut VeithIn Proceedings of the 18th international conference on Static analysis, pages 280-297, 2011.Springer-Verlag [bib] [pdf]
2010
[3] Loopus - A Tool for Computing Loop Bounds for C Programs Florian Zuleger, Moritz SinnIn Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. [bib]
[2] The reachability-bound problem Sumit Gulwani, Florian ZulegerIn PLDI, pages 292-304, 2010. [bib]
2009
[1] An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries Johannes Kinder, Florian Zuleger, Helmut VeithIn 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 [bib]
Powered by bibtexbrowser

Latest News

TU Vienna Honorary Doctorate to Ed Clarke

January 13, 2012

We are glad to announce that TU Vienna will award an honorary doctorate to Ed Clarke. Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model [...]

[Read More...]

Opening of Vienna Center for Logic and Algorithms (VCLA) on Jan 25

January 13, 2012

The Vienna Center for Logic and Algorithms is an initiative of the Faculty of Informatics and funded by a three-year competitive grant of Vienna University of Technology. Embedded into the primary research area Computational Intelligence and the funding priority Computational Logic of the Faculty, the center is promoting international scientific collaboration in logic and algorithms. [...]

[Read More...]

Happy New Year 2012!

January 6, 2012

The FORSYTE team is wishing our friends, colleagues and students a Happy New Year!

[Read More...]

Full news archive

See all news.