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: Bostr=ouml=m:Pontus
Contributed to:
2015
2015
201220102005Wrote 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.