Automated clustering and program repair for introductory programming assignments S Gulwani, I Radiček, F Zuleger ACM SIGPLAN Notices 53 (4), 465-480, 2018 | 200 | 2018 |
An abstract interpretation-based framework for control flow reconstruction from binaries J Kinder, F Zuleger, H Veith Verification, Model Checking, and Abstract Interpretation: 10th …, 2009 | 163 | 2009 |
The reachability-bound problem S Gulwani, F Zuleger Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 140 | 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 | 136 | 2014 |
Bound analysis of imperative programs with the size-change abstraction F Zuleger, S Gulwani, M Sinn, H Veith Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 120 | 2011 |
Ramsey vs. lexicographic termination proving B Cook, A See, F Zuleger Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 119 | 2013 |
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 | 92 | 2014 |
Complexity and resource bound analysis of imperative programs using difference constraints M Sinn, F Zuleger, H Veith Journal of automated reasoning 59, 3-45, 2017 | 69 | 2017 |
Empirical software metrics for benchmarking of verification tools Y Demyanova, T Pani, H Veith, F Zuleger Formal methods in system design 50, 289-316, 2017 | 51 | 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 | 39 | 2015 |
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 | 37 | 2017 |
Parameterized model checking of synchronous distributed algorithms by abstraction B Aminof, S Rubin, I Stoilkovska, J Widder, F Zuleger Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 30 | 2018 |
Size-change abstraction and max-plus automata T Colcombet, L Daviaud, F Zuleger International Symposium on Mathematical Foundations of Computer Science, 208-219, 2014 | 29 | 2014 |
Effective entailment checking for separation logic with inductive definitions J Katelaan, C Matheja, F Zuleger Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 28 | 2019 |
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking I Stoilkovska, I Konnov, J Widder, F Zuleger International Journal on Software Tools for Technology Transfer 24 (1), 33-48, 2022 | 27 | 2022 |
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 | 25 | 2015 |
SL-COMP: competition of solvers for separation logic M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 24 | 2019 |
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 | 24 | 2016 |
Prompt alternating-time epistemic logics B Aminof, A Murano, S Rubin, F Zuleger Fifteenth International Conference on the Principles of Knowledge …, 2016 | 24 | 2016 |
Beyond symbolic heaps: Deciding separation logic with inductive definitions J Pagel, F Zuleger LPAR-23 73, 390-408, 2020 | 23 | 2020 |