Pontus Boström

According to our database, Pontus Boström authored at least 21 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2017

Specification and Automated Verification of Dynamic Dataflow Networks.

Jonatan Wiik, Pontus Boström

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Contract-based verification of discrete-time multi-rate Simulink models.

Pontus Boström, Jonatan Wiik

Softw. Syst. Model., 2016

Contract-based verification of MATLAB-style matrix programs.

Jonatan Wiik, Pontus Boström

Formal Aspects Comput., 2016

Integrating Refinement-Based Methods for Developing Timed Systems.

Jüri Vain, Leonidas Tsiopoulos, Pontus Boström

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.

Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Derivation of Parallel and Resilient Programs from Simulink Models.

Sergey Ostroumov, Pontus Boström, Marina Waldén

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Modular Verification of Finite Blocking in Non-terminating Programs.

Pontus Boström, Peter Müller

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Derivation of concurrent programs by stepwise scheduling of Event-B models.

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Formal Aspects Comput., 2014

Verification and Validation of a Pressure Control Unit for Hydraulic Systems.

Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code.

Jonatan Wiik, Pontus Boström

Proceedings of the Formal Methods and Software Engineering, 2014

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.

Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.

Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere

Proceedings of the PECCS 2013, 2013

2012

Refinement-Based Development of Timed Systems.

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Contract-Based Verification of Simulink Models.

Pontus Boström

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Creating Sequential Programs from Event-B Models.

Pontus Boström

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2007

Stepwise Development of Simulink Models Using the Refinement Calculus Framework.

Pontus Boström, Lionel Morel, Marina Waldén

Proceedings of the Theoretical Aspects of Computing, 2007

Formal Transformation of Platform Independent Models into Platform Specific Models.

Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2005

An Extension of Event B for Developing Grid Systems.

Pontus Boström, Marina Waldén

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development of Fault Tolerant Grid Applications Using Distributed B.

Pontus Boström, Marina Waldén

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Implementation of Control Systems Using B Action Systems: A Case Study.

Pontus Boström, Marina Waldén

Nord. J. Comput., 2004