Projects per year
Projects
- 2 Finished
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Principal Investigator), Walden, M. (Co-Investigator), Kamali, M. (Co-Investigator), Kamali, M. (Co-Investigator), Neovius, M. (Co-Investigator) & Sandvik, P. (Co-Investigator)
01/01/13 → 31/12/15
Project: Research Council of Finland/Other Research Councils
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils
-
Formal Modelling for Digital Media Distribution
Sandvik, P., 2015Research 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, J. & Rozier, K. (eds.). Springer, p. 77–91Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
4 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–4Research 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–26Research output: Contribution to journal › Article › Scientific › peer-review