Digital Microhydraulics (TEKES programme EFFIMA)

Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2015

    Derivation of Parallel and Resilient Programs from Simulink Models

    Ostroumov, S., Boström, P. & Walden, M., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. O'Conner, L. (toim.). IEEE, s. 416–420

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 2014

    Verification and Validation of a Pressure Control Unit for Hydraulic Systems

    Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2014, Software Engineering for Resilient Systems. Majzik, I. & Vieira, M. (toim.). Lecture notes for computer science, s. 101–115

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 2011

    Contract-Based Verification of Simulink Models

    Boström, P., 2011, Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Qin, S. & Qiu, Z. (toim.). Springer, s. 291–306

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    24 Sitaatiot (Scopus)
  • 2009

    Contract-based Design in Controller Development and its Evaluation

    Boström, P., Olszewska, M., Huova, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2009, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. Asplund, M., Nadjm-Tehrani, S. & Petre, L. (toim.). Linköping university electronic press, s. 21–28

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • Controller Design of Digital Hydraulic Flow Control Valve

    Huova, M., Olszewska, M., Siivonen, L., Linjama, M., Walden, M., Vilenius, M. & Sere, K., 2009, Proceedings of 11th Scandinavian International Conference on Fluid Power (SICFP'09). s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • Quality Analysis of Simulink Models

    Olszewska, M., Huova, M., Walden, M., Sere, K. & Linjama, M., 2009, Software Quality Engineering. Proceedings of the CONQUEST 2009.. Schieferdecker, I. & Goericke, S. (toim.). dpunkt.verlag GmbH, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu