Pontus Boström

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	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 A. Waldén: Concurrent Scheduling of Event-B Models. Refine 2011: 166-182
	2010
c5		Pontus Boström: Creating Sequential Programs from Event-B Models. IFM 2010: 74-88
	2007
c4		Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén: Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200
c3		Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93
	2005
c2		Pontus Boström, Marina A. Waldén: Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186
c1		Pontus Boström, Marina A. Waldén: An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161
	2004
j1		Pontus Boström, Marina A. Waldén: Implementation of Control Systems Using B Action Systems: A Case Study. Nord. J. Comput. 11(2): 75-101 (2004)

Coauthor Index

Last update Sat May 25 00:35:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page