Marina Waldén

48 papers A* 1B 3C 9Journal 16Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control.
PoEM Companion
Yevheniia Yehorova, Marina Waldén
2024 C conf
A Layering Approach with Role-based Workflow Modelling for the Enterprise Workflow.
SIMULTECH
Yevheniia Yehorova, Marina Waldén
2020 J jnl
Applying guidelines for system modelling in Event-B - a systematic literature review.
Int. J. Crit. Comput. Based Syst.
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
2020 B conf
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.
SEFM
Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
2020 C conf
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.
ABZ
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
2019 J jnl
NWPT 2017 - Special issue.
J. Log. Algebraic Methods Program.
Marina Waldén
2018 C conf
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks.
MEMOCODE
Jonatan Wiik, Johan Ersfolk, Marina Waldén
2018 J jnl
Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach.
CoRR
Johan Ersfolk, Miika Ahopelto, Wictor Lund, Jonatan Wiik, Marina Waldén, Matti Linjama, Jan Westerholm
2016 — ch.
A Provably Correct Resilience Mediator Pattern.
From Action Systems to Distributed Systems
Mats Neovius, Mauno Rönkkö, Marina Waldén
2016 — conf
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.
SBMF
Andrew Edmunds, Marina Waldén
2016 C conf
On Component-Based Reuse for Event-B.
ABZ
Andrew Edmunds, Colin F. Snook, Marina Waldén
2016 — conf
Tailoring complexity metrics for simulink models.
ECSA Workshops
Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand
2016 B conf
Using Scrum to Develop a Formal Model - An Experience Report.
PROFES
Marta Olszewska, Sergey Ostroumov, Marina Waldén
2015 — conf
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.
QEST
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
2015 C conf
Derivation of Parallel and Resilient Programs from Simulink Models.
PDP
Sergey Ostroumov, Pontus Boström, Marina Waldén
2015 — conf
DevOps meets formal modelling in high-criticality complex systems.
QUDOS@SIGSOFT FSE
Marta Olszewska, Marina Waldén
2014 C conf
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.
FMICS
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
2014 J jnl
Derivation of concurrent programs by stepwise scheduling of Event-B models.
Formal Aspects Comput.
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
2014 J jnl
Kaisa Sere: In Memoriam.
Formal Aspects Comput.
Luigia Petre, Elena Troubitsyna, Marina Waldén
2014 — conf
Verification and Validation of a Pressure Control Unit for Hydraulic Systems.
SERENE
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
2013 — conf
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.
PECCS
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
2012 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Marina Waldén, Luigia Petre
2011 — conf
Concurrent Scheduling of Event-B Models
Refine@FM
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
2009 — ch.
Documenting the Progress of the System Development.
Methods, Models and Tools for Fault Tolerance
Marta Plaska, Marina Waldén, Colin F. Snook
2008 J jnl
Beyond particle systems: Operator networks.
Simul. Model. Pract. Theory
Mauno Rönkkö, Marina Waldén, Ralph-Johan Back
2007 — conf
Formal Transformation of Platform Independent Models into Platform Specific Models.
B
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
2007 C conf
Implementation Issues Concerning the Action Systems Formalism.
PDCAT
Fredrik Degerlund, Marina Waldén, Kaisa Sere
2007 — conf
Refinement of Statemachines Using Event B Semantics.
B
Colin F. Snook, Marina Waldén
2007 C conf
Stepwise Development of Simulink Models Using the Refinement Calculus Framework.
ICTAC
Pontus Boström, Lionel Morel, Marina Waldén
2006 C conf
A Language for Modeling Network Availability.
ICFEM
Luigia Petre, Kaisa Sere, Marina Waldén
2006 J jnl
Formal Development of NoC Systems in B.
Nord. J. Comput.
Leonidas Tsiopoulos, Marina Waldén
2005 — conf
An Extension of Event B for Developing Grid Systems.
ZB
Pontus Boström, Marina Waldén
2005 J jnl
Asynchronous system synthesis.
Sci. Comput. Program.
Juha Plosila, Kaisa Sere, Marina Waldén
2005 B conf
Development of Fault Tolerant Grid Applications Using Distributed B.
IFM
Pontus Boström, Marina Waldén
2004 J jnl
Guest Editors' Foreword.
Nord. J. Comput.
Kaisa Sere, Marina Waldén
2004 J jnl
Implementation of Control Systems Using B Action Systems: A Case Study.
Nord. J. Comput.
Pontus Boström, Marina Waldén
2003 — ed.
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
ZB
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
2002 — conf
Design with Asynchronously Communicating Components.
FMCO
Juha Plosila, Kaisa Sere, Marina Waldén
2001 J jnl
Structuring and Verifying Distributed Algorithms.
Nord. J. Comput.
Kaisa Sere, Marina Waldén
2000 J jnl
Data Refinement of Remote Procedures.
Formal Aspects Comput.
Kaisa Sere, Marina Waldén
1999 — conf
A topological approach to distributed computing.
WDS@FCT
Luigia Petre, Kaisa Sere, Marina Waldén
1998 — conf
Layering Distributed Algorithms within the B-Method.
B
Marina Waldén
1998 J jnl
Reasoning about Action Systems using the B-Method.
Formal Methods Syst. Des.
Marina Waldén, Kaisa Sere
1997 — conf
Data Refinement and Remote Procedures.
TACS
Kaisa Sere, Marina Waldén
1996 — conf
Refining Action Systems within B-Tool.
FME
Marina Waldén, Kaisa Sere
1996 J jnl
Reverse Engineering Distributed Algorithms.
J. Softw. Maintenance Res. Pract.
Kaisa Sere, Marina Waldén
1994 A* conf
Verification of a Distributed Algorithm (Abstract).
PODC
Kaisa Sere, Marina Waldén
1989 J jnl
Free text retrieval on transputer networks.
Microprocess. Microsystems
Marina Waldén, Kaisa Sere