research
∙
08/28/2023
Monus semantics in vector addition systems with states
Vector addition systems with states (VASS) are a popular model for concu...
share
research
∙
10/27/2022
Existential Definability over the Subword Ordering
We study first-order logic (FO) over the structure consisting of finite ...
research
∙
05/18/2022
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification
Automatic structures are infinite structures that are finitely represent...
research
∙
11/17/2021
Context-Bounded Verification of Thread Pools
Thread pooling is a common programming idiom in which a fixed set of wor...
research
∙
01/21/2021
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
The model of asynchronous programming arises in many contexts, from low-...
research
∙
11/11/2020
The complexity of bounded context switching with dynamic thread creation
Dynamic networks of concurrent pushdown systems (DCPS) are a theoretical...
research
∙
11/09/2020
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
We study context-bounded verification of liveness properties of multi-th...
research
∙
06/30/2020
An Approach to Regular Separability in Vector Addition Systems
We study the problem of regular separability of languages of vector addi...
research
∙
02/21/2020
Extensions of ω-Regular Languages
We consider extensions of monadic second order logic over ω-words, which...
research
∙
02/19/2020
The complexity of knapsack problems in wreath products
We prove new complexity results for computational problems in certain wr...
research
∙
08/12/2019
Regular Separability and Intersection Emptiness are Independent Problems
The problem of regular separability asks, given two languages K and L, w...
research
∙
01/08/2019
Languages ordered by the subword order
We consider a language together with the subword relation, the cover rel...
research
∙
03/26/2018
Bounded Context Switching for Valence Systems
We study valence systems, finite-control programs over infinite-state me...
research
∙
10/20/2017