Petter Sandvik

Research activity per year

If you made any changes in Pure these will be visible here soon.

FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L., Walden, M., Kamali, M., Kamali, M., Neovius, M. & Sandvik, P.
01/01/13 → 31/12/15
Project: Academy of Finland/Other Research Councils
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Project: Academy of Finland/Other Research Councils

Formal Modelling for Digital Media Distribution
Sandvik, P., 2015
Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
A Formal Specification Language for Content Transfer Algorithms
Sandvik, P., 2014, TUCS.
Research output: Book/Journal/Report › Commissioned report › Professional
On Proving Recoverability of Smart Electrical Grids
Seppo, H., Kamali, M., Mikko, K., Neovius, M., Petre, L., Mauno, R. & Sandvik, P., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. Badger, JM. & Rozier, KY. (eds.). Springer, p. 77–91
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

3 Citations (Scopus)
SPECTA: A Formal Specification Language for Content Transfer Algorithms
Sandvik, P., 2014, The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014). IEEE Computer Society Institute of Electrical and Electronic Engineers, p. 1–4
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
A Formal Approach to H.264 Video Decoding on Multicore Systems
Lumme, K., Petre, L., Sandvik, P. & Sere, K., 2013, In: International Journal of Critical Computer-Based Systems. 4, 1, p. 3–26
Research output: Contribution to journal › Article › Scientific › peer-review

Projects