Marina A. Waldén

2008
22	EE	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	EE	Colin F. Snook, Marina A. Waldén: Refinement of Statemachines Using Event B Semantics. B 2007: 171-185
20	EE	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	EE	Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93
18	EE	Fredrik Degerlund, Marina A. Waldén, Kaisa Sere: Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479
2006
17	EE	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	EE	Pontus Boström, Marina A. Waldén: Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186
14	EE	Pontus Boström, Marina A. Waldén: An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161
13	EE	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	EE	Juha Plosila, Kaisa Sere, Marina A. Waldén: Design with Asynchronously Communicating Components. FMCO 2002: 424-442
2001
8	EE	Kaisa Sere, Marina A. Waldén: Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001)
2000
7	EE	Kaisa Sere, Marina A. Waldén: Data Refinement of Remote Procedures. Formal Asp. Comput. 12(4): 278-297 (2000)
1999
6	EE	Luigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. Electr. Notes Theor. Comput. Sci. 28: (1999)
1998
5	EE	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	Juha Plosila	[9] [13]
12	Mauno Rönkkö	[22]
13	Kaisa Sere	[1] [2] [3] [4] [6] [7] [8] [9] [12] [13] [17] [18]
14	Colin F. Snook	[21]
15	Leonidas Tsiopoulos	[16]

Colors in the list of coauthors