Ramchandra Phawade

Employment

• Indian Institute of Technology Dharwad Assistant Professor
  2017 - Present

Education

• Chennai Mathematical Institute MSc Computer Science
  2005 - 2007
• National Institute of Technology BTech
  1998 - 2002

Projects & Funding

Projects & funding information is unavailable.

Publications (15)

• faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
  2025 DOI: 10.1007/978-3-031-74234-7_7
  +Save
• Bounded Model Checking for Unbounded Client-Server Systems
  Arxiv 2022 DOI: 10.48550/arXiv.2209.05879
  +Save
• Combining free choice and time in Petri nets
  Journal of Logical and Algebraic Methods in Programming 2020 DOI: 10.1016/j.jlamp.2018.11.006
  +Save
• Kleene Theorems for Free Choice Automata over Distributed Alphabets
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2019 DOI: 10.1007/978-3-662-60651-3_6
  +Save
• Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets
  Arxiv 2019 DOI: 10.48550/arxiv.1907.01168
  +Save
• On timed scope-bounded context-sensitive languages
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2019 DOI: 10.1007/978-3-030-24886-4_12
  +Save
• On timed scope-bounded context-sensitive languages
  Arxiv 2019 DOI: 10.48550/arxiv.1905.11125
  +Save
• Kleene theorems for free choice nets labelled with distributed alphabets
  Ceur Workshop Proceedings 2018
  +Save
• A logical characterization for dense-time visibly pushdown automata
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2016 DOI: 10.1007/978-3-319-30000-9_7
  +Save
• A perfect class of context-sensitive timed languages
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2016 DOI: 10.1007/978-3-662-53132-7_4
  +Save