Research output per year
Research output per year
- 11 results
Search results
-
2024
Contract-Based Design of Dataflow Programs
Wiik, J., 2024, Åbo Akademi.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
2018
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
Wiik, J., Ersfolk, J. & Walden, M., 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2018). Patricia, D. & Sicun, G. (eds.). IEEE, p. 1–10Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
2 Citations (Scopus) -
2017
Specification and Automated Verification of Dynamic Dataflow Networks
Wiik, J. & Boström, P., 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings. Cimatti, A. & Sirjani, M. (eds.). Springer, p. 136–151Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
2 Citations (Scopus) -
2016
Contract-Based Specification and Verification of Dataflow Programs
Wiik, J. & Boström, P., 2016, Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Aceto, L., Fabregas, I., Garcia-Perez, A. & Ingolfsdottir, A. (eds.). Reykjavik University, Iceland, p. 81–83Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
-
Contract-Based Verification of MATLAB-Style Matrix Programs
Wiik, J. & Boström, P., 2016, In: Formal Aspects of Computing. 28, 1, p. 79–107Research output: Contribution to journal › Article › Scientific › peer-review
1 Citation (Scopus) -
Optimal Digital Valve Control Using Embedded GPU
Ersfolk, J., Boström, P., Timonen, V., Westerholm, J., Wiik, J., Karhu, O., Linjama, M. & Walden, M., 2016, Proceedings of the Eight Workshop on Digital Fluid Power (DFP16): May 24-25 2016, Tampere, Finland. Uusi-Heikkilä, J. & Linjama, M. (eds.). Tampereen teknillinen yliopisto, p. 239–250Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Specification and Automated Verification of Dynamic Dataflow Networks
Wiik, J. & Boström, P., 2016, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
2015
Contract-based verification of discrete-time multi-rate Simulink models
Boström, P. & Wiik, J., 2015, In: Software and Systems Modeling. p. –Research output: Contribution to journal › Article › Scientific › peer-review
14 Citations (Scopus) -
2014
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Formal Methods and Software Engineering. Merz, S. & Pang, J. (eds.). Springer, p. 396–412Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
4 Citations (Scopus) -
2010
An Approach to Contract-Based Verification of Simulink Models
Boström, P., Grönblom, R., Huotari, T. & Wiik, J., 2010, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional