3 citations · 3 across the 2 of their papers we have counts for
4 papers
Formal Analysis of Metastable Failures in Software Systems
Peter Alvaro, Rebecca Isaacs, Rupak Majumdar +3
Many large-scale software systems demonstrate metastable failures. In this class of failures, a stressor such as a temporary spike in workload causes the system performance to drop…
On Decidability of Time-bounded Reachability in CTMDPs
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
We consider the time-bounded reachability problem for continuous-time Markov decision processes. We show that the problem is decidable subject to Schanuel's conjecture. Our decisio…
A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
Time bounded reachability is a fundamental problem in model checking continuous-time Markov chains (CTMCs) and Markov decision processes (CTMDPs) for specifications in continuous s…
Perception-in-the-Loop Adversarial Examples
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
We present a scalable, black box, perception-in-the-loop technique to find adversarial examples for deep neural network classifiers. Black box means that our procedure only has inp…