Florian Zuleger

Available identifiers

zbMath Open zuleger.florianMaRDI QIDQ526770

List of research outcomes

Publication	Date of Publication	Type
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification	2025-01-13	Paper
A formalization of Heisenbugs and their causes	2024-06-05	Paper
Effective entailment checking for separation logic with inductive definitions	2023-11-24	Paper
Inductive termination proofs with transition invariants and their relationship to the size-change abstraction	2023-05-26	Paper
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions	2023-02-07	Paper
Type-based analysis of logarithmic amortised complexity	2023-02-06	Paper
Eliminating Message Counters in Threshold Automata	2022-12-22	Paper
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures	2022-12-07	Paper
Verification of agent navigation in partially-known environments	2022-06-01	Paper
ATLAS: automated amortised complexity analysis of self-adjusting data structures	2022-03-25	Paper
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free	2021-12-08	Paper
Strong-separation logic	2021-10-18	Paper
Multi-linear strategy extraction for QBF expansion proofs via local soundness	2021-04-07	Paper
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS	2021-01-20	Paper
The polynomial complexity of vector addition systems with states	2020-09-23	Paper
From Shapes to Amortized Complexity	2020-07-07	Paper
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction	2020-07-07	Paper
On the Automated Verification of Web Applications with Embedded SQL	2018-07-18	Paper
Extending ALCQIO with Trees	2018-04-23	Paper
Automata and program analysis	2017-11-22	Paper
Complexity and resource bound analysis of imperative programs using difference constraints	2017-08-15	Paper
Monadic Second Order Finite Satisfiability and Unbounded Tree-Width	2017-07-19	Paper
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic	2017-05-19	Paper
Empirical software metrics for benchmarking of verification tools	2017-05-15	Paper
On the Expressive Power of Communication Primitives in Parameterised Systems	2016-01-12	Paper
Liveness of Parameterized Timed Networks	2015-11-04	Paper
Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems	2015-10-20	Paper
Size-Change Abstraction and Max-Plus Automata	2014-10-14	Paper
Ramsey vs. Lexicographic Termination Proving	2013-08-05	Paper
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries	2009-02-10	Paper

Research outcomes over time

This page was built for person: Florian Zuleger