• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (3):

• Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik, Formal Development of System of Systems. ISRN Software Engineering 2013, 1–10, 2013.
• Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, A Formal Approach to H.264 Video Decoding on Multicore Systems. International Journal of Critical Computer-Based Systems 4(1), 3–26, 2013.
• Petter Sandvik, Mats Neovius, A Further Look at the Distance-Availability Weighted Piece Selection Method: A BitTorrent Piece Selection Method for On-Demand Media Streaming. International Journal on Advances in Networks and Services 3(3 & 4), 473–483, 2010.

Articles in proceedings (9):

• Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik, On Proving Recoverability of Smart Electrical Grids. In: Julia M. Badger, Kristin Yvonne Rozier (Eds.), 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. , Lecture Notes in Computer Science 8430, 77–92, Springer-Verlag, 2014.
• Petter Sandvik, 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), 1–4, IEEE, 2014.
• Luigia Petre, Petter Sandvik, Kaisa Sere, Node Coordination in Peer-to-Peer Networks. In: Marjan Sirjani (Ed.), COORDINATION 2012, Lecture Notes in Computer Science 7274, 196–211, Springer-Verlag GmbH Berlin Heidelberg, 2012.
• Petter Sandvik, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: Uwe Wolter, Yngve Lamo (Eds.), 24th Nordic Workshop on Programming Theory, Reports in Informatics 403, 81–83, University of Bergen, 2012.
• Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, Towards Dependable H.264 Video Decoding. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 325–337, Technical University of Denmark, 2011.
• Luigia Petre, Petter Sandvik, Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems. In: Paul Pettersson, Cristina Seceleanu (Eds.), Proceedings of the 23rd Nordic Workshop on Programming Theory, Technical report 254/2011, 21–23, Mälardalen Real-Time Research Centre, 2011.
• Petter Sandvik, Kaisa Sere, Formal Analysis and Verification of Peer-to-Peer Node Behaviour. In: Antonio Liotta, Nikos Antonopoulos, Giuseppe Di Fatta, Takahiro Hara, Quang Hieu Vu (Eds.), The Third International Conference on Advances in P2P Systems (AP2PS 2011), 47–52, IARIA, 2011.
• Petter Sandvik, Kaisa Sere, Marina Waldén, Modelling BitTorrent-Like Streaming Piece Selection with Event-B. In: Marina Waldén, Luigia Petre (Eds.), Proceedings of the 22nd Nordic Workshop on Programming Theory, General Publication 57, 82–84, TUCS, 2010.
• Petter Sandvik, Mats Neovius, The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-Demand Streaming. In: Antonio Liotta, Nick Antonopoulos, George Exarchakos, Takahiro Hara (Eds.), Proceedings of The First International Conference on Advances in P2P Systems (AP2PS 2009), 198–202, IEEE Computer Society, 2009.

Ph.D. thesis (1):

• Petter Sandvik, Formal Modelling for Digital Media Distribution. TUCS Dissertations 206. 2015.

Technical reports (5):

• Petter Sandvik, A Formal Specification Language for Content Transfer Algorithms. TUCS Technical Reports 1109, TUCS, 2014.
• Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik, On Proving Recoverability of Smart Electrical Grids. TUCS Technical Reports 1096, TUCS, 2013.
• Petter Sandvik, Formal Stepwise Development of an In-House Lighting Control System. TUCS Technical Reports 1079, TUCS, 2013.
• Luigia Petre, Petter Sandvik, Kaisa Sere, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports 1039, Turku Centre for Computer Science, 2012.
• Petter Sandvik, Kaisa Sere, Marina Waldén, An Event-B Model for On-Demand Streaming. TUCS Technical Reports 994, Turku Centre for Computer Science, 2010.