Revisiting Local Time Semantics for Networks of Timed Automata. - R. Govind 001; Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (CONCUR, 2019)

Logics for Reversible Regular Languages and Semigroups with Involution. - Paul Gastin; Amaldev Manuel; R. Govind 001 (DLT, 2019)

Reversible Regular Languages: Logical and Algebraic Characterisations. - Paul Gastin; Amaldev Manuel; R. Govind 001 (Fundam. Informaticae, 2021)

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. - R. Govind 001; Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (LICS, 2022)

Efficient Construction of Reversible Transducers from Regular Transducer Expressions. - Luc Dartois; Paul Gastin; R. Govind 001; Shankara Narayanan Krishna (LICS, 2022)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. - S. Akshay 001; Paul Gastin; R. Govind 001; Aniruddha R. Joshi; B. Srivathsan (CAV (1), 2023)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. - S. Akshay 001; Paul Gastin; R. Govind 001; B. Srivathsan (CONCUR, 2024)

Reversible Transducers over Infinite Words. - Luc Dartois; Paul Gastin; Loïc Germerie Guizouarn; R. Govind 001; Shankaranarayanan Krishna (CONCUR, 2024)

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. - S. Akshay 001; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind 001; Harshit J. Motwani; Sai Teja Varanasi (FM (1), 2024)

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. - S. Akshay 001; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind 001; Harshit J. Motwani; Sai Teja Varanasi (LPAR, 2024)

Simulations for Event-Clock Automata. - S. Akshay 001; Paul Gastin; R. Govind 001; B. Srivathsan (Log. Methods Comput. Sci., 2024)