Jon Grov
Associate Professor
-
Digitalisation
Norwegian version of this page
Email
jongr@ifi.uio.no
Username
Visiting address
Gaustadalléen 23B
0373 Oslo
Postal address
Postboks 1080
0316 Oslo
Other affiliations
Department for Informatics
Publications
- 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
- 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.
Published Dec. 21, 2020 12:54 PM
- Last modified Dec. 21, 2020 12:55 PM