dblp.uni-trier.dewww.uni-trier.de

Marina A. Waldén

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
22EEMauno 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
21EEColin F. Snook, Marina A. Waldén: Refinement of Statemachines Using Event B Semantics. B 2007: 171-185
20EEPontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén: Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200
19EEPontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93
18EEFredrik Degerlund, Marina A. Waldén, Kaisa Sere: Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479
2006
17EELuigia 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
15EEPontus Boström, Marina A. Waldén: Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186
14EEPontus Boström, Marina A. Waldén: An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161
13EEJuha 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
9EEJuha Plosila, Kaisa Sere, Marina A. Waldén: Design with Asynchronously Communicating Components. FMCO 2002: 424-442
2001
8EEKaisa Sere, Marina A. Waldén: Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001)
2000
7EEKaisa Sere, Marina A. Waldén: Data Refinement of Remote Procedures. Formal Asp. Comput. 12(4): 278-297 (2000)
1999
6EELuigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. Electr. Notes Theor. Comput. Sci. 28: (1999)
1998
5EEMarina 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)