Research output per year
Research output per year
Search results
-
Conference contribution
Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems
Petre, L. & Sandvik, P., 2011, Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, P. & Seceleanu, C. (eds.). Mälardalens högskola, p. 21–23Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
-
Modelling BitTorrent-like Streaming Piece Selection with Event-B
Sandvik, P., Sere, K. & Walden, M., 2010, Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010. Turku, Finland: Turku Centre for Computer Science (TUCS), Vol. 57. p. 82-84 (TUCS General Publication; no. 57).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
-
Node Coordination in Peer-to-Peer Networks
Petre, L., Sandvik, P. & Sere, K., 2012, COORDINATION 2012 Coordination Models and Languages. Sirjani, M. (ed.). Springer, p. 196–211Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
5 Citations (Scopus) -
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–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