Marina Walden

Publikationer

Publikationer per år 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2021

• 52 Konferensbidrag
• 36 Beställd rapport
• 13 Artikel
• 9 Kapitel
• 14 Mer
  • 8 Antologi/redigerad tidskrift
  • 2 Sammanfattning
  • 1 Övriga bidrag
  • 1 Doktorsavhandling
  • 1 Licentiatuppsats
  • 1 Arbetsdokument

Publikationer per år

Publikationer per år

Sökresultat

• Beställd rapport

  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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Case Study 100%
  • Workstations 100%
  • Graphical Interface 100%
  • Requirements Analysis 100%
  • Critical System 100%
  30 Nedladdningar (Pure)

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Simulation Mode 100%
  • Agile Development 40%
  • Teams 40%
  • Case Study 20%
  • Development Process 20%
  77 Nedladdningar (Pure)

• A Healthcare Case Study: Fillwell

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• A Language for Modeling Network Availability

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Networks 100%
  • Middleware 66%
  • User 66%
  • Distributed Systems 33%
  • Resource Availability 33%
  17 Nedladdningar (Pure)

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Specifications 100%
  • Case Study 66%
  • Development Process 66%
  • Dependable System 66%
  • Application Software 66%
  13 Nedladdningar (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 s. (TUCS Technical Reports; vol. 436)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• 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; nr. 994)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Simulation Mode 100%
  • Networks 66%
  • Events 66%
  • Service 66%
  • Distributed Systems 33%
  10 Nedladdningar (Pure)

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Grid Computing 100%
  • Events 75%
  • Distributed Systems 50%
  • Proof Obligation 25%
  • Computational Grid 25%
  16 Nedladdningar (Pure)

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Development Process 100%
  • Visualization 100%
  • Simulation Mode 100%
  • Specification Language 66%
  • Formal Specification 66%
  37 Nedladdningar (Pure)

• A Topological Approach to Distributed Computing

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Fil

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

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• Data refinement of remote procedures

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• Deriving distributed systems using B-Method

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Parallel and Distributed System 100%
  • Case Study 50%
  • Distributed Systems 50%
  • Algorithms 50%
  • Load Balancing 50%
  9 Nedladdningar (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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• 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; nr. 63)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

  12 Nedladdningar (Pure)

• Distributed System Development in B

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Distributed Systems 100%
  • Parallel and Distributed System 100%
  • System Development 50%
  • Proof Obligation 50%
  • Embedding 50%
  4 Nedladdningar (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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

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

• FormAgi – A Concept for More Flexible Formal Developments

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Fil

  • Software Systems 100%
  • Development Process 100%
  • Agile Methods 100%
  • Development Framework 100%
  • Deadlines 100%
  137 Nedladdningar (Pure)

• Formal Derivation of a Distributed Load Balancing Algorithm

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• Formal Development of NoC Systems in B

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• Formal Library of Visual Components

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

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

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

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

• Layering distributed algorithms

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

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

• Mobile Components as Topological Action Systems

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Providing Service 100%
  17 Nedladdningar (Pure)

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Fil

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

• Quality Comparison and Evaluation of Digital Hydraulic Control Systems

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Quality 100%
  • Software Quality 50%
  • Software Product 50%
  • Stakeholder 25%
  • Control System 25%
  22 Nedladdningar (Pure)

• Reverse engineering Distributed Algorithms

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

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Program Derivation 100%
  • Programs 66%
  • Transitive Relation 33%
  • Specifications 33%
  4 Nedladdningar (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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Model 100%
  • Models 100%
  • Simulation Mode 100%
  • Contract 57%
  • Simulink 42%
  27 Nedladdningar (Pure)

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

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

• 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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Fil

  • Events 100%
  • Simulation Mode 75%
  • Scalability 50%
  • Component Interface 25%
  • Partitioning 25%
  11 Nedladdningar (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)

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

  Öppen tillgång

  Fil

  • Distributed Algorithm 100%
  4 Nedladdningar (Pure)