| Contract-based verification of discrete-time multi-rate Simulink models P Boström, J Wiik Software & Systems Modeling 15, 1141-1161, 2016 | 21 | 2016 |
| An approach to contract-based verification of Simulink models P Boström, R Grönblom, T Huotari, J Wiik Turku Centre for Computer Science, Tech. Rep. TUCS Technical Report 985, 2010 | 21 | 2010 |
| Online fault identification of digital hydraulic valves using a combined model-based and data-driven approach J Ersfolk, M Ahopelto, W Lund, J Wiik, M Waldén, M Linjama, ... arXiv preprint arXiv:1803.05644, 2018 | 8 | 2018 |
| Contract-based verification of MATLAB and Simulink matrix-manipulating code J Wiik, P Boström Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 8 | 2014 |
| Optimal Digital Valve Control Using Embedded, GPU J Ersfolk, P Boström, V Timonen, J Westerholm, J Wiik, O Karhu, ... Proceedings of the Eighth Workshop on Digital Fluid Power, Tampere, Finland …, 2016 | 6 | 2016 |
| A contract-based approach to scheduling and verification of dynamic dataflow networks J Wiik, J Ersfolk, M Waldén 2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018 | 5 | 2018 |
| Specification and automated verification of dynamic dataflow networks J Wiik, P Boström Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 4 | 2017 |
| Contract-based verification of MATLAB-style matrix programs J Wiik, P Boström Formal Aspects of Computing, 1-29, 2016 | 3 | 2016 |
| Contract-based Specification and Verification of Dataflow Programs J Wiik, P Boström Nordic Workshop on Programming Theory 2015, 2015 | 1 | 2015 |
| Contract-Based Design of Dataflow Programs J Wiik Åbo Akademi-Åbo Akademi University, 2024 | | 2024 |
| PARALLELLISM INOM PROGRAMMERINGSSPRÅKET FORTRESS J Wiik | | 2010 |
| Ersfolk, Johan 78 F Filali, Mamoun 88 G M Geilen, Y Guan, CH Huang, Z Huang, S Hucharaddi, T Jain, E Kang, ... | | |
