R. Govind

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 18

Top Topics

Regular Languages

Reachability Analysis

Top Venues

Fundam. Informaticae

Publications

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CoRR (2024)
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. CoRR (2024)
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CONCUR (2024)
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
Simulations for Event-Clock Automata. Log. Methods Comput. Sci. 20 (3) (2024)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. LPAR (2024)
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. CONCUR (2024)
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. CAV (1) (2023)
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. CoRR (2023)
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. LICS (2022)
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. CoRR (2022)
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
Simulations for Event-Clock Automata. CoRR (2022)
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
Simulations for Event-Clock Automata. CONCUR (2022)
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. LICS (2022)
Paul Gastin, Amaldev Manuel, R. Govind
Reversible Regular Languages: Logical and Algebraic Characterisations. Fundam. Informaticae 180 (4) (2021)
Paul Gastin, Amaldev Manuel, R. Govind
Logics for Reversible Regular Languages and Semigroups with Involution. CoRR (2019)
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Revisiting Local Time Semantics for Networks of Timed Automata. CONCUR (2019)
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Revisiting local time semantics for networks of timed automata. CoRR (2019)
Paul Gastin, Amaldev Manuel, R. Govind
Logics for Reversible Regular Languages and Semigroups with Involution. DLT (2019)