Pascal Baumann

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 15

Top Topics

Context Free Languages

Attribute Grammars

Top Venues

Proc. ACM Program. Lang.

Publications

Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities. CoRR (2024)
Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. ICALP (2024)
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
Unboundedness problems for machines with reversal-bounded counters. CoRR (2023)
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
Existential Definability over the Subword Ordering. Log. Methods Comput. Sci. 19 (4) (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Checking Refinement of Asynchronous Programs against Context-Free Specifications. CoRR (2023)
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
Unboundedness Problems for Machines with Reversal-Bounded Counters. FoSSaCS (2023)
Pascal Baumann, Roland Meyer, Georg Zetzsche
Regular Separability in Büchi VASS. STACS (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Checking Refinement of Asynchronous Programs Against Context-Free Specifications. ICALP (2023)
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Monus semantics in vector addition systems with states. CoRR (2023)
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Monus Semantics in Vector Addition Systems with States. CONCUR (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Verification of Context-Free Specifications. Proc. ACM Program. Lang. 7 (POPL) (2023)
Pascal Baumann, Roland Meyer, Georg Zetzsche
Regular Separability in Büchi VASS. CoRR (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Analysis of Concurrent Programs (Invited Talk). ICALP (2023)
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
Existential Definability over the Subword Ordering. CoRR (2022)
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
Existential Definability over the Subword Ordering. STACS (2022)