Marina Walden

Publications

Research output per year 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2021

• 52 Conference contribution
• 36 Commissioned report
• 13 Article
• 9 Chapter
• 14 More
  • 8 Edited Book/Edited Journal
  • 2 Abstract
  • 1 Other contribution
  • 1 Doctoral Thesis
  • 1 Licenciate's thesis
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2019

  Agile Development of Formal Systems Models

  Snook, C., Walden, M., Edmunds, A. & Butler, M., 2019, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1202)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Simulation Mode 100%
  • Agile Development 40%
  • Teams 40%
  • Case Study 20%
  • Development Process 20%
  83 Downloads (Pure)
• 2018

  Improving the Modelling Experience in Event-B - A Literature Review

  Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2018, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1196)

  Research output: Book/Journal/Report › Commissioned report › Professional

  • Events 100%
  • Domains 50%
  • Event Instance 25%
  • Intensive System 25%
  • Generic Application 25%
• 2016

  Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting

  Olszewska, M., Ostroumov, S. & Walden, M., 2016, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1152)

  Research output: Book/Journal/Report › Commissioned report › Professional

  • Events 100%
  • Development Process 50%
  • Development Approach 50%
  • Agile Methods 50%
  • Understandability 50%
• 2015

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

  Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1136)

  Research output: Book/Journal/Report › Commissioned report › Professional

  File

  • Statistical Analysis 100%
  • Real Time 50%
  • Parameter Estimation 50%
  • Control System 50%
  • Inference 50%
  22 Downloads (Pure)

• Facilitating Formal Event-B Development by Visual Component-based Design

  Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1148)

  Research output: Book/Journal/Report › Commissioned report › Professional

  • Events 100%
  • Specifications 75%
  • Scalability 37%
  • Graphical Representation 25%
  • Communication 25%

• Formal Library of Visual Components

  Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1147)

  Research output: Book/Journal/Report › Commissioned report › Professional

  • Events 100%
  • Specifications 57%
  • Scalability 28%
  • Visual Component 28%
  • Communication 28%

• Modelling “Operation-Calls” in Event-B with Shared-Event Composition

  Edmunds, A. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1144)

  Research output: Book/Journal/Report › Commissioned report › Professional

  File

  • Events 100%
  • System Integrity 25%
  • Specifications 25%
  • Development Approach 12%
  • Component Interface 12%
  18 Downloads (Pure)

• Towards Component-Based Reuse for Event-B

  Edmunds, A., Snook, C. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1140)

  Research output: Book/Journal/Report › Commissioned report › Professional

  File

  • Events 100%
  • Simulation Mode 75%
  • Scalability 50%
  • Component Interface 25%
  • Partitioning 25%
  14 Downloads (Pure)
• 2014

  An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development

  Parsa, M., Walden, M. & Snook, C., 2014, Åbo Akademi University. (TUCS Technical Report; vol. 1127)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Development Process 100%
  • Visualization 100%
  • Simulation Mode 100%
  • Specification Language 66%
  • Formal Specification 66%
  38 Downloads (Pure)

• Deriving Efficient and Dependable Parallel Programs from Simulink Models

  Ostroumov, S., Boström, P., Walden, M. & Huova, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1111)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Application 100%
  • Simulation Mode 100%
  • Simulink 75%
  • Processing Core 50%
  • Case Study 25%
  70 Downloads (Pure)

• FormAgi – A Concept for More Flexible Formal Developments

  Olszewska, M. & Walden, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1124)

  Research output: Book/Journal/Report › Commissioned report › Professional

  File

  • Software Systems 100%
  • Development Process 100%
  • Agile Methods 100%
  • Development Framework 100%
  • Deadlines 100%
  139 Downloads (Pure)
• 2010

  An Event-B Model for On-Demand Streaming

  Sandvik, P., Sere, K. & Walden, M., 2010, Turku, Finland: Turku Centre for Computer Science. (TUCS Technical Reports; no. 994)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Simulation Mode 100%
  • Networks 66%
  • Events 66%
  • Service 66%
  • Distributed Systems 33%
  14 Downloads (Pure)
• 2007

  Quality Comparison and Evaluation of Digital Hydraulic Control Systems

  Olszewska, M. & Walden, M., 2007, Turku Centre for Computer Science (TUCS). 32 p. (TUCS Technical Report; vol. 857)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Quality 100%
  • Software Quality 50%
  • Software Product 50%
  • Stakeholder 25%
  • Control System 25%
  23 Downloads (Pure)

• Stepwise development of Simulink models using the refinement calculus framework

  Boström, P., Morel, L. & Walden, M., 2007, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 821)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Model 100%
  • Models 100%
  • Simulation Mode 100%
  • Contract 57%
  • Simulink 42%
  36 Downloads (Pure)
• 2006

  A Language for Modeling Network Availability

  Petre, L., Sere, K. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 752)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Networks 100%
  • Middleware 66%
  • User 66%
  • Distributed Systems 33%
  • Resource Availability 33%
  18 Downloads (Pure)

• Design and Validation of Digital Controllers for Hydraulics Systems

  Boström, P., Linjama, M., Morel, L., Siivonen, L. & Walden, M., 2006, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 800)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Design 100%
  • Reliability 66%
  • Hydraulics 66%
  • Models 66%
  • Complexity 66%
  33 Downloads (Pure)

• Formal Development of NoC Systems in B

  Tsiopoulos, L. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 751)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Complex Network 100%
  • Formal Framework 100%
  • Functional Requirement 100%
  7 Downloads (Pure)

