Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. - Marius Bozga; Lucas Bueri; Radu Iosif (IJCAR, 2022)

On an Invariance Problem for Parameterized Concurrent Systems. - Marius Bozga; Lucas Bueri; Radu Iosif (CONCUR, 2022)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations. - Marius Bozga; Lucas Bueri; Radu Iosif; Florian Zuleger (CoRR, 2023)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations. - Lucas Bueri; Radu Iosif; Florian Zuleger (CoRR, 2024)