Pontus Boström

21 papers A 1B 4C 5Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2017 B conf
Specification and Automated Verification of Dynamic Dataflow Networks.
SEFM
Jonatan Wiik, Pontus Boström
2016 J jnl
Contract-based verification of MATLAB-style matrix programs.
Formal Aspects Comput.
Jonatan Wiik, Pontus Boström
2016 J jnl
Contract-based verification of discrete-time multi-rate Simulink models.
Softw. Syst. Model.
Pontus Boström, Jonatan Wiik
2016 — ch.
Integrating Refinement-Based Methods for Developing Timed Systems.
From Action Systems to Distributed Systems
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
2015 — conf
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.
QEST
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
2015 C conf
Derivation of Parallel and Resilient Programs from Simulink Models.
PDP
Sergey Ostroumov, Pontus Boström, Marina Waldén
2015 A conf
Modular Verification of Finite Blocking in Non-terminating Programs.
ECOOP
Pontus Boström, Peter Müller
2014 C conf
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.
FMICS
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
2014 C conf
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code.
ICFEM
Jonatan Wiik, Pontus Boström
2014 J jnl
Derivation of concurrent programs by stepwise scheduling of Event-B models.
Formal Aspects Comput.
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
2014 — conf
Verification and Validation of a Pressure Control Unit for Hydraulic Systems.
SERENE
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
2013 — conf
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.
PECCS
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
2012 B conf
Refinement-Based Development of Timed Systems.
IFM
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
2011 — conf
Concurrent Scheduling of Event-B Models
Refine@FM
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
2011 C conf
Contract-Based Verification of Simulink Models.
ICFEM
Pontus Boström
2010 B conf
Creating Sequential Programs from Event-B Models.
IFM
Pontus Boström
2007 — conf
Formal Transformation of Platform Independent Models into Platform Specific Models.
B
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
2007 C conf
Stepwise Development of Simulink Models Using the Refinement Calculus Framework.
ICTAC
Pontus Boström, Lionel Morel, Marina Waldén
2005 — conf
An Extension of Event B for Developing Grid Systems.
ZB
Pontus Boström, Marina Waldén
2005 B conf
Development of Fault Tolerant Grid Applications Using Distributed B.
IFM
Pontus Boström, Marina Waldén
2004 J jnl
Implementation of Control Systems Using B Action Systems: A Case Study.
Nord. J. Comput.
Pontus Boström, Marina Waldén