Distributed Jointly Operating Networks (Academy of Finland)

  • Walden, Marina (Vastuullinen tutkija)
  • Sere, Kaisa (CoPI)
  • Plosila, Juha (CoPI)
  • Sandvik, Petter (CoI)
  • Olszewska, Marta (CoI)
  • Tsiopoulos, Leonidas (CoI)
  • Dahlvik, Magnus (CoI)
  • Wiik, Jonatan (CoI)
  • Laibinis, Linas (CoI)
  • Neovius, Mats (CoI)
  • Lumme, Kristian (CoI)
Suodatin
Konferenssiartikkeli

Hakutulokset

  • 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. (toim.). s. 118–127

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2008

    Energy-Aware Middleware

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2009

    Efficiency Issues in a Switched LAN

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). First Deploy Technical Workshop, s. 81–88

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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), Vuosikerta 57. s. 82-84 (TUCS General Publication; nro 57).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • 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. (toim.). Open Publishing Association, s. 47–61

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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, EA. & Reeves, S. (toim.). Open Publishing Association, s. 166–182

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (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. (toim.). IEEE Computer Society, s. 1–7

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (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. (toim.). IEEE, s. 634–642

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    13 Sitaatiot (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. (toim.). Springer, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (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. (toim.). IEEE, s. 127–134

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    12 Sitaatiot (Scopus)
  • 2012

    Node Coordination in Peer-to-Peer Networks

    Petre, L., Sandvik, P. & Sere, K., 2012, COORDINATION 2012 Coordination Models and Languages. Sirjani, M. (toim.). Springer, s. 196–211

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    5 Sitaatiot (Scopus)