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

• 2021

  Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels

  Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, s. –.

  Forskningsoutput: Konferensbidrag › Sammanfattning › Vetenskaplig

  Öppen tillgång

  Fil

  • Machine Learning Software 100%
  • Learning System 100%
  • Artificial Intelligence 100%
  • Machine Learning 100%
  • Behavior (Neuroscience) 100%
  94 Nedladdningar (Pure)

• Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO

  Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 s.

  Forskningsoutput: Konferensbidrag › Sammanfattning › Vetenskaplig

  Öppen tillgång

  Fil

  • Multivessel 100%
  • Agent System 100%
  • Stochastic Behavior 33%
  • Environment Condition 33%
  • Quality Characteristics 33%
  57 Nedladdningar (Pure)
• 2020

  Applying guidelines for system modelling in Event-B: A systematic literature review

  Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, I: International Journal of Critical Computer-Based Systems. 10, 1, s. 1–36

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Beginner 100%
  • System Modeling 100%
  • Domain-specific Applications 100%
  • Modeling Guidelines 100%
  • Rigorous Method 100%
  1 Citeringar (Scopus)

  89 Nedladdningar (Pure)

• Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

  Shokri-Manninen, F., Vain, J. & Walden, M., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (red.). Springer, Cham, s. 41-59 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • COLREGs 100%
  • Maritime Autonomous Systems 100%
  • Autonomous Ships 100%
  • Formal Verification 100%
  • Target Point 100%
  8 Citeringar (Scopus)

  129 Nedladdningar (Pure)

• Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

  Shokri-Manninen, F., Tsiopoulos, L., Vain, J. & Walden, M., 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (red.). Springer, s. 186-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Real Time Systems 100%
  • Concurrent Process 100%
  • Real-time Systems 100%
  • Reachability Properties 50%
  • Timing Analysis 25%
  3 Citeringar (Scopus)

  49 Nedladdningar (Pure)
• 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)

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

  Öppen tillgång

  Fil

  • Model Fragment 100%
  • Agile Development 100%
  • Formal System 100%
  • Agile Techniques 50%
  • Multiple Dictionaries 50%
  101 Nedladdningar (Pure)

• Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

  Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (Redaktör) & Jüri, V. (Redaktör), 2019

  Forskningsoutput: Övriga bidrag › Peer review

  • Controller 100%

• NWPT 2017 - Special issue

  Walden, M. (Redaktör), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
  24 Nedladdningar (Pure)
• 2018

  A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks

  Wiik, J., Ersfolk, J. & Walden, M., 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2018). Patricia, D. & Sicun, G. (red.). IEEE, s. 1–10

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (Scopus)

• 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

  • Modeling Experience 100%
  • Generic Application 100%
  • Software Safety 50%
  • Safety-critical 50%
• 2017

  Proceedings of the 29th Nordic Workshop on Programming Theory

  Walden, M. (Redaktör), 2017, Turku Centre for Computer Science.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Visual Component-Based Development of Formal Models

  Ostroumov, S. & Walden, M., 2017, Third International Conference on Advances and Trends in Software Engineering (SOFTENG 2017). Kajko-Mattsson, M., Ellingsen, P. & Maresca, P. (red.). Iaria xps press, s. 43–50

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2016

  A Provably Correct Resilience Mediator Pattern

  Neovius, M., Rönkkö, M. & Walden, M., 2016, From Action Systems to Distributed Systems - The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 125–139

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition

  Edmunds, A. & Walden, M., 2016, Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Ribeiro, L. & Lecomte, T. (red.). Springer, s. 97–111

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• On Component-Based Reuse for Event-B

  Edmunds, A., Snook, C. & Walden, M., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K., Mashkoor, A. & Biro, M. (red.). Springer, s. 151–166

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (Scopus)

