Get started
Author

Florian Zuleger

Observed name: Zuleger, Florian
ORCID: 0000-0003-1468-8398
Observed ORCID: 0000-0003-1468-8398
OpenAlex ID: A5063337176
Automated clustering and program repair for introductory programming assignments
2018 · Sumit Gulwani, Ivan Radiček, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 128
PDF
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
2008 · Johannes Kinder, Florian Zuleger, et al. · Lecture notes in computer science · 121
The reachability-bound problem
2010 · Sumit Gulwani, Florian Zuleger · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 120
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
2014 · Moritz Sinn, Florian Zuleger, et al. · Lecture notes in computer science · 102
Bound Analysis of Imperative Programs with the Size-Change Abstraction
2011 · Florian Zuleger, Sumit Gulwani, et al. · Lecture notes in computer science · 102
Ramsey vs. Lexicographic Termination Proving
2013 · Byron Cook, Abigail See, et al. · Lecture notes in computer science · 96
Automated clustering and program repair for introductory programming assignments
2018 · Sumit Gulwani, Ivan Radiček, et al. · ACM SIGPLAN Notices · 84
PDF
Feedback generation for performance problems in introductory programming assignments
2014 · Sumit Gulwani, Ivan Radiček, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 71
PDF
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
2017 · Moritz Sinn, Florian Zuleger, et al. · Journal of Automated Reasoning · 65
PDF
Monadic refinements for relational cost analysis
2017 · Ivan Radiček, Gilles Barthe, et al. · Proceedings of the ACM on Programming Languages · 41
PDF
Empirical software metrics for benchmarking of verification tools
2017 · Yulia Demyanova, Thomas Pani, et al. · Formal Methods in System Design · 30
PDF
Verification of Asynchronous Mobile-Robots in Partially-Known Environments
2015 · Benjamin Aminof, Aniello Murano, et al. · Lecture notes in computer science · 30
PDF
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
2022 · Lorenz Leutgeb, Georg Moser, et al. · Lecture notes in computer science · 27
PDF
Empirical Software Metrics for Benchmarking of Verification Tools
2015 · Yulia Demyanova, Thomas Pani, et al. · Lecture notes in computer science · 27
Size-Change Abstraction and Max-Plus Automata
2014 · Thomas Colcombet, Laure Daviaud, et al. · Lecture notes in computer science · 23
PDF
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
2019 · Ilina Stoilkovska, Igor Konnov, et al. · Lecture notes in computer science · 22
PDF
Effective Entailment Checking for Separation Logic with Inductive Definitions
2019 · Jens Katelaan, Christoph Matheja, et al. · Lecture notes in computer science · 21
PDF
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
2017 · Benjamin Aminof, Sasha Rubin, et al. · Lecture notes in computer science · 21
PDF
Liveness of Parameterized Timed Networks
2015 · Benjamin Aminof, Sasha Rubin, et al. · Lecture notes in computer science · 21
The reachability-bound problem
2010 · Sumit Gulwani, Florian Zuleger · ACM SIGPLAN Notices · 21
Type-based analysis of logarithmic amortised complexity
2021 · Martin Hofmann, Lorenz Leutgeb, et al. · Mathematical Structures in Computer Science · 19
PDF
Prompt alternating-time epistemic logics
2016 · Benjamin Aminof, Aniello Murano, et al. · Principles of Knowledge Representation and Reasoning · 19
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
2022 · Christoph Matheja, Jens Pagel, et al. · ACM Transactions on Computational Logic · 18
On the Automated Verification of Web Applications with Embedded SQL
2016 · Itzhaky, Shachar, Kotek, Tomer, et al. · arXiv (Cornell University) · 18
PDF
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions
2020 · Jens Pagel, Florian Zuleger · EPiC series in computing · 17
PDF
Works count: 118
Citation count: 1,616
H-index: 20
I10-index: 37
Year
Topic
Type