BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × France
1 × Italy
1 × The Netherlands
Collaborated with:
M.A.Waldén P.Müller S.Ostroumov J.Berthing K.Sere L.Tsiopoulos J.Vain
Talks about:
program (3) develop (2) model (2) distribut (1) simulink (1) sequenti (1) parallel (1) modular (1) termin (1) system (1)

Person: Pontus Boström

DBLP DBLP: Bostr=ouml=m:Pontus

Contributed to:

ECOOP 20152015
PDP 20152015
IFM 20122012
IFM 20102010
IFM 20052005

Wrote 5 papers:

ECOOP-2015-BostromM #composition #finite #source code #verification
Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
PDP-2015-OstroumovBW #modelling #parallel #source code
Derivation of Parallel and Resilient Programs from Simulink Models (SO, PB, MAW), pp. 416–420.
IFM-2012-BerthingBSTV #development
Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.
IFM-2010-Bostrom #modelling #source code
Creating Sequential Programs from Event-B Models (PB), pp. 74–88.
IFM-2005-BostromW #development #distributed #fault tolerance #grid #using
Development of Fault Tolerant Grid Applications Using Distributed B (PB, MAW), pp. 167–186.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.