Florian Zuleger

According to our database, Florian Zuleger authored at least 76 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deciding Boolean Separation Logic via Small Models (Technical Report).

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

CoRR, 2024

Tree-Verifiable Graph Grammars.

Mark Chimes, Radu Iosif, Florian Zuleger

CoRR, 2024

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations.

Lucas Bueri, Radu Iosif, Florian Zuleger

CoRR, 2024

Deciding Boolean Separation Logic via Small Models.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.

Christoph Matheja, Jens Pagel, Florian Zuleger

ACM Trans. Comput. Log., January, 2023

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations.

Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger

CoRR, 2023

Characterizations of Definable Context-Free Graphs.

Radu Iosif, Florian Zuleger

CoRR, 2023

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.

Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger

CoRR, 2023

Sound One-Phase Shape Analysis with Biabduction.

Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

CoRR, 2023

A Formalization of Heisenbugs and Their Causes.

Sarah Sallinger, Georg Weissenbacher, Florian Zuleger

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Embedding Intuitionistic into Classical Logic.

Alexander Pluska, Florian Zuleger

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Stochastic Best-Effort Strategies for Borel Goals.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

LICS, 2023

Expressiveness Results for an Inductive Logic of Separated Relations.

Radu Iosif, Florian Zuleger

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Algorithmenerkennung und Programmreparatur mittels Dynamischer Programmanalyse.

Florian Zuleger

Proceedings of the Sixth Workshop "Automatische Bewertung von Programmieraufgaben", 2023

2022

Type-based analysis of logarithmic amortised complexity.

Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger

Math. Struct. Comput. Sci., June, 2022

Strong-separation Logic.

Jens Pagel, Florian Zuleger

ACM Trans. Program. Lang. Syst., 2022

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Int. J. Softw. Tools Technol. Transf., 2022

Low-Level Bi-Abduction (Artifact).

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Dagstuhl Artifacts Ser., 2022

On the Expressiveness of a Logic of Separated Relations.

Radu Iosif, Florian Zuleger

CoRR, 2022

Verification of agent navigation in partially-known environments.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Artif. Intell., 2022

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Low-Level Bi-Abduction.

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.

Lorenz Leutgeb, Georg Moser, Florian Zuleger

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Formal Methods Syst. Des., 2021

Eliminating Message Counters in Synchronous Threshold Automata.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Bounded Model Checking of Speculative Non-Interference.

Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.

Lorenz Leutgeb, Georg Moser, Florian Zuleger

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Complete Entailment Checking for Separation Logic with Inductive Definitions.

Jens Pagel, Christoph Matheja, Florian Zuleger

CoRR, 2020

Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.

Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.

Jens Katelaan, Florian Zuleger

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

The Polynomial Complexity of Vector Addition Systems with States.

Florian Zuleger

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Thread-modular Counter Abstraction for Parameterized Program Safety.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Eliminating Message Counters in Threshold Automata.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Effective Entailment Checking for Separation Logic with Inductive Definitions.

Jens Katelaan, Christoph Matheja, Florian Zuleger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Monadic refinements for relational cost analysis.

Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger

Proc. ACM Program. Lang., 2018

From Shapes to Amortized Complexity.

Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.

Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction.

Florian Zuleger

Proceedings of the Static Analysis - 25th International Symposium, 2018

Automated clustering and program repair for introductory programming assignments.

Sumit Gulwani, Ivan Radicek, Florian Zuleger

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic.

Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Using Loop Bound Analysis For Invariant Generation.

Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.

Moritz Sinn, Florian Zuleger, Helmut Veith

J. Autom. Reason., 2017

Empirical software metrics for benchmarking of verification tools.

Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger

Formal Methods Syst. Des., 2017

Resource Bound Analysis (Dagstuhl Seminar 17291).

Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger

Dagstuhl Reports, 2017

Ranking Functions for Vector Addition Systems.

Florian Zuleger

CoRR, 2017

Systematic Predicate Abstraction Using Variable Roles.

Yulia Demyanova, Philipp Rümmer, Florian Zuleger

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

On the Automated Verification of Web Applications with Embedded SQL.

Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger

Proceedings of the 20th International Conference on Database Theory, 2017

Automata and Program Analysis.

Thomas Colcombet, Laure Daviaud, Florian Zuleger

Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.

Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger

Proceedings of the Programming Languages and Systems, 2017

2016

Feedback generation for performance problems in introductory programming assignments.

Florian Zuleger, Ivan Radicek, Sumit Gulwani

Proceedings of the Software Engineering 2016, 2016

Prompt Alternating-Time Epistemic Logics.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Monadic Second Order Finite Satisfiability and Unbounded Tree-Width.

Tomer Kotek, Helmut Veith, Florian Zuleger

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Loop Patterns in C Programs.

Thomas Pani, Helmut Veith, Florian Zuleger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Verification of Asynchronous Mobile-Robots in Partially-Known Environments.

Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

On the Expressive Power of Communication Primitives in Parameterised Systems.

Benjamin Aminof, Sasha Rubin, Florian Zuleger

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Extending ALCQIO with Trees.

Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Liveness of Parameterized Timed Networks.

Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.

Moritz Sinn, Florian Zuleger, Helmut Veith

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems.

Florian Zuleger

Proceedings of the Computer Science - Theory and Applications, 2015

2014

Extending ALCQIO with reachability.

Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

CoRR, 2014

Size-Change Abstraction and Max-Plus Automata.

Thomas Colcombet, Laure Daviaud, Florian Zuleger

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.

Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.

Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.

Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.

Moritz Sinn, Florian Zuleger, Helmut Veith

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Ramsey vs. Lexicographic Termination Proving.

Byron Cook, Abigail See, Florian Zuleger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

On the concept of variable roles and its use in software analysis.

Yulia Demyanova, Helmut Veith, Florian Zuleger

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

CoRR, 2012

2011

Bound Analysis of Imperative Programs with the Size-Change Abstraction.

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

The reachability-bound problem.

Sumit Gulwani, Florian Zuleger

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

LOOPUS - A Tool for Computing Loop Bounds for C Programs.

Moritz Sinn, Florian Zuleger

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.

Johannes Kinder, Florian Zuleger, Helmut Veith

Proceedings of the Verification, 2009