default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPontus Boström
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c16]Jonatan Wiik, Pontus Boström
:
Specification and Automated Verification of Dynamic Dataflow Networks. SEFM 2017: 136-151- 2016
- [j4]Jonatan Wiik, Pontus Boström:
Contract-based verification of MATLAB-style matrix programs. Formal Aspects Comput. 28(1): 79-107 (2016) - [j3]Pontus Boström, Jonatan Wiik:
Contract-based verification of discrete-time multi-rate Simulink models. Softw. Syst. Model. 15(4): 1141-1161 (2016) - [p1]Jüri Vain, Leonidas Tsiopoulos, Pontus Boström:
Integrating Refinement-Based Methods for Developing Timed Systems. From Action Systems to Distributed Systems 2016: 171-185 - 2015
- [c15]Pontus Boström, Peter Müller:
Modular Verification of Finite Blocking in Non-terminating Programs. ECOOP 2015: 639-663 - [c14]Sergey Ostroumov, Pontus Boström, Marina Waldén:
Derivation of Parallel and Resilient Programs from Simulink Models. PDP 2015: 416-420 - [c13]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: 312-328 - 2014
- [j2]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): 281-303 (2014) - [c12]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: 33-47 - [c11]Jonatan Wiik, Pontus Boström:
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. ICFEM 2014: 396-412 - [c10]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: 101-115 - 2013
- [c9]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: 189-194 - 2012
- [c8]Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain:
Refinement-Based Development of Timed Systems. IFM 2012: 69-83 - 2011
- [c7]Pontus Boström:
Contract-Based Verification of Simulink Models. ICFEM 2011: 291-306 - [c6]Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén:
Concurrent Scheduling of Event-B Models. Refine@FM 2011: 166-182 - 2010
- [c5]Pontus Boström:
Creating Sequential Programs from Event-B Models. IFM 2010: 74-88
2000 – 2009
- 2007
- [c4]Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén:
Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200 - [c3]Pontus Boström, Lionel Morel, Marina Waldén:
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93 - 2005
- [c2]Pontus Boström, Marina Waldén:
Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186 - [c1]Pontus Boström, Marina Waldén:
An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161 - 2004
- [j1]Pontus Boström, Marina Waldén:
Implementation of Control Systems Using B Action Systems: A Case Study. Nord. J. Comput. 11(2): 75-101 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
