Peer-reviewed publications

A4 Conference proceedings
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks (2018)
Jonatan Wiik, Johan Ersfolk, Marina Waldén
IEEE
View on publisher's site
A4 Conference proceedings
Specification and Automated Verification of Dynamic Dataflow Networks (2017)
Jonatan Wiik, Pontus Boström
Springer
View on publisher's site
A1 Journal article (refereed)
Contract-Based Verification of MATLAB-Style Matrix Programs (2016)
Jonatan Wiik, Pontus Boström
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
Optimal Digital Valve Control Using Embedded GPU (2016)
Johan Ersfolk, Pontus Boström, Ville Timonen, Jan Westerholm, Jonatan Wiik, Otso Karhu, Matti Linjama, Marina Waldén
Tampereen teknillinen yliopisto
A1 Journal article (refereed)
Contract-based verification of discrete-time multi-rate Simulink models (2015)
Pontus Boström, Jonatan Wiik
Software and Systems Modeling
View on publisher's site
A4 Conference proceedings
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
Lecture Notes in Computer Science
Springer
View on publisher's site


Other publications

B3 Non-refereed conference proceedings
Contract-Based Specification and Verification of Dataflow Programs (2016)
Jonatan Wiik, Pontus Boström
Reykjavik University, Iceland
D4 Published development or research report or study
Specification and Automated Verification of Dynamic Dataflow Networks (2016)
Jonatan Wiik, Pontus Boström
D4 Published development or research report or study
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
D4 Published development or research report or study
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik

Last updated on 2020-07-02 at 08:09