Pascal Baumann

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 6

Top Topics

Parallel Architecture

Top Venues

Proc. ACM Program. Lang.

Comput. Chem. Eng.

Publications

Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-bounded verification of thread pools. Proc. ACM Program. Lang. 6 (POPL) (2022)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Verification of Thread Pools. CoRR (2021)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-bounded verification of liveness properties for multithreaded shared-memory programs. Proc. ACM Program. Lang. 5 (POPL) (2021)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
The complexity of bounded context switching with dynamic thread creation. CoRR (2020)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs. CoRR (2020)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
The Complexity of Bounded Context Switching with Dynamic Thread Creation. ICALP (2020)
Kai Knoerzer, Pascal Baumann, Roman Buckow
An iterative modelling approach for improving the performance of a pulsed electric field (PEF) treatment chamber. Comput. Chem. Eng. 37 (2012)