3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.FL2020
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam +1
We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads. Our main result shows that c…
cs.FL2020★ 3 cited
The complexity of bounded context switching with dynamic thread creation
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam +1
Dynamic networks of concurrent pushdown systems (DCPS) are a theoretical model for multi-threaded recursive programs with shared global state and dynamical creation of threads. The…
cs.FL2019
Regular Separability and Intersection Emptiness are Independent Problems
Ramanathan S. Thinniyam, Georg Zetzsche
The problem of \emph{regular separability} asks, given two languages and , whether there exists a regular language with and . This prob…