| An abstract interpretation-based framework for control flow reconstruction from binaries J Kinder, F Zuleger, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2009 | 139 | 2009 |
| The reachability-bound problem S Gulwani, F Zuleger Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 125 | 2010 |
| A simple and scalable static analysis for bound analysis and amortized complexity analysis M Sinn, F Zuleger, H Veith International Conference on Computer Aided Verification, 745-761, 2014 | 108 | 2014 |
| Ramsey vs. lexicographic termination proving B Cook, A See, F Zuleger International Conference on Tools and Algorithms for the Construction and …, 2013 | 107 | 2013 |
| Bound analysis of imperative programs with the size-change abstraction F Zuleger, S Gulwani, M Sinn, H Veith International Static Analysis Symposium, 280-297, 2011 | 107 | 2011 |
| Automated clustering and program repair for introductory programming assignments S Gulwani, I Radiček, F Zuleger ACM SIGPLAN Notices 53 (4), 465-480, 2018 | 63 | 2018 |
| Feedback generation for performance problems in introductory programming assignments S Gulwani, I Radiček, F Zuleger Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 62 | 2014 |
| Complexity and resource bound analysis of imperative programs using difference constraints M Sinn, F Zuleger, H Veith Journal of automated reasoning 59 (1), 3-45, 2017 | 42 | 2017 |
| Empirical software metrics for benchmarking of verification tools Y Demyanova, T Pani, H Veith, F Zuleger Formal methods in system design 50 (2-3), 289-316, 2017 | 31 | 2017 |
| Verification of asynchronous mobile-robots in partially-known environments B Aminof, A Murano, S Rubin, F Zuleger International Conference on Principles and Practice of Multi-Agent Systems …, 2015 | 29 | 2015 |
| Size-change abstraction and max-plus automata T Colcombet, L Daviaud, F Zuleger International Symposium on Mathematical Foundations of Computer Science, 208-219, 2014 | 24 | 2014 |
| Parameterized model checking of synchronous distributed algorithms by abstraction B Aminof, S Rubin, I Stoilkovska, J Widder, F Zuleger International Conference on Verification, Model Checking, and Abstract …, 2018 | 23 | 2018 |
| Effective entailment checking for separation logic with inductive definitions J Katelaan, C Matheja, F Zuleger International Conference on Tools and Algorithms for the Construction and …, 2019 | 18 | 2019 |
| Monadic refinements for relational cost analysis I Radiček, G Barthe, M Gaboardi, D Garg, F Zuleger Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017 | 18 | 2017 |
| Prompt Alternating-Time Epistemic Logics. B Aminof, A Murano, S Rubin, F Zuleger KR 16, 258-267, 2016 | 18 | 2016 |
| Unified reasoning about robustness properties of symbolic-heap separation logic C Jansen, J Katelaan, C Matheja, T Noll, F Zuleger European Symposium on Programming, 611-638, 2017 | 17 | 2017 |
| Automatic verification of multi-agent systems in parameterised grid-environments B Aminof, A Murano, S Rubin, F Zuleger Proceedings of the 2016 international conference on autonomous agents …, 2016 | 17 | 2016 |
| Difference constraints: An adequate abstraction for complexity analysis of imperative programs M Sinn, F Zuleger, H Veith 2015 Formal Methods in Computer-Aided Design (FMCAD), 144-151, 2015 | 17 | 2015 |
| Liveness of parameterized timed networks B Aminof, S Rubin, F Zuleger, F Spegni International Colloquium on Automata, Languages, and Programming, 375-387, 2015 | 17 | 2015 |
| On the automated verification of web applications with embedded SQL S Itzhaky, T Kotek, N Rinetzky, M Sagiv, O Tamir, H Veith, F Zuleger arXiv preprint arXiv:1610.02101, 2016 | 16 | 2016 |
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
