Ramchandra Phawade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RV | faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties. | Amrutha Benny, Sandeep Chandran, Rajshekar Kalayappan, Ramchandra Phawade, Piyush P. Kurur |
| 2019 | DLT | On Timed Scope-Bounded Context-Sensitive Languages. | Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | DLT | A Perfect Class of Context-Sensitive Timed Languages. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | LATA | A Logical Characterization for Dense-Time Visibly Pushdown Automata. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | TIME | Combining Free Choice and Time in Petri Nets. | S. Akshay, Loc Hlout, Ramchandra Phawade |