Referentgranskade publikationer

A4 Konferenspublikationer
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks (2018)
Jonatan Wiik, Johan Ersfolk, Marina Waldén
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Specification and Automated Verification of Dynamic Dataflow Networks (2017)
Jonatan Wiik, Pontus Boström
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Contract-Based Verification of MATLAB-Style Matrix Programs (2016)
Jonatan Wiik, Pontus Boström
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
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 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Contract-based verification of discrete-time multi-rate Simulink models (2015)
Pontus Boström, Jonatan Wiik
Software and Systems Modeling
Visa på utgivarens sida
A4 Konferenspublikationer
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida


Övriga publikationer

B3 Icke-referentgranskade konferenspublikationer
Contract-Based Specification and Verification of Dataflow Programs (2016)
Jonatan Wiik, Pontus Boström
Reykjavik University, Iceland
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Specification and Automated Verification of Dynamic Dataflow Networks (2016)
Jonatan Wiik, Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik

Senast uppdaterad 2020-07-02 vid 08:09