Marina A. Waldén

	2009
23		Marta Plaska, Marina A. Waldén, Colin F. Snook: Documenting the Progress of the System Development. Methods, Models and Tools for Fault Tolerance 2009: 251-274
	2008
22		Mauno Rönkkö, Marina A. Waldén, Ralph-Johan Back: Beyond particle systems: Operator networks. Simulation Modelling Practice and Theory 16(7): 834-847 (2008)
	2007
21		Colin F. Snook, Marina A. Waldén: Refinement of Statemachines Using Event B Semantics. B 2007: 171-185
20		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
19		Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93
18		Fredrik Degerlund, Marina A. Waldén, Kaisa Sere: Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479
	2006
17		Luigia Petre, Kaisa Sere, Marina A. Waldén: A Language for Modeling Network Availability. ICFEM 2006: 639-659
16		Leonidas Tsiopoulos, Marina A. Waldén: Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006)
	2005
15		Pontus Boström, Marina A. Waldén: Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186
14		Pontus Boström, Marina A. Waldén: An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161
13		Juha Plosila, Kaisa Sere, Marina A. Waldén: Asynchronous system synthesis. Sci. Comput. Program. 55(1-3): 259-288 (2005)
	2004
12		Kaisa Sere, Marina A. Waldén: Guest Editors' Foreword. Nord. J. Comput. 11(2): 73-74 (2004)
11		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)
	2003
10		Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Springer 2003
	2002
9		Juha Plosila, Kaisa Sere, Marina A. Waldén: Design with Asynchronously Communicating Components. FMCO 2002: 424-442
	2001
8		Kaisa Sere, Marina A. Waldén: Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001)
	2000
7		Kaisa Sere, Marina A. Waldén: Data Refinement of Remote Procedures. Formal Asp. Comput. 12(4): 278-297 (2000)
	1999
6		Luigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. Electr. Notes Theor. Comput. Sci. 28: (1999)
	1998
5		Marina A. Waldén: Layering Distributed Algorithms within the B-Method. B 1998: 243-260
4		Marina A. Waldén, Kaisa Sere: Reasoning about Action Systems using the B-Method. Formal Methods in System Design 13(1): 5-35 (1998)
	1997
3		Kaisa Sere, Marina A. Waldén: Data Refinement and Remote Procedures. TACS 1997: 267-294
	1996
2		Marina A. Waldén, Kaisa Sere: Refining Action Systems within B-Tool. FME 1996: 85-104
	1994
1		Kaisa Sere, Marina A. Waldén: Verification of a Distributed Algorithm (Abstract). PODC 1994: 391

Coauthor Index

1	Ralph-Johan Back	[22]
2	Didier Bert	[10]
3	Pontus Boström	[11] [14] [15] [19] [20]
4	Jonathan P. Bowen	[10]
5	Fredrik Degerlund	[18]
6	Steve King	[10]
7	Lionel Morel	[19]
8	Mats Neovius	[20]
9	Ian Oliver	[20]
10	Luigia Petre	[6] [17]
11	Marta Plaska	[23]
12	Juha Plosila	[9] [13]
13	Mauno Rönkkö	[22]
14	Kaisa Sere	[1] [2] [3] [4] [6] [7] [8] [9] [12] [13] [17] [18]
15	Colin F. Snook	[21] [23]
16	Leonidas Tsiopoulos	[16]

Colors in the list of coauthors