Pontus Boström

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 3

Top Topics

Hardware Designs

Automated Verification

Matrix Representation

Top Venues

Formal Aspects Comput.

Softw. Syst. Model.

Publications

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)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. QEST (2015)
Pontus Boström, Peter Müller
Modular Verification of Finite Blocking in Non-terminating Programs. ECOOP (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
Derivation of Parallel and Resilient Programs from Simulink Models. PDP (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Verification and Validation of a Pressure Control Unit for Hydraulic Systems. SERENE (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput. 26 (2) (2014)
Jonatan Wiik, Pontus Boström
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. ICFEM (2014)
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. FMICS (2014)
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. PECCS (2013)
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
Refinement-Based Development of Timed Systems. IFM (2012)
Pontus Boström
Contract-Based Verification of Simulink Models. ICFEM (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Concurrent Scheduling of Event-B Models Refine@FM (2011)
Pontus Boström
Creating Sequential Programs from Event-B Models. IFM (2010)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Formal Transformation of Platform Independent Models into Platform Specific Models. B (2007)
Pontus Boström, Lionel Morel, Marina Waldén
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC (2007)
Pontus Boström, Marina Waldén
Development of Fault Tolerant Grid Applications Using Distributed B. IFM (2005)
Pontus Boström, Marina Waldén
An Extension of Event B for Developing Grid Systems. ZB (2005)
Pontus Boström, Marina Waldén
Implementation of Control Systems Using B Action Systems: A Case Study. Nord. J. Comput. 11 (2) (2004)