Marina Waldén

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 10

Top Topics

Literature Review

Concurrent Programs

Top Venues

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications

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