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 11 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023
Context-Bounded Verification of Context-Free Specifications.
Proc. ACM Program. Lang., January, 2023

Existential Definability over the Subword Ordering.
Log. Methods Comput. Sci., 2023

Regular Separability in Büchi VASS.
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Checking Refinement of Asynchronous Programs Against Context-Free Specifications.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Context-Bounded Analysis of Concurrent Programs (Invited Talk).
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Unboundedness Problems for Machines with Reversal-Bounded Counters.
Proceedings of the Foundations of Software Science and Computation Structures, 2023

Monus Semantics in Vector Addition Systems with States.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Context-bounded verification of thread pools.
Proc. ACM Program. Lang., 2022

2021
Context-bounded verification of liveness properties for multithreaded shared-memory programs.
Proc. ACM Program. Lang., 2021

2020
The Complexity of Bounded Context Switching with Dynamic Thread Creation.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020


  Loading...