• Formal Transformation of Platform Independent Models into Platform Specific Models in MDA

  Boström, P., Neovius, M., Oliver, I. & Walden, M., 2006, (TUCS Technical Report; vol. 759)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Simulation Mode 100%
  • Fault Tolerance 14%
  • Unified Modeling Language 14%
  • Transformations 14%
  • Formal Framework 7%
  16 Downloads (Pure)
• 2005

  Development of Fault Tolerant Grid Applications Using Distributed B

  Boström, P. & Walden, M., 2005, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 706)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Application 100%
  • Proof Obligation 33%
  • Scale Distributed System 33%
  • Formal Framework 33%
  • Remote Procedure 33%
  1 Citation (Scopus)

  17 Downloads (Pure)
• 2004

  An extension of Event B for developing grid system

  Walden, M. & Boström, P., 2004, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 632)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Grid Computing 100%
  • Events 75%
  • Distributed Systems 50%
  • Proof Obligation 25%
  • Computational Grid 25%
  19 Downloads (Pure)
• 2003

  A case study in requirement analysis of control systems using UML and B

  Snook, C., Tsiopoulos, L. & Walden, M., 2003, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 533)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Case Study 100%
  • Workstations 100%
  • Graphical Interface 100%
  • Requirements Analysis 100%
  • Critical System 100%
  33 Downloads (Pure)

• A Healthcare Case Study: Fillwell

  Boström, P., Jansson, M. & Walden, M., 2003, Turku Centre for Computer Science (TUCS). 59 p. (TUCS Technical Reports; vol. 569)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Case Study 100%
  • Workstations 66%
  • Graphical Interface 66%
  • Development Process 33%
  • Safety Critical Systems 33%
  32 Downloads (Pure)
• 2001

  A methodology for co-design based on a healthcare case study

  Petre, L., Rönkkö, M., Troubitsyna, E., Walden, M. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 437)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Specifications 100%
  • Case Study 66%
  • Development Process 66%
  • Dependable System 66%
  • Application Software 66%
  13 Downloads (Pure)

• A Methodology for integration of formal methods in a healthcare case study

  Petre, L., Troubitsyna, E., Walden, M., Boström, P., Engblom, N. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). 64 p. (TUCS Technical Reports; vol. 436)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Case Study 100%
  • Development Process 100%
  • Safety Critical Systems 100%
  • Systems Engineering 50%
  • Functional Requirement 50%
  18 Downloads (Pure)
• 2000

  Component-Based Asynchronous Circuit Design in B

  Plosila, J., Sere, K. & Walden, M., 2000, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 377)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Design 100%
  • Library Component 66%
  • Hardware Design 66%
  • Specifications 66%
  • Oriented Method 33%
  10 Downloads (Pure)

• Mobile Components as Topological Action Systems

  Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 366)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Providing Service 100%
  17 Downloads (Pure)
• 1999

  A Topological Approach to Distributed Computing

  Petre, L., Sere, K. & Walden, M., 1999, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 289)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Distributed Computing 100%
  • Networks 100%
  • Informal Description 50%
  • Computing 50%
  11 Downloads (Pure)
• 1997

  Data refinement of remote procedures

  Sere, K. & Walden, M., 1997, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 115)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Remote Procedure 100%
  • Parallelism 50%
  • Parallel and Distributed System 50%
  • Communication 50%
  • Design 50%
  15 Downloads (Pure)

• Layering distributed algorithms

  Walden, M., 1997, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 121)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Algorithms 100%
  • Distributed Systems 50%
  • Load Balancing 50%
  • Parallel and Distributed System 50%
  • Modularization 50%
  4 Downloads (Pure)
• 1996

  Deriving distributed systems using B-Method

  Walden, M. & Sere, K., 1996, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 31)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Parallel and Distributed System 100%
  • Case Study 50%
  • Distributed Systems 50%
  • Algorithms 50%
  • Load Balancing 50%
  9 Downloads (Pure)

• Distributed System Development in B

  Butler, M. & Walden, M., 1996, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 53)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Distributed Systems 100%
  • Parallel and Distributed System 100%
  • System Development 50%
  • Proof Obligation 50%
  • Embedding 50%
  4 Downloads (Pure)
• 1995

  Formal Derivation of a Distributed Load Balancing Algorithm

  Walden, M., 1995, Turku: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A95-172)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Algorithms 100%
  • Distributed Systems 66%
  • Load Balancing 66%
  • Programs 66%
  • Parallel and Distributed System 33%
  3 Downloads (Pure)
• 1994

  Reverse engineering Distributed Algorithms

  Sere, K. & Walden, M., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A; vol. 151)

  Research output: Book/Journal/Report › Commissioned report › Professional

• Specification of a program derivation editor

  Butler, M., Hedman, E., Nilsson, P., Ruksenas, R., Walden, M. & Zhao, Y., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A94 - 157)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Program Derivation 100%
  • Programs 66%
  • Transitive Relation 33%
  • Specifications 33%
  4 Downloads (Pure)

• Verification of a Distributed Algorithm due to Chu

  Sere, K. & Walden, M., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A94 - 156)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Distributed Algorithm 100%
  6 Downloads (Pure)
• 1988

  Design and implementation of Full-Text Retrieval on Transputer Networks

  Walden, M. & Sere, K., 1988, Åbo: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A88 - 63; no. 63)

  Research output: Book/Journal/Report › Commissioned report › Professional