2 citations · 3 across the 8 of their papers we have counts for
3 papers · 1 filter
Formal Reasoning about Performance Models
Moussa Labbadi, Rupak Majumdar, V. R. Sathiyanarayana +1
Discrete-event simulation is a standard technique for modelling and analysing the performance of computer systems, networks, and services. Although simulation tools are widely used…
Sound and Complete Proof Rules for Probabilistic Termination
Rupak Majumdar, V. R. Sathiyanarayana
Deciding termination is a fundamental problem in the analysis of probabilistic imperative programs. We consider the qualitative and quantitative probabilistic termination problems…
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar +1
We investigate the decidability of the fragment of Timed Propositional Temporal Logic (TPTL). We show that the satisfiability checking of TPTL is PSPACE-c…