Jon Grov

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 1

Top Topics

Graduate Students

Scalable Video Codec

Formal Analysis

Top Venues

Inf. Softw. Technol.

Specification, Algebra, and Software

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Magne Jørgensen, Jon Grov
A field experiment on trialsourcing and the effect of contract types on outsourced software development. Inf. Softw. Technol. 134 (2021)
Jon Grov, Peter Csaba Ölveczky
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. SEFM (2014)
Jon Grov, Peter Csaba Ölveczky
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. Specification, Algebra, and Software (2014)
Jon Grov, Peter Csaba Ölveczky
Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Globe (2013)
Jon Grov, Ragnar Normann
Technical note: Replication graphs revisited. J. Comput. Syst. Sci. 72 (8) (2006)
Jon Grov, Luís Soares, Alfrânio Correia Jr., José Pereira, Rui Carlos Oliveira, Fernando Pedone
A Pragmatic Protocol for Database Replication in Interconnected Clusters. PRDC (2006)