Josť Meseguer

Collaborator

Select publications

  1. Liu, Si, Peter Csaba Olveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, Josť Meseguer. "Formal Modeling and Analysis of Ramp Transaction Systems", Proc. ACM Symposium on Applied Computing (SAC), 2016. [pdf] [pptx]
  2. Liu, Si, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, Josť 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]
  3. Liu, Si, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, Josť Meseguer. "Formal Modeling and Analysis of Cassandra in Maude," 16th International Conference on Formal Engineering Methods (ICFEM), 2014. [pdf]