Projekteja vuodessa
Projektit
- 2 Päättynyt
-
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
Projekti: 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
Projekti: Academy of Finland/Other Research Councils
-
Formal Modelling for Digital Media Distribution
Sandvik, P., 2015Tutkimustuotos: Väitöskirjatyypit › Tohtorinväitöskirja › Artikkelikokoelma
-
A Formal Specification Language for Content Transfer Algorithms
Sandvik, P., 2014, TUCS.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
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. (toim.). Springer, s. 77–91Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
3 Sitaatiot (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–4Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
A Formal Approach to H.264 Video Decoding on Multicore Systems
Lumme, K., Petre, L., Sandvik, P. & Sere, K., 2013, julkaisussa: International Journal of Critical Computer-Based Systems. 4, 1, s. 3–26Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu