Petter Sandvik

Systemadministratör, ICT Services
University Teacher, Information Technology common
University Teacher, Computer Science
Email: petter.sandvik@abo.fi
Mobile: +358-504095154
Phone: +358-2-2153379


Peer-reviewed publications

G5 Doctoral dissertation (article)
Formal Modelling for Digital Media Distribution (2015)
Petter Sandvik
A4 Conference proceedings
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
View on publisher's site
A4 Conference proceedings
SPECTA: A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
A1 Journal article (refereed)
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
View on publisher's site
A1 Journal article (refereed)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
View on publisher's site


Other publications

D4 Published development or research report or study
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik

Last updated on 2018-19-09 at 19:44