Petter Sandvik

According to our database, Petter Sandvik authored at least 5 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

SPECTA: A formal specification language for content transfer algorithms.

Petter Sandvik

Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

On Proving Recoverability of Smart Electrical Grids.

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

A formal approach to H.264 video decoding on multicore systems.

Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere

Int. J. Crit. Comput. Based Syst., 2013

2012

Node Coordination in Peer-to-Peer Networks.

Luigia Petre, Petter Sandvik, Kaisa Sere

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2009

The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming.

Petter Sandvik, Mats Neovius

Proceedings of the First International Conference on Advances in P2P Systems, 2009