Marina A. Waldén

Marina A. Waldén, Luigia Petre: Guest Editors' Foreword. J. Log. Algebr. Program. 81(3): 161 (2012)

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina A. Waldén: Concurrent Scheduling of Event-B Models. Refine 2011: 166-182

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

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)

Colin F. Snook, Marina A. Waldén: Refinement of Statemachines Using Event B Semantics. B 2007: 171-185

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

Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93

Fredrik Degerlund, Marina A. Waldén, Kaisa Sere: Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479

Leonidas Tsiopoulos, Marina A. Waldén: Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006)

Luigia Petre, Kaisa Sere, Marina A. Waldén: A Language for Modeling Network Availability. ICFEM 2006: 639-659

Juha Plosila, Kaisa Sere, Marina A. Waldén: Asynchronous system synthesis. Sci. Comput. Program. 55(1-3): 259-288 (2005)

Pontus Boström, Marina A. Waldén: Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186

Pontus Boström, Marina A. Waldén: An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161

Kaisa Sere, Marina A. Waldén: Guest Editors' Foreword. Nord. J. Comput. 11(2): 73-74 (2004)

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)

Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (Eds.): 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. Lecture Notes in Computer Science 2651, Springer 2003, isbn 3-540-40253-5

Juha Plosila, Kaisa Sere, Marina A. Waldén: Design with Asynchronously Communicating Components. FMCO 2002: 424-442

Kaisa Sere, Marina A. Waldén: Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001)

Kaisa Sere, Marina A. Waldén: Data Refinement of Remote Procedures. Formal Asp. Comput. 12(4): 278-297 (2000)

Luigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. Electr. Notes Theor. Comput. Sci. 28: 59-80 (1999)

Marina A. Waldén, Kaisa Sere: Reasoning about Action Systems using the B-Method. Formal Methods in System Design 13(1): 5-35 (1998)

Marina A. Waldén: Layering Distributed Algorithms within the B-Method. B 1998: 243-260

Kaisa Sere, Marina A. Waldén: Data Refinement and Remote Procedures. TACS 1997: 267-294

Kaisa Sere, Marina A. Waldén: Reverse Engineering Distributed Algorithms. Journal of Software Maintenance 8(2): 117-144 (1996)

Marina A. Waldén, Kaisa Sere: Refining Action Systems within B-Tool. FME 1996: 85-104

Kaisa Sere, Marina A. Waldén: Verification of a Distributed Algorithm (Abstract). PODC 1994: 391