Jon Grov

• Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, Jose; Ölveczky, Peter Csaba & Skeirik, Stephen (2018). Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude, In  Assured Cloud Computing.  Wiley-IEEE Computer Society Press.  ISBN 978-1-119-42863-3.  Kapittel 2.  s 10 - 48
• 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, s 494- 519 . doi: 10.1007/978-3-642-54624-2_25
• 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, s 159- 174 . doi: 10.1007/978-3-319-10431-7_12
• 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, s 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 Daniel Jeske; Gianfranco Ciardo & Yuan-Shun Dai (ed.),  Proceedings - 12th Pacific Rim International Symposium on Dependable Computing.  IEEE conference proceedings.  ISBN 0-7695-2724-8.  Session 8: Dependability Applications.  s 230 - 237

View all works in Cristin

• Grov, Jon & Ölveczky, Peter Csaba (2014). Transactional Data Management for Multi-Site Systems: New Approaches and Formal Analysis. Full text in Research Archive.
• 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), s 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.

View all works in Cristin