R. Govind

23 papers A* 2B 6C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.
TACAS (1)
S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan
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
Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.
CoRR
S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan
2024 B conf
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
LPAR
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 B conf
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.
CONCUR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2024 J jnl
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.
CoRR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2024 — conf
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.
FM (1)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 B conf
Reversible Transducers over Infinite Words.
CONCUR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
2024 J jnl
Reversible Transducers over Infinite Words.
CoRR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
2024 J jnl
Simulations for Event-Clock Automata.
Log. Methods Comput. Sci.
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2023 — conf
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.
CAV (1)
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
2023 J jnl
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.
CoRR
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
2022 A* conf
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.
LICS
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2022 A* conf
Efficient Construction of Reversible Transducers from Regular Transducer Expressions.
LICS
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
2022 J jnl
Efficient Construction of Reversible Transducers from Regular Transducer Expressions.
CoRR
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
2022 B conf
Simulations for Event-Clock Automata.
CONCUR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2022 J jnl
Simulations for Event-Clock Automata.
CoRR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2021 J jnl
Reversible Regular Languages: Logical and Algebraic Characterisations.
Fundam. Informaticae
Paul Gastin, Amaldev Manuel, R. Govind
2019 C conf
Logics for Reversible Regular Languages and Semigroups with Involution.
DLT
Paul Gastin, Amaldev Manuel, R. Govind
2019 J jnl
Logics for Reversible Regular Languages and Semigroups with Involution.
CoRR
Paul Gastin, Amaldev Manuel, R. Govind
2019 B conf
Revisiting Local Time Semantics for Networks of Timed Automata.
CONCUR
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2019 J jnl
Revisiting local time semantics for networks of timed automata.
CoRR
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz