Referentgranskade publikationer

A4 Konferenspublikationer
Specification and Automated Verification of Dynamic Dataflow Networks (2017)
Jonatan Wiik, Pontus Boström
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Contract-Based Verification of MATLAB-Style Matrix Programs (2016)
Jonatan Wiik, Pontus Boström
Formal Aspects of Computing
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Integrating Refinement-Based Methods for Developing Timed Systems (2016)
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
CRC Press
Visa på utgivarens sida
A4 Konferenspublikationer
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 Konferenspublikationer
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Contract-based verification of discrete-time multi-rate Simulink models (2015)
Pontus Boström, Jonatan Wiik
Software and Systems Modeling
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation of Parallel and Resilient Programs from Simulink Models (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Modular Verification of Finite Blocking in Non-terminating Programs (2015)
Pontus Boström, Peter Müller
LIPIcs
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Refinement-Based Development of Timed Systems (2012)
Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Contract-Based Verification of Simulink Models (2011)
Pontus Boström
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
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
Visa på utgivarens sida
A4 Konferenspublikationer
Creating Sequential Programs from Event-B Models (2010)
Pontus Boström
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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 Konferenspublikationer
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 Konferenspublikationer
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 Konferenspublikationer
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Stepwise Development of Simulink Models Using the Refinement Calculus Framework (2007)
Pontus Boström, Lionel Morel, Marina Waldén
Springer
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Detecting design flaws in control systems using optimisation methods (2006)
Bostrom P, Bjorkqvist J
A4 Konferenspublikationer
An Extension of Event B for Developing Grid Systems (2005)
Pontus Boström, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Development of Fault Tolernt Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Implementation of Control Systems using B Action Systems - A Case Study (2004)
Boström P, Waldén M
Nordic Journal of Computing


Övriga publikationer

B3 Icke-referentgranskade konferenspublikationer
Contract-Based Specification and Verification of Dataflow Programs (2016)
Jonatan Wiik, Pontus Boström
Reykjavik University, Iceland
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Specification and Automated Verification of Dynamic Dataflow Networks (2016)
Jonatan Wiik, Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modular Verification of Finite Blocking in Non-terminating Programs (2014)
Pontus Boström, Peter Müller
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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

Senast uppdaterad 2018-19-09 vid 19:44