35 citations · 83 across the 19 of their papers we have counts for
3 papers · 1 filter
A Simple Obligation to Metric Interval Temporal Logic
Patricia Bouyer, B Srivathsan, Vaishnavi Vishwanath
Satisfiability of Metric Interval Temporal Logic (MITL) is a widely investigated subject. In this work, we present a new, and arguably simpler, approach for MITL satisfiability, ba…
A Zielonka-type Construction for Connectedly Communicating Processes
Béatrice Bérard, Benjamin Monmege, B Srivathsan +1
Given a global specification as a trace-closed regular language, Zielonka's theorem provides a construction to synthesise a language equivalent distributed implementation represent…
Verifying Sequential Consistency under Bounded Preemptions
R. Govind, S. Krishna, Sanchari Sil +1
Gibbons and Korach studied a fundamental problem in 1997: given an observed sequence of reads and writes of a multi-threaded program, does there exist an interleaving which is sequ…