Research output per year
Research output per year
Search results
-
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) -
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2015, Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Campos, J. & Haverkort, BR. (eds.). Springer, p. 312–328Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1136)Research output: Book/Journal/Report › Commissioned report › Professional
File20 Downloads (Pure) -
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