Edit Profile Boström, Pontus Compute Distance To: Compute Author ID: bostrom.pontus Published as: Boström, Pontus Documents Indexed: 4 Publications since 2004 Co-Authors 0 single-authored 3 Waldén, Marina 1 Degerlund, Fredrik 1 Morel, Lionel 1 Sere, Kaisa 1 Wiik, Jonatan Serials 2 Formal Aspects of Computing 1 Nordic Journal of Computing Fields 3 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ Stepwise development of Simulink models using the refinement calculus framework. Zbl 1147.68826Boström, Pontus; Morel, Lionel; Waldén, Marina 2 2007 Contract-based verification of MATLAB-style matrix programs. Zbl 1338.65116Wiik, Jonatan; Boström, Pontus 1 2016 Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina 1 2014 Contract-based verification of MATLAB-style matrix programs. Zbl 1338.65116Wiik, Jonatan; Boström, Pontus 1 2016 Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina 1 2014 Stepwise development of Simulink models using the refinement calculus framework. Zbl 1147.68826Boström, Pontus; Morel, Lionel; Waldén, Marina 2 2007 all top 5 Cited by 9 Authors 2 Cavalcanti, Ana 1 Boström, Pontus 1 Clayton, Phil 1 Dobrikov, Ivaylo 1 Leuschel, Michael 1 Mota, Alexandre C. 1 O’Halloran, Colin 1 Wiik, Jonatan 1 Woodcock, James C. P. Cited in 1 Serial 3 Formal Aspects of Computing Cited in 2 Fields 4 Computer science (68-XX) 1 Numerical analysis (65-XX) Citations by Year