The Complexity of Bounded Context Switching with Dynamic Thread Creation. - Pascal Baumann 001; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (ICALP, 2020)

Context-bounded verification of liveness properties for multithreaded shared-memory programs. - Pascal Baumann 001; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2021)

Context-bounded verification of thread pools. - Pascal Baumann 001; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2022)

Monus Semantics in Vector Addition Systems with States. - Pascal Baumann 001; Khushraj Madnani; Filip Mazowiecki; Georg Zetzsche (CONCUR, 2023)

Unboundedness Problems for Machines with Reversal-Bounded Counters. - Pascal Baumann 001; Flavio D'Alessandro; Moses Ganardi; Oscar H. Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche (FoSSaCS, 2023)

Context-Bounded Analysis of Concurrent Programs (Invited Talk). - Pascal Baumann 001; Moses Ganardi; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (ICALP, 2023)

Checking Refinement of Asynchronous Programs Against Context-Free Specifications. - Pascal Baumann 001; Moses Ganardi; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (ICALP, 2023)

Regular Separability in Büchi VASS. - Pascal Baumann 001; Roland Meyer 001; Georg Zetzsche (STACS, 2023)

Existential Definability over the Subword Ordering. - Pascal Baumann 001; Moses Ganardi; Ramanathan S. Thinniyam; Georg Zetzsche (Log. Methods Comput. Sci., 2023)

Context-Bounded Verification of Context-Free Specifications. - Pascal Baumann 001; Moses Ganardi; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2023)

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. - Pascal Baumann 001; Eren Keskin; Roland Meyer 001; Georg Zetzsche (ICALP, 2024)