• Optimal Digital Valve Control Using Embedded GPU

  Ersfolk, J., Boström, P., Timonen, V., Westerholm, J., Wiik, J., Karhu, O., Linjama, M. & Walden, M., 2016, Proceedings of the Eight Workshop on Digital Fluid Power (DFP16): May 24-25 2016, Tampere, Finland. Uusi-Heikkilä, J. & Linjama, M. (red.). Tampereen teknillinen yliopisto, s. 239–250

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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

  • Scrum 100%
  • Landing Gear 100%
  • Formal Modeling 66%
  • Development Approach 50%
  • Agile Methods 50%

• Tailoring Complexity Metrics for Simulink Models

  Olszewska, M., Dajsuren, Y., Altinger, H., Serebrenik, A., Walden, M. & J. van den Brand, M. G., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Bahsoon, R. & Weinreich, R. (red.). ACM, s. 1–7

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Towards Component-based Reuse for Event-B

  Edmunds, A., Walden, M. & Snook, C., 2016, Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Aceto, L., Fabregas, I., Garcia-Perez, A. & Ingolfsdottir, A. (red.). Reykjavik University, Iceland, s. 10–12

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• Using Scrum to Develop a Formal Model – An Experience Report

  Olszewska, M., Ostroumov, S. & Walden, M., 2016, Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016. Abrahamsson, P., Jedlitschka, A., Duc A, N., Felderer, M., Amasaki, S. & Mikkonen, T. (red.). Springer, s. 621–626

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (Scopus)

• Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems

  Edmunds, A., Olszewska, M. & Walden, M., 2016, Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). Kaindl, H. & Meli, R. (red.). Iaria xps press, s. 1–9

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2015

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

  Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2015, Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Campos, J. & Haverkort, B. (red.). Springer, s. 312–328

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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

  • Stochastic Disturbance 100%
  • Hypothesis Testing 100%
  • Hydraulic Power 100%
  • Computer Control 100%
  • Random Disturbance 100%
  34 Nedladdningar (Pure)

• Derivation of Parallel and Resilient Programs from Simulink Models

  Ostroumov, S., Boström, P. & Walden, M., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. O'Conner, L. (red.). IEEE, s. 416–420

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• DevOps Meets Formal Modelling in High-Criticality Complex Systems

  Olszewska, M. & Walden, M., 2015, QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps. Ardagna, D., Brunnert, A., Casale, G. & Hoorn, A. (red.). ACM, s. 7–12

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  18 Citeringar (Scopus)

• 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

  • Event-B Specifications 100%
  • Visual Components 100%
  • Component Design 100%
  • Graphical Representation 100%
  • component based design 100%

• 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

  • Visual Component 100%
  • Formal Library 100%
  • Proof Obligation 50%
  • Correctness Proofs 50%
  • System Development 50%

• 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

  • High-integrity Systems 100%
  • Event Composition 100%
  • Event Modeling 50%
  • Reuse Strategy 50%
  • Mathematical Rigour 50%
  31 Nedladdningar (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)

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

  Fil

  • Component-based 100%
  • component based system 100%
  • Abstract Model 50%
  • Model-based Decomposition 50%
  • Model Complexity 50%
  23 Nedladdningar (Pure)
• 2014

  Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

  Boström, P., Alexeev, P. S., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2014, Formal Methods for Industrial Critical Systems. Lang, F. & Flammini, F. (red.). Lecture notes for computer science, s. 33–47

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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

  • Specification Tool 100%
  • Formal Development 100%
  • Formal Specification Languages 100%
  • Development Process 100%
  • Parallelizing 40%
  49 Nedladdningar (Pure)

• Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models

  Boström, P., Degerlund, F., Sere, K. & Walden, M., 2014, I: Formal Aspects of Computing. 26, 2, s. 281–303

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
  6 Citeringar (Scopus)

• 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

  • Parallel Programming 100%
  • Resilience Level 100%
  • Simulink Model 100%
  • Data Loss 50%
  • Design Chain 50%
  89 Nedladdningar (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)

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

  Fil

  • Software Systems 100%
  • Agile Methods 100%
  • Development Framework 100%
  • Quality Attribute 100%
  • Agile Development 100%
  148 Nedladdningar (Pure)

• Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach

  Ostroumov, S., Tsiopoulos, L., Walden, M. & Plosila, J., 2014, Advancing Embedded Systems and Real-Time Communications with Emerging Technologies. Virtanen, S. (red.). IGI Global, s. 302–333

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Kaisa Sere: In Memoriam.

  Petre, L., Troubitsyna, E. & Walden, M., 2014, I: Formal Aspects of Computing. 26, 2, s. 197–201

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

• Parallel Development of Event-B Systems with Agile Methods

  Parsa, M., Snook, C., Olszewska, M. & Walden, M., 2014, N/A. Halmstad University, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Verification and Validation of a Pressure Control Unit for Hydraulic Systems

  Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2014, Software Engineering for Resilient Systems. Majzik, I. & Vieira, M. (red.). Lecture notes for computer science, s. 101–115

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2013

  Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems

  Alexeev, P. S., Boström, P., Walden, M., Huova, M., Linjama, M. & Sere, K., 2013, Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems. Benavente-Peces, C. & Filipe, J. (red.). SCITEPRESS Digital Library, s. 189–194

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Modelling Critical Systems With Time Constraints in Event-B

  Siavashi, F., Waldén, M., Tsiopoulos, L. & Vain, J., 2013, 25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts. Uustalu, T. & Vain, J. (red.). Tallinn, Estonia: Department of Computer Science, Tallinn University of Technology, s. 70-72

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• Proceedings of the 4th Rodin User and Developer Workshop

  Butler, M. (Redaktör), Hallerstede, S. (Redaktör) & Walden, M. (Redaktör), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; nr. 18)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2012

  Guest Editors’ Foreword

  Walden, M. & Petre, L., 2012, I: Journal of Logic and Algebraic Programming. 81, 3, s. 161–161

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig

• Location-Awareness with Action Systems

  Petre, L., Sere, K. & Walden, M., 2012, Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications. Alencar, P. & Cowan, D. (red.). IGI Global, s. 463–483

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Simulations with Fault-Tolerant Controller Software of a Digital Valve

  Huova, M., Ketonen, M., Alexeev, P., Boström, P., Linjama, M., Waldén, M. & Sere, K., 2012, Proceedings of the Fifth Workshop on Digital Fluid Power : DFP12. Laamanen, A. & Linjama, M. (red.). Tampere, Finland: Tampere University of Technology, s. 223-242

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  • Fault-tolerant Controller 100%
  • Digital Valve 100%
  • Optimal Controller 100%
  • Hydraulic System 50%
  • Simulation Study 50%

• The 22nd Nordic Workshop on Programming Theory (NWPT 2010)

  Walden, M. (Redaktör) & Petre, L. (Redaktör), 2012, Elsevier. (The Journal of Logic and Algebraic Programming; vol. 81, nr. 3)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång
• 2011

  Concurrent Scheduling of Event-B Models

  Boström, P., Degerlund, F., Sere, K. & Walden, M., 2011, Proceedings 15th International Refinement Workshop. Derrick, J., Boiten, E. & Reeves, S. (red.). Open Publishing Association, s. 166–182

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (Scopus)

• Development of Controllers Using Simulink and Contract-Based Design

  Boström, P., Huova, M., Olszewska, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (red.). Information science reference IGI, s. 151–169

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Measuring the Progress of a System Development

  Olszewska, M. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (red.). Information science reference IGI, s. 417–441

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  1 Citeringar (Scopus)

• Network Availability for Distributed Applications

  Petre, L., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (red.). IGI Global, s. 36–56

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
• 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; nr. 994)

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

  Öppen tillgång

  Fil

  • General Nodes 100%
  • Media Streaming 100%
  • Cloud Services 100%
  • Transfer Network 100%
  • Peer-to-peer Communication 100%
  28 Nedladdningar (Pure)