Projekt per år
Projekt
- 2 Slutfört
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Ansvarig forskare), Walden, M. (CoI), Kamali, M. (CoI), Kamali, M. (CoI), Neovius, M. (CoI) & Sandvik, P. (CoI)
01/01/13 → 31/12/15
Projekt: Finlands Akademi/Övriga Forskningsråd
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Ansvarig forskare), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekt: Finlands Akademi/Övriga Forskningsråd
-
Formal Modelling for Digital Media Distribution
Sandvik, P., 2015Forskningsoutput: Typer av avhandlingar › Doktorsavhandling › Samling av artiklar
-
A Formal Specification Language for Content Transfer Algorithms
Sandvik, P., 2014, TUCS.Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
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. (red.). Springer, s. 77–91Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
4 Citeringar (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, s. 1–4Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
A Formal Approach to H.264 Video Decoding on Multicore Systems
Lumme, K., Petre, L., Sandvik, P. & Sere, K., 2013, I: International Journal of Critical Computer-Based Systems. 4, 1, s. 3–26Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review