R Govind

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (23)

• On the Verification Problem of Remote Direct Memory Access Programs
  2026 DOI: 10.1007/978-3-032-32519-8_6
  +Save
• TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
  2026 DOI: 10.1007/978-3-032-22752-2_33
  +Save
• Checking Consistency of Event-Driven Traces
  2026 DOI: 10.1007/978-981-95-3585-9_9
  +Save
• Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2025 DOI: 10.1007/978-3-031-71162-6_6
  +Save
• Automated Synthesis of Decision Lists for Polynomial Specifications over Integers
  EPiC Series in Computing 2024 DOI: 10.29007/njph
  +Save
• MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
  Leibniz International Proceedings in Informatics, LIPIcs 2024 DOI: 10.4230/LIPIcs.CONCUR.2024.5
  +Save
• MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
  arXiv 2024 DOI: 10.48550/arXiv.2407.08452
  +Save
• Reversible Transducers over Infinite Words
  Leibniz International Proceedings in Informatics, LIPIcs 2024 DOI: 10.4230/LIPIcs.CONCUR.2024.21
  +Save
• Reversible Transducers over Infinite Words
  arXiv 2024 DOI: 10.48550/arXiv.2406.11488
  +Save
• Simulations for Event-Clock Automata
  Logical Methods in Computer Science 2024 DOI: 10.46298/lmcs-20(3:2)2024
  +Save