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.
  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.
  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.
  APLAS 2025. PDF




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

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




• Reversible Transducers over Infinite Words.

  with Luc Dartois, Loïc Germerie-Guizouarn, Paul Gastin and S. Krishna.
  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.
  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.
  Conference on Logic for Programming, Artificial Intelligence and Reasoning (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.
  International Conference on Computer Aided Verification (CAV 2023). PDF




• Simulations for event-clock automata.

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




• Efficient Construction of Reversible Transducers from Regular Transducer Expressions.

  with Luc Dartois, Paul Gastin and S. Krishna.
  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.
  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.
  CONCUR 2019. PDF




• Logics for Reversible Regular Languages and Semigroups with Involution.

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