Petter Sandvik

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Formal Specification

Irregular Isothetic Grids

Hierarchical Peer To Peer Networks

Top Venues

Int. J. Crit. Comput. Based Syst.

NASA Formal Methods

Publications

Petter Sandvik
SPECTA: A formal specification language for content transfer algorithms. WoWMoM (2014)
Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik
On Proving Recoverability of Smart Electrical Grids. NASA Formal Methods (2014)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Luigia Petre, Petter Sandvik, Kaisa Sere
Node Coordination in Peer-to-Peer Networks. COORDINATION (2012)
Petter Sandvik, Mats Neovius
The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming. AP2PS (2009)