default search action
Pontus 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
Contract-based verification of MATLAB-style matrix programs. Formal Aspects Comput. 28(1): 79-107 (2016) - [j3]Pontus Boström
Contract-based verification of discrete-time multi-rate Simulink models. Softw. Syst. Model. 15(4): 1141-1161 (2016) - [p1]Jüri Vain
Integrating Refinement-Based Methods for Developing Timed Systems. From Action Systems to Distributed Systems 2016: 171-185 - 2015
- [c15]Pontus Boström
Modular Verification of Finite Blocking in Non-terminating Programs. ECOOP 2015: 639-663 - [c14]Sergey Ostroumov, Pontus Boström
Derivation of Parallel and Resilient Programs from Simulink Models. PDP 2015: 416-420 - [c13]Pontus Boström
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. QEST 2015: 312-328 - 2014
- [j2]Pontus Boström
Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput. 26(2): 281-303 (2014) - [c12]Pontus Boström
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
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
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
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
Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200 - [c3]Pontus Boström
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93 - 2005
- [c2]Pontus Boström
Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186 - [c1]Pontus Boström
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-25 05:53 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: