Ramanathan S. Thinniyam

31 papers A* 3A 1B 1Misc 1Journal 22Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
General Decidability Results for Systems with Continuous Counters.
Proc. ACM Program. Lang.
A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2026 J jnl
Parameterized Verification of Quantum Circuits.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2025 B conf
Checking Consistency of Event-Driven Traces.
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
2025 J jnl
Checking Consistency of Event-driven Traces.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
2025 J jnl
General Decidability Results for Systems with Continuous Counters.
CoRR
A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2025 J jnl
Parameterized Verification of Quantum Circuits (Technical Report).
CoRR
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2024 J jnl
Reachability in Continuous Pushdown VASS.
Proc. ACM Program. Lang.
A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 A* conf
Checking Refinement of Asynchronous Programs Against Context-Free Specifications.
ICALP
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Checking Refinement of Asynchronous Programs against Context-Free Specifications.
CoRR
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 A* conf
Context-Bounded Analysis of Concurrent Programs (Invited Talk).
ICALP
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Context-Bounded Verification of Context-Free Specifications.
Proc. ACM Program. Lang.
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Existential Definability over the Subword Ordering.
Log. Methods Comput. Sci.
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
2023 J jnl
Reachability in Continuous Pushdown VASS.
CoRR
A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2022 J jnl
Context-bounded verification of thread pools.
Proc. ACM Program. Lang.
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2022 A conf
Existential Definability over the Subword Ordering.
STACS
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
2022 J jnl
Existential Definability over the Subword Ordering.
CoRR
Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche
2022 J jnl
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
Log. Methods Comput. Sci.
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021 J jnl
Context-Bounded Verification of Thread Pools.
CoRR
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021 J jnl
Context-bounded verification of liveness properties for multithreaded shared-memory programs.
Proc. ACM Program. Lang.
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021 — conf
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
TACAS (1)
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021 J jnl
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
CoRR
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020 J jnl
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs.
CoRR
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020 J jnl
Definability in first-order theories of graph orderings ⋆.
J. Log. Comput.
R. Ramanujam, Ramanathan S. Thinniyam
2020 A* conf
The Complexity of Bounded Context Switching with Dynamic Thread Creation.
ICALP
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020 J jnl
The complexity of bounded context switching with dynamic thread creation.
CoRR
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2019 — conf
Regular Separability and Intersection Emptiness Are Independent Problems.
FSTTCS
Ramanathan S. Thinniyam, Georg Zetzsche
2019 J jnl
Regular Separability and Intersection Emptiness are Independent Problems.
CoRR
Ramanathan S. Thinniyam, Georg Zetzsche
2018 J jnl
Defining Recursive Predicates in Graph Orders.
Log. Methods Comput. Sci.
Ramanathan S. Thinniyam
2017 — conf
Definability of Recursive Predicates in the Induced Subgraph Order.
ICLA
Ramanathan S. Thinniyam
2017 J jnl
Defining Recursive Predicates in Graph Orders.
CoRR
Ramanathan S. Thinniyam
2016 Misc conf
Definability in First Order Theories of Graph Orderings.
LFCS
Ramaswamy Ramanujam, Ramanathan S. Thinniyam