Florian Zuleger
Technische Universität Wien
H-index: 23
Europe-Austria
Top articles of Florian Zuleger
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tree-Verifiable Graph Grammars | arXiv preprint arXiv:2402.17015 | Mark Chimes Radu Iosif Florian Zuleger | 2024/2/26 |
Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations | arXiv preprint arXiv:2402.16150 | Lucas Bueri Radu Iosif Florian Zuleger | 2024/2/25 |
Deciding Boolean Separation Logic via Small Models | Tomáš Dacík Adam Rogalewicz Tomáš Vojnar Florian Zuleger | 2024/4/4 | |
A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions | ACM Transactions on Computational Logic | Christoph Matheja Jens Pagel Florian Zuleger | 2023/1/18 |
A Formalization of Heisenbugs and Their Causes | Sarah Sallinger Georg Weissenbacher Florian Zuleger | 2023/10/31 | |
Sound One-Phase Shape Analysis with Biabduction | arXiv preprint arXiv:2307.06346 | Florian Sextl Adam Rogalewicz Tomáš Vojnar Florian Zuleger | 2023/7/12 |
Stochastic best-effort strategies for Borel goals | Benjamin Aminof Giuseppe De Giacomo Sasha Rubin Florian Zuleger | 2023/6/26 | |
Algorithmenerkennung und Programmreparatur mittels Dynamischer ProgrammanalyseAlgorithmenerkennung und Programmreparatur mittels Dynamischer Programmanalyse | Florian Zuleger | 2023 | |
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification | Formal Methods in System Design | Thomas Pani Georg Weissenbacher Florian Zuleger | 2023/10/6 |
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations | arXiv preprint arXiv:2310.09542 | Marius Bozga Lucas Bueri Radu Iosif Florian Zuleger | 2023/10/14 |
Embedding Intuitionistic into Classical Logic | Proceedings of 24th International Conference on Logic | Alexander Pluska Florian Zuleger | 2023/6/3 |
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems | arXiv preprint arXiv:2310.02466 | Benjamin Aminof Sasha Rubin Francesco Spegni Florian Zuleger | 2023/10/3 |
Expressiveness results for an inductive logic of separated relations | arXiv preprint arXiv:2307.02381 | Radu Iosif Florian Zuleger | 2023/7/5 |
Characterizations of Definable Context-Free Graphs | arXiv preprint arXiv:2310.04764 | Radu Iosif Florian Zuleger | 2023/10/7 |
Strong-separation Logic (Extended Version) | ACM Letters on Programming Languages and Systems | Jens Pagel Florian Zuleger | 2022 |
Strong-separation logic | ACM Transactions on Programming Languages and Systems (TOPLAS) | Jens Pagel Florian Zuleger | 2022/7/15 |
Type-based analysis of logarithmic amortised complexity | Mathematical Structures in Computer Science | Martin Hofmann Lorenz Leutgeb David Obwaller Georg Moser Florian Zuleger | 2022/6 |
On the Expressiveness of a Logic of Separated Relations | arXiv preprint arXiv:2208.01520 | Radu Iosif Florian Zuleger | 2022/8/2 |
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking | International Journal on Software Tools for Technology Transfer | Ilina Stoilkovska Igor Konnov Josef Widder Florian Zuleger | 2022/2 |
Low-Level Bi-Abduction (Artifact) | Lukáš Holík Petr Peringer Adam Rogalewicz Veronika Šoková Tomáš Vojnar | 2022 |