Jon Grov

Associate Professor - Digitalisation
Norwegian version of this page
Username
Postal address Postboks 1080 0316 Oslo

Publications

  • Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, Jose & Ölveczky, Peter Csaba [Show all 7 contributors for this article] (2018). Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude, Assured Cloud Computing. Wiley-IEEE Computer Society Press. ISSN 978-1-119-42863-3. p. 10–48. doi: 10.1002/9781119428497.ch2.
  • Grov, Jon & Ølveczky, Peter Csaba (2014). Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8702, p. 159–174. doi: 10.1007/978-3-319-10431-7_12.
  • Grov, Jon & Ølveczky, Peter Csaba (2014). Formal modeling and analysis of Google's megastore in real-time maude. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8373, p. 494–519. doi: 10.1007/978-3-642-54624-2_25.
  • Grov, Jon & Ølveczky, Peter Csaba (2013). Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8059, p. 26–38. doi: 10.1007/978-3-642-40053-7_3.
  • Grov, Jon; Soares, Luís; Correia Jr., Alfrânio; Pereira, José; Oliveira, Rui & Pedone, Fernando (2006). A Pragmatic Protocol for Database Replication in Interconnected Clusters. In Jeske, Daniel; Ciardo, Gianfranco & Dai, Yuan-Shun (Ed.), Proceedings - 12th Pacific Rim International Symposium on Dependable Computing. IEEE conference proceedings. ISSN 0-7695-2724-8. p. 230–237.

View all works in Cristin

  • Skrikerud, Anne Maria & Grov, Jon (2007). Privacy at Risk.
  • Grov, Jon & Normann, Ragnar (2006). Technical note: Replication graphs revisited. Journal of computer and system sciences. ISSN 0022-0000. 72(8), p. 1251–1261. doi: 10.1016/j.jcss.2006.02.004.
  • Grov, Jon; Soares, Luís; Correia Jr., Alfrânio; José, Pereira; Oliveira, Rui & Pedone, Fernando (2006). A Pragmatic Protocol for Database Replication in Interconnected Clusters.
  • Skrikerud, Anne Maria & Grov, Jon (2006). The dubious uniqueness of the genetic information.
  • Grov, Jon & Ölveczky, Peter Csaba (2014). Transactional Data Management for Multi-Site Systems: New Approaches and Formal Analysis. Akademika forlag. Full text in Research Archive

View all works in Cristin

Published Dec. 21, 2020 12:54 PM - Last modified Dec. 21, 2020 12:55 PM

Research groups