Govind R

Publications

• On the Verification Problem of Remote Direct Memory Access programs.

  with Parosh Aziz Abdulla, Mohamed Faouzi Atig and Stephan Spengler.
  Accepted to International Conference on Computer Aided Verification (CAV 2026).




• Program Synthesis for Non-Linear Real Arithmetic: Beyond Realizable Specifications.

  with S. Akshay, Supratik Chakraborty and Aniruddha R. Joshi.
  Accepted to International Joint Conference on Automated Reasoning (IJCAR 2026).




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

  with S Akshay, Prerak Contractor, Paul Gastin and B. Srivathsan.
  Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026). PDF
  Selected as Distinguished paper.




• Complexity of Consistency Testing for the Release-Acquire Semantics.

  with S. Krishna, Sanchari Sil and B. Srivathsan.
  Proceedings of International Symposium on Formal Methods 2026. PDF




• Verifying Sequential Consistency under Bounded Preemptions.

  with S. Krishna, Sanchari Sil and B. Srivathsan.
  International Conference on Networked Systems (NETYS 2026).
  Received the Best paper award.




• Checking Consistency of Event-driven Traces.

  with Parosh Aziz Abdulla, Mohamed Faouzi Atig, Samuel Grahn and Ramanathan S. Thinniyam.
  Proceedings of APLAS 2025. PDF




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

  with S Akshay, Paul Gastin and B. Srivathsan.
  Proceedings of CONCUR 2024. PDF




• Reversible Transducers over Infinite Words.

  with Luc Dartois, Loïc Germerie-Guizouarn, Paul Gastin and S. Krishna.
  Proceedings of CONCUR 2024. PDF




• Simulations for Event-Clock Automata.

  with S Akshay, Paul Gastin and B. Srivathsan.
  In Logical Methods in Computer Science 2024. PDF




• Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

  with S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, Harshit Jitendra Motwani and Sai Teja Varanasi.
  Proceedings of International Symposium on Formal Methods 2024.




• Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

  with S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, Harshit Jitendra Motwani and Sai Teja Varanasi.
  Proceedings of LPAR 2024. PDF




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

  with S Akshay, Paul Gastin, Aniruddha R. Joshi and B. Srivathsan.
  Proceedings of CAV 2023. PDF




• Simulations for event-clock automata.

  with S Akshay, Paul Gastin and B. Srivathsan.
  Proceedings of CONCUR 2022. PDF




• Efficient Construction of Reversible Transducers from Regular Transducer Expressions.

  with Luc Dartois, Paul Gastin and S. Krishna.
  Proceedings of LICS 2022. PDF




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

  with Frédéric Herbreteau, B. Srivathsan and Igor Walukiewicz.
  Proceedings of LICS 2022. PDF




• Partial Order Reduction for Timed Systems.

  Ph.D thesis, LaBRI, University of Bordeaux and Chennai Mathematical Institute, 2021. Dissertation




• Reversible Regular Languages: Logical and Algebraic Characterisations.

  with Paul Gastin and Amaldev Manuel.
  Fundamenta Informaticae 2021. PDF




• Revisiting local time semantics for networks of timed automata.

  with Frédéric Herbreteau, B. Srivathsan and Igor Walukiewicz.
  Proceedings of CONCUR 2019. PDF




• Logics for Reversible Regular Languages and Semigroups with Involution.

  with Paul Gastin and Amaldev Manuel.
  Proceedings of Developments in Language Theory (DLT) 2019. PDF