research
∙
04/21/2023
Parameterized Verification of Coverability in Infinite State Broadcast Networks
Parameterized verification of coverability in broadcast networks with fi...
share
research
∙
04/18/2023
Coefficient Synthesis for Threshold Automata
Threshold automata are a formalism for modeling fault-tolerant distribut...
research
∙
01/25/2022
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)
Reconfigurable broadcast networks (RBN) are a model of distributed compu...
research
∙
09/17/2021
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent
We show the equivalence of two distributed computing models, namely reco...
research
∙
08/17/2021
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)
We show the equivalence of two distributed computing models, namely reco...
research
∙
04/20/2021
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
We establish decidability for the infinitely many axiomatic extensions o...
research
∙
10/19/2020
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
In rendez-vous protocols an arbitrarily large number of indistinguishabl...
research
∙
07/13/2020
Complexity of Verification and Synthesis of Threshold Automata
Threshold automata are a formalism for modeling and analyzing fault-tole...
research
∙
04/20/2020
Characterizing consensus in the Heard-Of model
The Heard-Of model is a simple and relatively expressive model of distri...
research
∙
09/04/2019
Complexity of controlled bad sequences over finite sets of N^d
We provide upper and lower bounds for the length of controlled bad seque...
research
∙
09/04/2019
Complexity of controlled bad sequences over finite sets of N^k
We provide lower and upper bounds for the length of controlled bad seque...
research
∙
09/04/2019
Complexity of controlled bad sequences over finite powersets of N^k
We provide lower and upper bounds for the length of controlled bad seque...
research
∙
04/18/2019
Generalized threshold arrangements
An arrangement of hyperplanes is a finite collection of hyperplanes in a...
research
∙
09/10/2018
Parameterized Verification of Coverability in Well-Structured Broadcast Networks
Parameterized verification of coverability in broadcast networks with fi...
research
∙
02/23/2018