Concepedia

Pontus Boström

PB

6

Publications

182

Citations

6

H-Index

2007

Active since

Affiliations

Åbo Akademi University(Current)

Turku Centre for Computer Science

University of Turku

Pontus Boström is an author at Åbo Akademi University specializing in engineering, process control, and formal verification.

Top concepts

EngineeringVerificationProcess ControlFormal VerificationSystems EngineeringMedicineHydraulicsHydropowerBioanalysisBiochemistry

Publications per year

2007–2022

6

Publications

6

Triacylglycerol regioisomers in human milk resolved with an algorithmic novel electrospray ionization tandem mass spectrometry method

Heikki Kallio, Matts Nylund, Pontus Boström et al. · Food Chemistry · 2017 · 100 citations

Food Chemistry, Lipid Analysis, Engineering +11

Design and Implementation of Energy Saving Digital Hydraulic Control System

Matti Linjama, Mikko Huova, Pontus Boström et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 27 citations

Engineering, Energy Management, Mechanical Systems +7

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

Pontus Boström, Jonatan Wiik · Software & Systems Modeling · 2015 · 18 citations

Contract-based Verification, Engineering, Verification +6

Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Péter Müller · Repository for Publications and Research Data (ETH Zurich) · 2014 · 15 citations · Full text

Program Checking, Engineering, Verification +17

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

Pontus Boström, Fredrik Degerlund, Kaisa Sere et al. · Formal Aspects of Computing · 2012 · 11 citations · Full text

Rows per page

1–5 of 6