Marina Walden

Senior Lecturer, Computer Science
Email: marina.walden@abo.fi
Mobile: +358-469208547
Phone: +358-2-2154675


Peer-reviewed publications

C2 Edited book
NWPT 2017 - Special issue (2019)
Waldén Marina
Elsevier
View on publisher's site
A4 Conference proceedings
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks (2018)
Jonatan Wiik, Johan Ersfolk, Marina Waldén
IEEE
View on publisher's site
C2 Edited book
Proceedings of the 29th Nordic Workshop on Programming Theory (2017)
Waldén Marina
Turku Centre for Computer Science
A4 Conference proceedings
Visual Component-Based Development of Formal Models (2017)
S. Ostroumov, M. Waldén
Iaria xps press
A3 Book section, Chapters in research books
A Provably Correct Resilience Mediator Pattern (2016)
Mats Neovius, Mauno Rönkkö, Marina Waldén
CRC Press
View on publisher's site
A4 Conference proceedings
Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition (2016)
Andrew Edmunds, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
On Component-Based Reuse for Event-B (2016)
Andrew Edmunds, Colin Snook, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Optimal Digital Valve Control Using Embedded GPU (2016)
Johan Ersfolk, Pontus Boström, Ville Timonen, Jan Westerholm, Jonatan Wiik, Otso Karhu, Matti Linjama, Marina Waldén
Tampereen teknillinen yliopisto
A4 Conference proceedings
Tailoring Complexity Metrics for Simulink Models (2016)
Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand
ACM
View on publisher's site
A4 Conference proceedings
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems (2016)
Andrew Edmunds, Marta Olszewska, Marina Walden
Iaria xps press
A4 Conference proceedings
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Springer
View on publisher's site
A4 Conference proceedings
Derivation of Parallel and Resilient Programs from Simulink Models (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
IEEE
View on publisher's site
A4 Conference proceedings
DevOps Meets Formal Modelling in High-Criticality Complex Systems (2015)
Marta Olszewska, Marina Waldén
ACM
View on publisher's site
A4 Conference proceedings
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System (2014)
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
View on publisher's site
A1 Journal article (refereed)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A3 Book section, Chapters in research books
Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila
IGI Global
A1 Journal article (refereed)
Kaisa Sere: In Memoriam. (2014)
Luigi Petre, Elena Troubitsyna, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A4 Conference proceedings
Verification and Validation of a Pressure Control Unit for Hydraulic Systems (2014)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
View on publisher's site
A4 Conference proceedings
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems (2013)
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
SCITEPRESS Digital Library
View on publisher's site
A4 Conference proceedings
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A3 Book section, Chapters in research books
Development of Controllers Using Simulink and Contract-Based Design (2011)
Pontus Boström, Mikko Huova, Marta (Plaska) Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Information science reference IGI
View on publisher's site
A3 Book section, Chapters in research books
Measuring the Progress of a System Development (2011)
Marta (Pląska) Olszewska, Marina Waldén
Information science reference IGI
View on publisher's site
A4 Conference proceedings
Contract-based Design in Controller Development and its Evaluation (2009)
Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Linköping university electronic press
A4 Conference proceedings
Controller Design of Digital Hydraulic Flow Control Valve (2009)
Huova M, Pląska M, Siivonen L, Linjama M, Waldén M, Vilenius M, Sere K
A4 Conference proceedings
Quality Analysis of Simulink Models (2009)
Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama
dpunkt.verlag GmbH
A4 Conference proceedings
Design and Implementation of Energy Saving Digital Hydraulic Control System (2007)
Matti Linjama, Mikko Huova, Pontus Boström, Arto Laamanen, Lauri Siivonen, Lionel Morel, Marina Waldén, Matti Vilenius
Tampere University of Technology
A4 Conference proceedings
Design and Validation of Digital Controllers for Hydraulics Systems (2007)
Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén
Tampere University of Technology
A4 Conference proceedings
Documenting the Progress of the System Development (2007)
Marta Pląska, Marina Waldén, Colin Snook
A4 Conference proceedings
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Stepwise Development of Simulink Models Using the Refinement Calculus Framework (2007)
Pontus Boström, Lionel Morel, Marina Waldén
Springer
Springer
View on publisher's site
A4 Conference proceedings
Visualising Program Transformations in a Stepwise Manner (2007)
Marta Pląska, Marina Waldén, Colin Snook
University of Oslo
A4 Conference proceedings
An Extension of Event B for Developing Grid Systems (2005)
Pontus Boström, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Development of Fault Tolernt Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
Springer
View on publisher's site
A1 Journal article (refereed)
Implementation of Control Systems using B Action Systems - A Case Study (2004)
Boström P, Waldén M
Nordic Journal of Computing


Other publications

D4 Published development or research report or study
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
D4 Published development or research report or study
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
D4 Published development or research report or study
Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
B3 Non-refereed conference proceedings
Towards Component-based Reuse for Event-B (2016)
Andrew Edmunds, Marina Walden, Colin Snook
Reykjavik University, Iceland
D4 Published development or research report or study
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
D4 Published development or research report or study
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Published development or research report or study
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden
D4 Published development or research report or study
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook
D4 Published development or research report or study
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Published development or research report or study
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Published development or research report or study
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén
D4 Published development or research report or study
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
D4 Published development or research report or study
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Published development or research report or study
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson

Last updated on 2018-19-09 at 19:50

Get in contact