Ramchandra Phawade

According to our database, Ramchandra Phawade authored at least 12 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Runtime Verification - 24th International Conference, 2024

2022

Bounded Model Checking for Unbounded Client Server Systems.

Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin

CoRR, 2022

2020

Combining free choice and time in Petri nets.

S. Akshay, Loïc Hélouët, Ramchandra Phawade

J. Log. Algebraic Methods Program., 2020

2019

Kleene Theorems for Free Choice Automata over Distributed Alphabets.

Ramchandra Phawade

Trans. Petri Nets Other Model. Concurr., 2019

On Timed Scope-Bounded Context-Sensitive Languages.

Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2018

Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets.

Ramchandra Phawade

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

2016

A Logical Characterization for Dense-Time Visibly Pushdown Automata.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Language and Automata Theory and Applications, 2016

A Perfect Class of Context-Sensitive Timed Languages.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

Kleene Theorem for Labelled Free Choice Nets without Distributed Choice.

Ramchandra Phawade

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

Kleene Theorems for Synchronous Products with Matching.

Ramchandra Phawade, Kamal Lodaya

Trans. Petri Nets Other Model. Concurr., 2015

2014

Kleene Theorems for Labelled Free Choice Nets.

Ramchandra Phawade, Kamal Lodaya

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2011

Kleene Theorems for Product Systems.

Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade

Proceedings of the Descriptional Complexity of Formal Systems, 2011