We stand with Ukraine  

Pascal Baumann

Orcid: 0000-0002-9371-0807

Affiliations:
  • Max Planck Institute for Software Systems, MPI-SWS, Kaiserslautern, Germany


According to our database1, Pascal Baumann authored at least 10 papers between 2020 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Context-Bounded Verification of Context-Free Specifications.
[BibTeX]
[DOI]
Pascal Baumann
,
Moses Ganardi
,
Rupak Majumdar
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Proc. ACM Program. Lang., January, 2023

Existential Definability over the Subword Ordering.
[BibTeX]
[DOI]
Pascal Baumann
,
Moses Ganardi
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Log. Methods Comput. Sci., 2023

Regular Separability in Büchi VASS.
[BibTeX]
[DOI]
Pascal Baumann
,
Roland Meyer
,
Georg Zetzsche
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Checking Refinement of Asynchronous Programs Against Context-Free Specifications.
[BibTeX]
[DOI]
Pascal Baumann
,
Moses Ganardi
,
Rupak Majumdar
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Context-Bounded Analysis of Concurrent Programs (Invited Talk).
[BibTeX]
[DOI]
Pascal Baumann
,
Moses Ganardi
,
Rupak Majumdar
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Unboundedness Problems for Machines with Reversal-Bounded Counters.
[BibTeX]
[DOI]
Pascal Baumann
,
Flavio D'Alessandro
,
Moses Ganardi
,
Oscar H. Ibarra
,
Ian McQuillan
,
Lia Schütze
,
Georg Zetzsche
Proceedings of the Foundations of Software Science and Computation Structures, 2023

Monus Semantics in Vector Addition Systems with States.
[BibTeX]
[DOI]
Pascal Baumann
,
Khushraj Madnani
,
Filip Mazowiecki
,
Georg Zetzsche
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Context-bounded verification of thread pools.
[BibTeX]
[DOI]
Pascal Baumann
,
Rupak Majumdar
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Proc. ACM Program. Lang., 2022

2021
Context-bounded verification of liveness properties for multithreaded shared-memory programs.
[BibTeX]
[DOI]
Pascal Baumann
,
Rupak Majumdar
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Proc. ACM Program. Lang., 2021

2020
The Complexity of Bounded Context Switching with Dynamic Thread Creation.
[BibTeX]
[DOI]
Pascal Baumann
,
Rupak Majumdar
,
Ramanathan S. Thinniyam
,
Georg Zetzsche
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020


  Loading...