Free text retrieval on transputer networks. - Marina Waldén; Kaisa Sere (Microprocess. Microsystems, 1989)

Verification of a Distributed Algorithm (Abstract). - Kaisa Sere; Marina Waldén (PODC, 1994)

Refining Action Systems within B-Tool. - Marina Waldén; Kaisa Sere (FME, 1996)

Reverse Engineering Distributed Algorithms. - Kaisa Sere; Marina Waldén (J. Softw. Maintenance Res. Pract., 1996)

Data Refinement and Remote Procedures. - Kaisa Sere; Marina Waldén (TACS, 1997)

Layering Distributed Algorithms within the B-Method. - Marina Waldén (B, 1998)

Reasoning about Action Systems using the B-Method. - Marina Waldén; Kaisa Sere (Formal Methods Syst. Des., 1998)

A topological approach to distributed computing. - Luigia Petre; Kaisa Sere; Marina Waldén (WDS@FCT, 1999)

Data Refinement of Remote Procedures. - Kaisa Sere; Marina Waldén (Formal Aspects Comput., 2000)

Structuring and Verifying Distributed Algorithms. - Kaisa Sere; Marina Waldén (Nord. J. Comput., 2001)

Design with Asynchronously Communicating Components. - Juha Plosila; Kaisa Sere; Marina Waldén (FMCO, 2002)

Implementation of Control Systems Using B Action Systems: A Case Study. - Pontus Boström; Marina Waldén (Nord. J. Comput., 2004)

Guest Editors' Foreword. - Kaisa Sere; Marina Waldén (Nord. J. Comput., 2004)

Development of Fault Tolerant Grid Applications Using Distributed B. - Pontus Boström; Marina Waldén (IFM, 2005)

An Extension of Event B for Developing Grid Systems. - Pontus Boström; Marina Waldén (ZB, 2005)

Asynchronous system synthesis. - Juha Plosila; Kaisa Sere; Marina Waldén (Sci. Comput. Program., 2005)

A Language for Modeling Network Availability. - Luigia Petre; Kaisa Sere; Marina Waldén (ICFEM, 2006)

Formal Development of NoC Systems in B. - Leonidas Tsiopoulos; Marina Waldén (Nord. J. Comput., 2006)

Formal Transformation of Platform Independent Models into Platform Specific Models. - Pontus Boström; Mats Neovius; Ian Oliver; Marina Waldén (B, 2007)

Refinement of Statemachines Using Event B Semantics. - Colin F. Snook; Marina Waldén (B, 2007)

Stepwise Development of Simulink Models Using the Refinement Calculus Framework. - Pontus Boström; Lionel Morel; Marina Waldén (ICTAC, 2007)

Implementation Issues Concerning the Action Systems Formalism. - Fredrik Degerlund; Marina Waldén; Kaisa Sere (PDCAT, 2007)

Beyond particle systems: Operator networks. - Mauno Rönkkö; Marina Waldén; Ralph-Johan Back (Simul. Model. Pract. Theory, 2008)

Documenting the Progress of the System Development. - Marta Plaska; Marina Waldén; Colin F. Snook (Methods, Models and Tools for Fault Tolerance, 2009)

Concurrent Scheduling of Event-B Models - Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Waldén (Refine@FM, 2011)

Guest Editors' Foreword. - Marina Waldén; Luigia Petre (J. Log. Algebraic Methods Program., 2012)

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. - Petr Alexeev; Pontus Boström; Marina Waldén; Mikko Huova; Matti Linjama; Kaisa Sere (PECCS, 2013)

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. - Pontus Boström; Petr Alexeev; Mikko Heikkilä; Mikko Huova; Marina Waldén; Matti Linjama (FMICS, 2014)

Verification and Validation of a Pressure Control Unit for Hydraulic Systems. - Pontus Boström; Mikko Heikkilä; Mikko Huova; Marina Waldén; Matti Linjama (SERENE, 2014)

Derivation of concurrent programs by stepwise scheduling of Event-B models. - Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Waldén (Formal Aspects Comput., 2014)

Kaisa Sere: In Memoriam. - Luigia Petre; Elena Troubitsyna; Marina Waldén (Formal Aspects Comput., 2014)

Derivation of Parallel and Resilient Programs from Simulink Models. - Sergey Ostroumov; Pontus Boström; Marina Waldén (PDP, 2015)

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. - Pontus Boström; Mikko Heikkilä; Mikko Huova; Marina Waldén; Matti Linjama (QEST, 2015)

DevOps meets formal modelling in high-criticality complex systems. - Marta Olszewska; Marina Waldén (QUDOS@SIGSOFT FSE, 2015)

A Provably Correct Resilience Mediator Pattern. - Mats Neovius; Mauno Rönkkö; Marina Waldén (From Action Systems to Distributed Systems, 2016)

On Component-Based Reuse for Event-B. - Andrew Edmunds; Colin F. Snook; Marina Waldén (ABZ, 2016)

Tailoring complexity metrics for simulink models. - Marta Olszewska; Yanja Dajsuren; Harald Altinger; Alexander Serebrenik; Marina Waldén; Mark G. J. van den Brand (ECSA Workshops, 2016)

Using Scrum to Develop a Formal Model - An Experience Report. - Marta Olszewska; Sergey Ostroumov; Marina Waldén (PROFES, 2016)

Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. - Andrew Edmunds; Marina Waldén (SBMF, 2016)

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. - Jonatan Wiik; Johan Ersfolk; Marina Waldén (MEMOCODE, 2018)

Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach. - Johan Ersfolk; Miika Ahopelto; Wictor Lund; Jonatan Wiik; Marina Waldén; Matti Linjama; Jan Westerholm (CoRR, 2018)

NWPT 2017 - Special issue. - Marina Waldén (J. Log. Algebraic Methods Program., 2019)

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. - Fatima Shokri-Manninen; Leonidas Tsiopoulos; Jüri Vain; Marina Waldén (ABZ, 2020)

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. - Fatima Shokri-Manninen; Jüri Vain; Marina Waldén (SEFM, 2020)

Applying guidelines for system modelling in Event-B - a systematic literature review. - Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Waldén (Int. J. Crit. Comput. Based Syst., 2020)

A Layering Approach with Role-based Workflow Modelling for the Enterprise Workflow. - Yevheniia Yehorova; Marina Waldén (SIMULTECH, 2024)