Jonatan Wiik

According to our database, Jonatan Wiik authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks.

Jonatan Wiik, Johan Ersfolk, Marina Waldén

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

2017

Specification and Automated Verification of Dynamic Dataflow Networks.

Jonatan Wiik, Pontus Boström

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Contract-based verification of discrete-time multi-rate Simulink models.

Pontus Boström, Jonatan Wiik

Softw. Syst. Model., 2016

Contract-based verification of MATLAB-style matrix programs.

Jonatan Wiik, Pontus Boström

Formal Aspects Comput., 2016

2014

Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code.

Jonatan Wiik, Pontus Boström

Proceedings of the Formal Methods and Software Engineering, 2014