Marina Waldén

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.

Fatima Shokri-Manninen, Jüri Vain, Marina Waldén

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.

Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

NWPT 2017 - Special issue.

Marina Waldén

J. Log. Algebraic Methods Program., 2019

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

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks.

Jonatan Wiik, Johan Ersfolk, Marina Waldén

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

2016

Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.

Andrew Edmunds, Marina Waldén

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Using Scrum to Develop a Formal Model - An Experience Report.

Marta Olszewska, Sergey Ostroumov, Marina Waldén

Proceedings of the Product-Focused Software Process Improvement, 2016

Tailoring complexity metrics for simulink models.

Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand

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.

Andrew Edmunds, Colin F. Snook, Marina Waldén

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

A Provably Correct Resilience Mediator Pattern.

Mats Neovius, Mauno Rönkkö, Marina Waldén

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

DevOps meets formal modelling in high-criticality complex systems.

Marta Olszewska, Marina Waldén

Proceedings of the 1st International Workshop on Quality-Aware DevOps, 2015

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.

Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Derivation of Parallel and Resilient Programs from Simulink Models.

Sergey Ostroumov, Pontus Boström, Marina Waldén

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

Kaisa Sere: In Memoriam.

Luigia Petre, Elena Troubitsyna, Marina Waldén

Formal Aspects Comput., 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

Verification and Validation of a Pressure Control Unit for Hydraulic Systems.

Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

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

Proceedings of the PECCS 2013, 2013

2012

Guest Editors' Foreword.

Marina Waldén, Luigia Petre

J. Log. Algebraic Methods Program., 2012

2011

Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2009

Documenting the Progress of the System Development.

Marta Plaska, Marina Waldén, Colin F. Snook

Proceedings of the Methods, 2009

2008

Beyond particle systems: Operator networks.

Mauno Rönkkö, Marina Waldén, Ralph-Johan Back

Simul. Model. Pract. Theory, 2008

2007

Implementation Issues Concerning the Action Systems Formalism.

Fredrik Degerlund, Marina Waldén, Kaisa Sere

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Stepwise Development of Simulink Models Using the Refinement Calculus Framework.

Pontus Boström, Lionel Morel, Marina Waldén

Proceedings of the Theoretical Aspects of Computing, 2007

Refinement of Statemachines Using Event B Semantics.

Colin F. Snook, Marina Waldén

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Formal Transformation of Platform Independent Models into Platform Specific Models.

Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Formal Development of NoC Systems in B.

Leonidas Tsiopoulos, Marina Waldén

Nord. J. Comput., 2006

A Language for Modeling Network Availability.

Luigia Petre, Kaisa Sere, Marina Waldén

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Asynchronous system synthesis.

Juha Plosila, Kaisa Sere, Marina Waldén

Sci. Comput. Program., 2005

An Extension of Event B for Developing Grid Systems.

Pontus Boström, Marina Waldén

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development of Fault Tolerant Grid Applications Using Distributed B.

Pontus Boström, Marina Waldén

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Guest Editors' Foreword.

Kaisa Sere, Marina Waldén

Nord. J. Comput., 2004

Implementation of Control Systems Using B Action Systems: A Case Study.

Pontus Boström, Marina Waldén

Nord. J. Comput., 2004

2002

Design with Asynchronously Communicating Components.

Juha Plosila, Kaisa Sere, Marina Waldén

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Structuring and Verifying Distributed Algorithms.

Kaisa Sere, Marina Waldén

Nord. J. Comput., 2001

2000

Data Refinement of Remote Procedures.

Kaisa Sere, Marina Waldén

Formal Aspects Comput., 2000

1999

A topological approach to distributed computing.

Luigia Petre, Kaisa Sere, Marina Waldén

Proceedings of the Workshop on Distributed Systems, 1999

1998

Reasoning about Action Systems using the B-Method.

Marina Waldén, Kaisa Sere

Formal Methods Syst. Des., 1998

Layering Distributed Algorithms within the B-Method.

Marina Waldén

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Data Refinement and Remote Procedures.

Kaisa Sere, Marina Waldén

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Reverse Engineering Distributed Algorithms.

Kaisa Sere, Marina Waldén

J. Softw. Maintenance Res. Pract., 1996

Refining Action Systems within B-Tool.

Marina Waldén, Kaisa Sere

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

Verification of a Distributed Algorithm (Abstract).

Kaisa Sere, Marina Waldén

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1989

Free text retrieval on transputer networks.

Marina Waldén, Kaisa Sere

Microprocess. Microsystems, 1989