Jatin Ganhotra

Collaborator
E-mail:jatinganhotragmailcom

Select publications

  1. Liu, Si, Peter Csaba Olveczky, Jatin Ganhotra, Indranil Gupta, Jose Meseguer. "Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking", Proc. ICFEM (Formal Methods and Software Engineering), pp 298-314, 2017.
  2. Liu, Si, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, Jose Meseguer. "Quantitative Analysis of Consistency in NoSQL Key-value Stores", Leibniz Transactions on Embedded Systems (LITES Special Issue on Quantitative Evaluation of Systems (QEST)), vol. 4, no. 1, 2017.
  3. Liu, Si, Peter Csaba Olveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, Jose Meseguer. "Formal Modeling and Analysis of Ramp Transaction Systems", Proc. ACM Symposium on Applied Computing (SAC), 2016. [pdf] [pptx]
  4. Liu, Si, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, Jose Meseguer. "Quantitative Analysis of Consistency in NoSQL Key-value Stores," 12th International Conference on Quantitative Evaluation of SysTems (QEST 2015) -- Nominee for Best Paper Award at QEST '15! --, 2015. [pdf]