Jonatan Wiik

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Automated Verification

Matrix Representation

Fault Identification

Top Venues

Formal Aspects Comput.

Publications

Johan Ersfolk, Miika Ahopelto, Wictor Lund, Jonatan Wiik, Marina Waldén, Matti Linjama, Jan Westerholm
Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach. CoRR (2018)
Jonatan Wiik, Johan Ersfolk, Marina Waldén
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. MEMOCODE (2018)
Jonatan Wiik, Pontus Boström
Specification and Automated Verification of Dynamic Dataflow Networks. SEFM (2017)
Jonatan Wiik, Pontus Boström
Contract-based verification of MATLAB-style matrix programs. Formal Aspects Comput. 28 (1) (2016)
Pontus Boström, Jonatan Wiik
Contract-based verification of discrete-time multi-rate Simulink models. Softw. Syst. Model. 15 (4) (2016)
Jonatan Wiik, Pontus Boström
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. ICFEM (2014)