Travelled to:1 × France
1 × India
1 × United Kingdom
Collaborated with: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
Talks about:verif (2) distribut (1) statist (1) between (1) object (1) markov (1) expect (1) trade (1) simul (1) relat (1)
Person: Sumit Kumar Jha
DBLP: Jha:Sumit_Kumar
Contributed to:
2015
2011
2007Wrote 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.