Petter Sandvik

Systemadministratör, Forskningsservice
Systemadministratör, Planering och utveckling
Systemadministratör, ICT-service
E-post: petter.sandvik@abo.fi
Mobiltelefon: +358-504095154
Telefon: +358-2-2153379


Referentgranskade publikationer

G5 Doktorsavhandling (artikel)
Formal Modelling for Digital Media Distribution (2015)
Petter Sandvik
A4 Konferenspublikationer
On Proving Recoverability of Smart Electrical Grids (2014)
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
SPECTA: A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
IEEE Computer Society Institute of Electrical and Electronic Engineers
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Formal Approach to H.264 Video Decoding on Multicore Systems (2013)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
Visa på utgivarens sida
A4 Konferenspublikationer
Node Coordination in Peer-to-Peer Networks (2012)
Petre L, Sandvik P, Sere K
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Modular Approach to Formal Modelling of Peer-to-Peer Networks (2012)
Petre L, Sandvik P, Sere K
B3 Icke-referentgranskade konferenspublikationer
Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems (2011)
Luigia Petre, Petter Sandvik
MRTC report
Mälardalens högskola

Senast uppdaterad 2018-19-09 vid 19:44