43 citations · 54 across the 10 of their papers we have counts for
11 papers
Towards Concurrent Quantitative Separation Logic
Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
In this paper, we develop a novel verification technique to reason about programs featuring concurrency, pointers and randomization. While the integration of concurrency and pointe…
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
Kevin Batz, Ira Fesefeldt, Marvin Jansen +4
Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers inste…
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
Christopher Brix, Thomas Noll
Neural networks are commonly used in safety-critical real-world applications. Unfortunately, the predicted output is often highly sensitive to small, and possibly imperceptible, ch…
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen +2
We present quantitative separation logic (). In contrast to classical separation logic, employs quantities which evaluate to real numbers instead of pr…
Pairwise Well-Formed Modes and Transformations
David Clampitt, Thomas Noll
One of the most significant attitudinal shifts in the history of music occurred in the Renaissance, when an emerging triadic consciousness moved musicians towards a new scalar form…
Graph-Based Shape Analysis Beyond Context-Freeness
Hannah Arndt, Christina Jansen, Christoph Matheja +1
We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is…