R. Govind

According to our database, R. Govind authored at least 15 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.

S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Complexity of Consistency Testing for the Release-Acquire Semantics.

R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.

S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan

CoRR, October, 2025

Checking Consistency of Event-Driven Traces.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam

Proceedings of the Programming Languages and Systems - 23rd Asian Symposium, 2025

2024

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the Formal Methods - 26th International Symposium, 2024

Reversible Transducers over Infinite Words.

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna

Proceedings of the 35th International Conference on Concurrency Theory, 2024

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.

S. Akshay, Paul Gastin, R. Govind, B. Srivathsan

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.

S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Efficient Construction of Reversible Transducers from Regular Transducer Expressions.

Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.

R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Simulations for Event-Clock Automata.

S. Akshay, Paul Gastin, R. Govind, B. Srivathsan

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Reversible Regular Languages: Logical and Algebraic Characterisations.

Paul Gastin, Amaldev Manuel, R. Govind

Fundam. Informaticae, 2021

2019

Logics for Reversible Regular Languages and Semigroups with Involution.

Paul Gastin, Amaldev Manuel, R. Govind

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Revisiting Local Time Semantics for Networks of Timed Automata.

R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the 30th International Conference on Concurrency Theory, 2019