Jon Grov
Associate Professor
-
Digital Innovation
Email
jongr@ifi.uio.no
Username
Visiting address
Gaustadalléen 23B
0373 Oslo
Postal address
Postboks 1080 Blindern
0316 Oslo
Publications
-
Jørgensen, Magne & Grov, Jon (2021). A field experiment on trialsourcing and the effect of contract types on outsourced software development. Information and Software Technology. ISSN 0950-5849. 134, p. 106559–106559. Full text in Research Archive Show summary
-
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 9781119428633. p. 10–48. doi: 10.1002/9781119428497.ch2. Full text in Research Archive
-
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. Full text in Research Archive
-
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. Full text in Research Archive
-
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. Full text in Research Archive
-
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. Full text in Research Archive
-
Grov, Jon; Soares, Luís; Jr., Alfrânio Correia; 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 (Institute of Electrical and Electronics Engineers). ISSN 9780769527246. p. 230–237. Full text in Research Archive
-
Skrikerud, Anne Maria & Grov, Jon (2006). The dubious uniqueness of the genetic information. Full text in Research Archive
-
Grov, Jon; Soares, Luís; Jr., Alfrânio Correia; José, Pereira; Oliveira, Rui & Pedone, Fernando (2006). A Pragmatic Protocol for Database Replication in Interconnected Clusters. Full text in Research Archive
-
Grov, Jon & Ölveczky, Peter Csaba (2014). Transactional Data Management for Multi-Site Systems: New Approaches and Formal Analysis. Universitetet i Oslo. Full text in Research Archive Show summary
Published
Dec. 21, 2020 12:54 PM
- Last modified
Dec. 21, 2020 12:55 PM