1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
Chirantan Hebballi, Akash Poptani, Amrutha Benny +3
A Runtime Verification (RV) framework that supports online, at-speed verification of properties that can change dynamically (during in-field operations) will benefit a large variet…
cs.LO2026
Verification of Unbounded Client-Server Systems with Distinguishable Clients
Ramchandra Phawade, Tephilla Prince, S Sheerazuddin
Client-server systems are a computing paradigm in concurrent and distributed systems. We deal with unbounded client-server systems (UCS) where all clients are of the same type, int…