Ramchandra Phawade

17 papers B 1C 4Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL.
CoRR
Chirantan Hebballi, Akash Poptani, Amrutha Benny, Rajshekar Kalayappan, Sandeep Chandran, Ramchandra Phawade
2026 J jnl
Verification of Unbounded Client-Server Systems with Distinguishable Clients.
CoRR
Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
2024 B conf
faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties.
RV
Amrutha Benny, Sandeep Chandran, Rajshekar Kalayappan, Ramchandra Phawade, Piyush P. Kurur
2022 J jnl
Bounded Model Checking for Unbounded Client Server Systems.
CoRR
Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
2020 J jnl
Combining free choice and time in Petri nets.
J. Log. Algebraic Methods Program.
S. Akshay, Loïc Hélouët, Ramchandra Phawade
2019 J jnl
Kleene Theorems for Free Choice Automata over Distributed Alphabets.
Trans. Petri Nets Other Model. Concurr.
Ramchandra Phawade
2019 J jnl
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets.
CoRR
Ramchandra Phawade
2019 C conf
On Timed Scope-Bounded Context-Sensitive Languages.
DLT
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2019 J jnl
On Timed Scope-bounded Context-sensitive Languages.
CoRR
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2018 — conf
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets.
PNSE@Petri Nets/ACSD
Ramchandra Phawade
2016 C conf
A Logical Characterization for Dense-Time Visibly Pushdown Automata.
LATA
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2016 C conf
A Perfect Class of Context-Sensitive Timed Languages.
DLT
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2016 C conf
Combining Free Choice and Time in Petri Nets.
TIME
S. Akshay, Loïc Hélouët, Ramchandra Phawade
2016 — conf
Kleene Theorem for Labelled Free Choice Nets without Distributed Choice.
PNSE @ Petri Nets
Ramchandra Phawade
2015 J jnl
Kleene Theorems for Synchronous Products with Matching.
Trans. Petri Nets Other Model. Concurr.
Ramchandra Phawade, Kamal Lodaya
2014 — conf
Kleene Theorems for Labelled Free Choice Nets.
PNSE @ Petri Nets
Ramchandra Phawade, Kamal Lodaya
2011 — conf
Kleene Theorems for Product Systems.
DCFS
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade