Ramanathan Thinniyam Srinivasan

Associate senior lecturer/Assistant Professor at Department of Information Technology; Division of Computer Systems

Telephone:: +46 18 471 63 39
E-mail:: ramanathan.s.thinniyam@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Ramanathan Thinniyam Srinivasan at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

Checking Consistency of Event-Driven Traces

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Govind, R.; Grahn, Samuel et al.

Part of Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings, p. 173-194, 2026
- DOI for Checking Consistency of Event-Driven Traces
- Download full text (pdf) of Checking Consistency of Event-Driven Traces
Quantum Circuit Verification - A Potential Roadmap (Invited Talk)

Abdulla, Parosh Aziz; Chen, Yu-Fang; Hecko, Michal; Holík, Lukás et al.

Part of 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025, p. 1-1, 2025
- DOI for Quantum Circuit Verification - A Potential Roadmap (Invited Talk)
- Download full text (pdf) of Quantum Circuit Verification - A Potential Roadmap (Invited Talk)
Reachability in Continuous Pushdown VASS

Balasubramanian, A. R.; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

Part of Proceedings of the ACM on Programming Languages, 2024
- DOI for Reachability in Continuous Pushdown VASS
- Download full text (pdf) of Reachability in Continuous Pushdown VASS

All publications

Articles in journal

Reachability in Continuous Pushdown VASS

Balasubramanian, A. R.; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

Part of Proceedings of the ACM on Programming Languages, 2024
- DOI for Reachability in Continuous Pushdown VASS
- Download full text (pdf) of Reachability in Continuous Pushdown VASS

Conference papers

Checking Consistency of Event-Driven Traces

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Govind, R.; Grahn, Samuel et al.

Part of Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings, p. 173-194, 2026
- DOI for Checking Consistency of Event-Driven Traces
- Download full text (pdf) of Checking Consistency of Event-Driven Traces
Quantum Circuit Verification - A Potential Roadmap (Invited Talk)

Abdulla, Parosh Aziz; Chen, Yu-Fang; Hecko, Michal; Holík, Lukás et al.

Part of 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025, p. 1-1, 2025
- DOI for Quantum Circuit Verification - A Potential Roadmap (Invited Talk)
- Download full text (pdf) of Quantum Circuit Verification - A Potential Roadmap (Invited Talk)