Distributed Jointly Operating Networks (Academy of Finland)

  • Walden, Marina (Principal Investigator)
  • Sere, Kaisa (Co-Principal Investigator)
  • Plosila, Juha (Co-Principal Investigator)
  • Sandvik, Petter (Co-Investigator)
  • Olszewska, Marta (Co-Investigator)
  • Tsiopoulos, Leonidas (Co-Investigator)
  • Dahlvik, Magnus (Co-Investigator)
  • Wiik, Jonatan (Co-Investigator)
  • Laibinis, Linas (Co-Investigator)
  • Neovius, Mats (Co-Investigator)
  • Lumme, Kristian (Co-Investigator)
Filter
Conference contribution

Search results

  • 2012

    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–211

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
  • 2011

    Concurrent Scheduling of Event-B Models

    Boström, P., Degerlund, F., Sere, K. & Walden, M., 2011, Proceedings 15th International Refinement Workshop. Derrick, J., Boiten, E. & Reeves, S. (eds.). Open Publishing Association, p. 166–182

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • CorreComm: A Formal Hierarchical Framework for Communication Designs

    Kamali, M., Petre, L., Sere, K. & Daneshtalab, M., 2011, 2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011). Hughes, D., Lee, K. & Lok Man, K. (eds.). IEEE Computer Society, p. 1–7

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • Formal Modeling of Multicast Communication in 3D NoCs

    Kamali, M., Petre, L., Sere, K. & Daneshtalab, M., 2011, 14th Euromicro Conference on Digital System Design (DSD 2011). Kitsos, P. & Niar, S. (eds.). IEEE, p. 634–642

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    13 Citations (Scopus)
  • Model-Based Analysis Tools for Component Synthesis

    Petre, L., Sere, K. & Tsiopoulos, L., 2011, Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey. Aichernig, B., Boer, F. & Bonsangue, M. (eds.). Springer, p. –

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • VHDL Code Generation from Formal Event-B Models

    Ostroumov, S. & Tsiopoulos, L., 2011, Digital System Design (DSD), 2011 14th Euromicro Conference on. Kitsos, P. (ed.). IEEE, p. 127–134

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    13 Citations (Scopus)
  • 2010

    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 proceedingConference contributionScientific

  • Self-Recovering Sensor-Actor Networks

    Kamali, M., Laibinis, L., Petre, L. & Sere, K., 2010, Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. Mousavi, M. & Salaün, G. (eds.). Open Publishing Association, p. 47–61

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

  • 2009

    Efficiency Issues in a Switched LAN

    Hassan, M. & Petre, L., 2009, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security. Asplund, M., Nadjm-Tehrani, S. & Petre, L. (eds.). p. –

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

  • Towards Event-B Specification Metrics

    Olszewska, M. & Sere, K., 2009, Proceedings of First Deploy Technical Workshop. Jastram, M., Laibinis, L., Lösch, F. & Mazzara, M. (eds.). First Deploy Technical Workshop, p. 81–88

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

  • 2008

    Energy-Aware Middleware

    Petre, L., 2008, 15th IEEE International Conference on Engineering of Computer-Based Systems. IEEE computer society press, p. –

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

  • 2007

    Documenting the Progress of the System Development

    Olszewska, M., Walden, M. & Snook, C., 2007, Workshop on Methods, Models and Tools for Fault Tolerance - Proceedings. Butler, M., Jones, C., Romanovsky, A. & Troubitsyna, E. (eds.). p. 118–127

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review