University teacher in Computer Science; previously System Planner (Data and Information Security) at ICT Services
Courses taught in the academic year 2018-2019:
Courses taught in the academic year 2017-2018:
Courses taught in the academic year 2016-2017:
Courses taught in the academic year 2015-2016:
PhD in Computer Science, Åbo Akademi University, 2015. Thesis title: "Formal Modelling for Digital Media Distribution". Available from http://urn.fi/URN:ISBN:978-952-12-3294-7.
MSc in Computer Science, Åbo Akademi University, 2008. Thesis title: "Adapting Peer-to-Peer File Sharing Technology for On-Demand Media Streaming".
Kamali, Maryam and Neovius, Mats and Petre, Luigia and Sandvik, Petter, Formal Development of System of Systems. In: ISRN Software Engineering. HINDAWI PUBLISHING CORPORATION, 2013 1 |
Lumme, Kristian and Petre, Luigia and Sandvik, Petter and Sere, Kaisa, A Formal Approach to H.264 Video Decoding on Multicore Systems. In: International Journal of Critical Computer-Based Systems. Inderscience Enterprises Ltd., 2013 1 |
Sandvik, Petter and Neovius, Mats, A Further Look at the Distance-Availability Weighted Piece Selection Method: A BitTorrent Piece Selection Method for On-Demand Media Streaming. In: International Journal on Advances in Networks and Services. IARIA, 2010 1 |
Horsmanheimo, Seppo and Kamali, Maryam and Kolehmainen, Mikko and Neovius, Mats and Petre, Luigia and Rönkkö, Mauno and Sandvik, Petter, On Proving Recoverability of Smart Electrical Grids. In: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. . Badger, Julia M. and Rozier, Kristin Yvonne (Eds.). Lecture Notes in Computer Science Springer-Verlag, 2014 1 |
Sandvik, Petter, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014). IEEE, 2014 1 |
Petre, Luigia and Sandvik, Petter and Sere, Kaisa, Node Coordination in Peer-to-Peer Networks. In: COORDINATION 2012. Sirjani, Marjan (Eds.). Lecture Notes in Computer Science Springer-Verlag GmbH Berlin Heidelberg, 2012 1 |
Sandvik, Petter, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: 24th Nordic Workshop on Programming Theory. Wolter, Uwe and Lamo, Yngve (Eds.). Reports in Informatics University of Bergen, 2012 |
Petre, Luigia and Sandvik, Petter, Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems. In: Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, Paul and Seceleanu, Cristina (Eds.). Technical report Mälardalen Real-Time Research Centre, 2011 |
Sandvik, Petter and Sere, Kaisa, Formal Analysis and Verification of Peer-to-Peer Node Behaviour. In: The Third International Conference on Advances in P2P Systems (AP2PS 2011). Liotta, Antonio and Antonopoulos, Nikos and Di Fatta, Giuseppe and Hara, Takahiro and Vu, Quang Hieu (Eds.). IARIA, 2011 |
Lumme, Kristian and Petre, Luigia and Sandvik, Petter and Sere, Kaisa, Towards Dependable H.264 Video Decoding. In: Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011). Ahmed, Naveed and Quercia, Daniele and Jensen, Christian D. (Eds.). Technical University of Denmark, 2011 |
Sandvik, Petter and Sere, Kaisa and Waldén, Marina, Modelling BitTorrent-Like Streaming Piece Selection with Event-B. In: Proceedings of the 22nd Nordic Workshop on Programming Theory. Waldén, Marina and Petre, Luigia (Eds.). General Publication TUCS, 2010 |
Sandvik, Petter and Neovius, Mats, The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-Demand Streaming. In: Proceedings of The First International Conference on Advances in P2P Systems (AP2PS 2009). Liotta, Antonio and Antonopoulos, Nick and Exarchakos, George and Hara, Takahiro (Eds.). IEEE Computer Society, 2009 |
Sandvik, Petter, Formal Modelling for Digital Media Distribution. TUCS Dissertations 206. 2015 |
Sandvik, Petter, A Formal Specification Language for Content Transfer Algorithms. TUCS Technical Reports 1109. TUCS, 2014 |
Horsmanheimo, Seppo and Kamali, Maryam and Kolehmainen, Mikko and Neovius, Mats and Petre, Luigia and Rönkkö, Mauno and Sandvik, Petter, On Proving Recoverability of Smart Electrical Grids. TUCS Technical Reports 1096. TUCS, 2013 |
Sandvik, Petter, Formal Stepwise Development of an In-House Lighting Control System. TUCS Technical Reports 1079. TUCS, 2013 |
Petre, Luigia and Sandvik, Petter and Sere, Kaisa, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports 1039. Turku Centre for Computer Science, 2012 |
Sandvik, Petter and Sere, Kaisa and Waldén, Marina, An Event-B Model for On-Demand Streaming. TUCS Technical Reports 994. Turku Centre for Computer Science, 2010 |