Marina Waldén

Affiliations:
  • Åbo Akademi University, Turku, Finland


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
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

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

2018
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

2016
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

2015
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

2014
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

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

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

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

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

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

2007
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

2006
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

2005
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

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

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

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

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

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

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

1998
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

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

1996
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

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

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


  Loading...