Marina Waldén

  • Åbo Akademi University, Turku, Finland

According to our database1, Marina Waldén authored at least 45 papers between 1989 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Applying guidelines for system modelling in Event-B - a systematic literature review.
Int. J. Crit. Comput. Based Syst., 2020

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

NWPT 2017 - Special issue.
J. Log. Algebraic Methods Program., 2019

Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach.
CoRR, 2018

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Using Scrum to Develop a Formal Model - An Experience Report.
Proceedings of the Product-Focused Software Process Improvement, 2016

Tailoring complexity metrics for simulink models.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

On Component-Based Reuse for Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

A Provably Correct Resilience Mediator Pattern.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

DevOps meets formal modelling in high-criticality complex systems.
Proceedings of the 1st International Workshop on Quality-Aware DevOps, 2015

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Derivation of Parallel and Resilient Programs from Simulink Models.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Kaisa Sere: In Memoriam.
Formal Aspects Comput., 2014

Derivation of concurrent programs by stepwise scheduling of Event-B models.
Formal Aspects Comput., 2014

Verification and Validation of a Pressure Control Unit for Hydraulic Systems.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.
Proceedings of the PECCS 2013, 2013

Guest Editors' Foreword.
J. Log. Algebraic Methods Program., 2012

Concurrent Scheduling of Event-B Models
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Documenting the Progress of the System Development.
Proceedings of the Methods, 2009

Beyond particle systems: Operator networks.
Simul. Model. Pract. Theory, 2008

Implementation Issues Concerning the Action Systems Formalism.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Stepwise Development of Simulink Models Using the Refinement Calculus Framework.
Proceedings of the Theoretical Aspects of Computing, 2007

Refinement of Statemachines Using Event B Semantics.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

Formal Transformation of Platform Independent Models into Platform Specific Models.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

Formal Development of NoC Systems in B.
Nord. J. Comput., 2006

A Language for Modeling Network Availability.
Proceedings of the Formal Methods and Software Engineering, 2006

Asynchronous system synthesis.
Sci. Comput. Program., 2005

An Extension of Event B for Developing Grid Systems.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development of Fault Tolerant Grid Applications Using Distributed B.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Guest Editors' Foreword.
Nord. J. Comput., 2004

Implementation of Control Systems Using B Action Systems: A Case Study.
Nord. J. Comput., 2004

Design with Asynchronously Communicating Components.
Proceedings of the Formal Methods for Components and Objects, 2002

Structuring and Verifying Distributed Algorithms.
Nord. J. Comput., 2001

Data Refinement of Remote Procedures.
Formal Aspects Comput., 2000

A topological approach to distributed computing.
Electron. Notes Theor. Comput. Sci., 1999

Reasoning about Action Systems using the B-Method.
Formal Methods Syst. Des., 1998

Layering Distributed Algorithms within the B-Method.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

Data Refinement and Remote Procedures.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Reverse Engineering Distributed Algorithms.
J. Softw. Maintenance Res. Pract., 1996

Refining Action Systems within B-Tool.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Verification of a Distributed Algorithm (Abstract).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Free text retrieval on transputer networks.
Microprocess. Microsystems, 1989