Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. - Jonatan Wiik; Pontus Boström (ICFEM, 2014)

Contract-based verification of MATLAB-style matrix programs. - Jonatan Wiik; Pontus Boström (Formal Aspects Comput., 2016)

Contract-based verification of discrete-time multi-rate Simulink models. - Pontus Boström; Jonatan Wiik (Softw. Syst. Model., 2016)

Specification and Automated Verification of Dynamic Dataflow Networks. - Jonatan Wiik; Pontus Boström (SEFM, 2017)

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. - Jonatan Wiik; Johan Ersfolk; Marina Waldén (MEMOCODE, 2018)

Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach. - Johan Ersfolk; Miika Ahopelto; Wictor Lund; Jonatan Wiik; Marina Waldén; Matti Linjama; Jan Westerholm (CoRR, 2018)