Florian Zuleger
Address:
Florian Zuleger
Technische Universität Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HG0309 (how to get there) |
| Phone: | +43 (1) 58801 – 18449 |
| Email: | ta.etysrofnull@regeluz |
| Web: | http://forsyte.at/~zuleger/ |
Teaching
- 183.703 Program Analysis.
- 185.291 Formal Methods in Computer Science.
-
183.580 Foundations of Digital Systems.
I’m offering student projects, click here for more information.
Publications
extended version of SAS 2011 paper
| 2011 | |
| [4] | 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 [bib] [pdf] |
| 2010 | |
| [3] | Loopus - A Tool for Computing Loop Bounds for C Programs In Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. [bib] |
| [2] | The reachability-bound problem In PLDI, pages 292-304, 2010. [bib] |
| 2009 | |
| [1] | 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 [bib] |
Powered by bibtexbrowser
