1 × France
1 × India
1 × United Kingdom
C.J.Langmead S.Mohalik S.Ramesh K.K.Mehra S.K.Rajamani A.P.Sistla R.Saha J.Esparza M.Mukund P.S.Thiagarajan
verif (2) distribut (1) statist (1) between (1) object (1) markov (1) expect (1) trade (1) simul (1) relat (1)
Person: Sumit Kumar Jha
Wrote 3 papers:
- VMCAI-2015-SahaEJMT #distributed #markov
- Distributed Markov Chains (RS, JE, SKJ, MM, PST), pp. 117–134.
- DATE-2011-JhaLMR #simulation #statistics #trade-off #verification
- When to stop verification?: Statistical trade-off between expected loss and simulation cost (SKJ, CJL, SM, SR), pp. 1309–1314.
- SEFM-2007-MehraRSJ #relational #verification
- Verification of Object Relational Maps (KKM, SKR, APS, SKJ), pp. 283–292.