Projekt per år
Projekt
- 2 Slutfört
-
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
Projekt: FA/Övriga Forskningsråd
-
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
Projekt: FA/Ö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, JM. & Rozier, KY. (red.). Springer, s. 77–91Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
3 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