Pascal Baumann

23 papers A* 4A 2B 2Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures.
Proc. ACM Program. Lang.
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2025 J jnl
Bounded treewidth, multiple context-free grammars, and downward closures.
CoRR
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2024 A* conf
Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities.
ICALP
Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
2024 J jnl
Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities.
CoRR
Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
2023 A* conf
Checking Refinement of Asynchronous Programs Against Context-Free Specifications.
ICALP
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Checking Refinement of Asynchronous Programs against Context-Free Specifications.
CoRR
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 A* conf
Context-Bounded Analysis of Concurrent Programs (Invited Talk).
ICALP
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Context-Bounded Verification of Context-Free Specifications.
Proc. ACM Program. Lang.
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Existential Definability over the Subword Ordering.
Log. Methods Comput. Sci.
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
2023 B conf
Monus Semantics in Vector Addition Systems with States.
CONCUR
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
2023 J jnl
Monus semantics in vector addition systems with states.
CoRR
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
2023 A conf
Regular Separability in Büchi VASS.
STACS
Pascal Baumann, Roland Meyer, Georg Zetzsche
2023 J jnl
Regular Separability in Büchi VASS.
CoRR
Pascal Baumann, Roland Meyer, Georg Zetzsche
2023 B conf
Unboundedness Problems for Machines with Reversal-Bounded Counters.
FoSSaCS
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
2023 J jnl
Unboundedness problems for machines with reversal-bounded counters.
CoRR
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
2022 J jnl
Context-bounded verification of thread pools.
Proc. ACM Program. Lang.
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2022 A conf
Existential Definability over the Subword Ordering.
STACS
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
2022 J jnl
Existential Definability over the Subword Ordering.
CoRR
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
2021 J jnl
Context-Bounded Verification of Thread Pools.
CoRR
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021 J jnl
Context-bounded verification of liveness properties for multithreaded shared-memory programs.
Proc. ACM Program. Lang.
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020 J jnl
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs.
CoRR
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020 A* conf
The Complexity of Bounded Context Switching with Dynamic Thread Creation.
ICALP
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020 J jnl
The complexity of bounded context switching with dynamic thread creation.
CoRR
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche