Peer-reviewed publications

A4 Conference proceedings
Specification and Automated Verification of Dynamic Dataflow Networks (2017)
Jonatan Wiik, Pontus Boström
Springer
Springer
View on publisher's site
A1 Journal article (refereed)
Triacylglycerol regioisomers in human milk resolved with an algorithmic novel electrospray ionization tandem mass spectrometry method (2017)
Heikki Kallio, Matts Nylund, Pontus Boström, Baoru Yang
Food Chemistry
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
A3 Book section, Chapters in research books
Integrating Refinement-Based Methods for Developing Timed Systems (2016)
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
CRC Press
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
A4 Conference proceedings
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Springer
View on publisher's site
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
Derivation of Parallel and Resilient Programs from Simulink Models (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
IEEE
View on publisher's site
A4 Conference proceedings
Modular Verification of Finite Blocking in Non-terminating Programs (2015)
Pontus Boström, Peter Müller
LIPIcs
View on publisher's site
A4 Conference proceedings
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System (2014)
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
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
A1 Journal article (refereed)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
Verification and Validation of a Pressure Control Unit for Hydraulic Systems (2014)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
View on publisher's site
A4 Conference proceedings
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems (2013)
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
SCITEPRESS Digital Library
View on publisher's site
A4 Conference proceedings
Refinement-Based Development of Timed Systems (2012)
Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Springer
View on publisher's site
A4 Conference proceedings
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A4 Conference proceedings
Contract-Based Verification of Simulink Models (2011)
Pontus Boström
Springer
View on publisher's site
A3 Book section, Chapters in research books
Development of Controllers Using Simulink and Contract-Based Design (2011)
Pontus Boström, Mikko Huova, Marta (Plaska) Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Information science reference IGI
View on publisher's site
A4 Conference proceedings
Creating Sequential Programs from Event-B Models (2010)
Pontus Boström
Springer
View on publisher's site
A4 Conference proceedings
Contract-based Design in Controller Development and its Evaluation (2009)
Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Linköping university electronic press
A4 Conference proceedings
Design and Implementation of Energy Saving Digital Hydraulic Control System (2007)
Matti Linjama, Mikko Huova, Pontus Boström, Arto Laamanen, Lauri Siivonen, Lionel Morel, Marina Waldén, Matti Vilenius
Tampere University of Technology
A4 Conference proceedings
Design and Validation of Digital Controllers for Hydraulics Systems (2007)
Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén
Tampere University of Technology
A4 Conference proceedings
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
View on publisher's site
A4 Conference proceedings
Stepwise Development of Simulink Models Using the Refinement Calculus Framework (2007)
Pontus Boström, Lionel Morel, Marina Waldén
Springer
Springer
View on publisher's site
A4 Conference proceedings
Detecting design flaws in control systems using optimisation methods (2006)
Bostrom P, Bjorkqvist J
A4 Conference proceedings
An Extension of Event B for Developing Grid Systems (2005)
Pontus Boström, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Development of Fault Tolernt Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
Springer
View on publisher's site
A1 Journal article (refereed)
Implementation of Control Systems using B Action Systems - A Case Study (2004)
Boström P, Waldén M
Nordic Journal of Computing


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
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
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
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Published development or research report or study
Modular Verification of Finite Blocking in Non-terminating Programs (2014)
Pontus Boström, Peter Müller
View on publisher's site
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
D4 Published development or research report or study
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Published development or research report or study
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Published development or research report or study
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Published development or research report or study
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
D4 Published development or research report or study
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
D4 Published development or research report or study
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Published development or research report or study
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson

Last updated on 2018-19-09 at 19:44