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

• 1994

  Verification of a distributed algorithm due to Tajibnapis

  Sere, K. & Walden, M., 1994, Proceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93). Turku, Finland, p. 161-172

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
• 1996

  Distributed System Development in B

  Butler, M. & Walden, M., 1996, Proceedings of the First B Conference. IRIN, Nantes, France, p. 155-168

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Formal Derivation of a Distributed Load Balancing Algorithm

  Walden, M., 1996, Proceedings of the 7th Nordic Workshop on Programming Theory (NWPT'95). Gothenburg, Sweden, p. 508-527

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

• Refining Action Systems within B-Tool

  Waldén, M. & Sere, K., 1996, FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. Oxford, England: Springer Verlag, p. 84-103 (Lecture Notes in Computer Science; vol. 1051).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Parallel and Distributed System 100%
  • Case Study 50%
  • Algorithms 50%
  • Load Balancing 50%
  • Embedding 50%
  11 Citations (Scopus)
• 1997

  Data refinement of remote procedures.

  Sere, K. & Walden, M., 1997, Proceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS'97). Sendai, Japan: Springer Verlag, p. 267 - 294 (Lecture Notes in Computer Science; vol. 1281).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  12 Citations (Scopus)
• 1998

  Layering distributed algorithms within the B-Method

  Walden, M., 1998, Proceedings of the 2nd International B Conference,. Springer Verlag, p. 243-260 (Lecture Notes in Computer Science; vol. 1393).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  2 Citations (Scopus)
• 1999

  A Topological Approach to Distributed Computing

  Petre, L., Sere, K. & Walden, M., 1999, Proceedings of the FCT'99 Workshop on Distributed Systems. Stefanescu, G. (ed.). Elsevier Science, Vol. 28. p. – (Electronic Notes in Theoretical Computer Science; vol. 28).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
• 2002

  A Healthcare Case Study

  Petre, L., Troubitsyna, E. & Walden, M., 2002, Proceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience. Grenoble, France

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

• Design with Asynchronously Communicating Components

  Plosila, J., Sere, K. & Walden, M., 2002, Proceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects. Springer-Verlag, Vol. 2852.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Library Component 100%
  • Systems Design 100%
  • Target System 100%
  • Oriented Method 100%
  • Hardware Design 100%

• Use of U2B for Specifying B Action Systems

  Snook, C. & Walden, M., 2002, Proceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience. Grenoble France

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
• 2003

  A case study: Implementation of control systems using B-Action Systems

  Boström, P. & Walden, M., 2003, Proceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03. Turku, Finland, p. 51-53

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

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

  Snook, C., Tsiopoulos, L. & Walden, M., 2003, Proceedings of RCS'03 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience. Turku: Turku Center of Computer Science

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Case Study 100%
  • Workstations 100%
  • Graphical Interface 100%
  • Requirements Analysis 100%
  • Critical System 100%
• 2004

  Extension of Event Based B for development of grid systems

  Boström, P. & Walden, M., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory - NWPT'04. Uppsala, Sweden, p. 110-112

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
• 2005

  An Extension of Event B for Developing Grid Systems

  Boström, P. & Walden, M., 2005, Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). Springer, p. 142–161

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  4 Citations (Scopus)

• Development of Fault Tolernt Grid Applications Using Distributed B

  Boström, P. & Walden, M., 2005, Integrated Formal Methods : 5th International Conference, IFM2005. Romijn, J., Smith, G. & Pol J., V. D. (eds.). Springer, p. 167–186

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Formal Development of NoC Systems in B

  Tsiopoulos, L. & Walden, M., 2005, Proceedings of the 17th Nordic Workshop on Programming Theory - NWPT'05. Copenhagen, Denmark, p. 137-139

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

• Implementation issues concerning the Action Systems formalism

  Degerlund, F., Walden, M. & Sere, K., 2005, Proceedings of the 17th Nordic Workshop on Programming Theory - NWPT'05. Copenhagen, Denmark, p. 59-61

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

• Refinement of Statemachines using Hierarchical States, Choice Points and Joins

  Snook, C. & Walden, M., 2005, Proceedings of the EPSRC RefineNet workshop. Manchester: University of Manchester

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Project 100%
  • Event 100%
  • Events 100%
  • Visualization 50%
  • Control System 50%
• 2006

  A Language for Modeling Network Availability

  Petre, L., Sere, K. & Walden, M., 2006, Proceedings of the 8th International Conference on Formal Methods (ICFEM06). Springer, Vol. 4260. p. 639-659 (Lecture Notes in Computer Science; vol. 4260).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Networks 100%
  • Distributed Systems 33%
  • Resource Availability 33%
  • Middleware 33%
  • Network Availability 33%
• 2007

  Design and Implementation of Energy Saving Digital Hydraulic Control System

  Linjama, M., Huova, M., Boström, P., Laamanen, A., Siivonen, L., Morel, L., Walden, M. & Vilenius, M., 2007, Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07). Vilenius, J., Koskimies, KT. & Uusi-Heikkilä, J. (eds.). Tampere University of Technology, p. 341–359

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Design and Validation of Digital Controllers for Hydraulics Systems

  Boström, P., Linjama, M., Morel, L., Siivonen, L. & Walden, M., 2007, Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07). Vilenius, J., Koskimies, KT. & Uusi-Heikkilä, J. (eds.). Tampere University of Technology, p. 227–242

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Documenting the Progress of the System Development

  Olszewska, M., Walden, M. & Snook, C., 2007, Workshop on Methods, Models and Tools for Fault Tolerance - Proceedings. Butler, M., Jones, C., Romanovsky, A. & Troubitsyna, E. (eds.). p. 118–127

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Formal Transformation of Platform Independent Models into Platform Specific Models

  Boström, P., Neovius, M., Oliver, I. & Walden, M., 2007, B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Julliand, J. & Kouchnarenko, O. (eds.). Springer, p. 186–200

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (Scopus)

• Implementation Issues Concerning the Action Systems Formalism

  Degerlund, F., Walden, M. & Sere, K., 2007, Proceedings of the Eighth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'07).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  4 Citations (Scopus)

• Refinement of Statemachines using Event B semantics

  Snook, C. & Waldén, M., 2007, B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Springer, p. 171-185 (Lecture Notes in Computer Science; vol. 4355).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Event 100%
  • Events 100%
  • Specialization 66%
  • Development 66%
  • Visualization 33%
  10 Citations (Scopus)

• Stepwise Development of Simulink Models Using the Refinement Calculus Framework

  Boström, P., Morel, L. & Walden, M., 2007, Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings. Jones, CB., Liu, Z. & Woodcock, J. (eds.). Springer, p. 79–93

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  11 Citations (Scopus)

• Visualising Program Transformations in a Stepwise Manner

  Olszewska, M., Walden, M. & Snook, C., 2007, Proceedings of the 19th Nordic Workshop on Programming Theory. Broch Johnsen, E. & Owe Gerardo Schneider, O. (eds.). University of Oslo, p. 87–89

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
• 2009

  Contract-based Design in Controller Development and its Evaluation

  Boström, P., Olszewska, M., Huova, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2009, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. Asplund, M., Nadjm-Tehrani, S. & Petre, L. (eds.). Linköping university electronic press, p. 21–28

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Controller Design of Digital Hydraulic Flow Control Valve

  Huova, M., Olszewska, M., Siivonen, L., Linjama, M., Walden, M., Vilenius, M. & Sere, K., 2009, Proceedings of 11th Scandinavian International Conference on Fluid Power (SICFP'09). p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Quality Analysis of Simulink Models

  Olszewska, M., Huova, M., Walden, M., Sere, K. & Linjama, M., 2009, Software Quality Engineering. Proceedings of the CONQUEST 2009.. Schieferdecker, I. & Goericke, S. (eds.). dpunkt.verlag GmbH, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
• 2010

  Modelling BitTorrent-like Streaming Piece Selection with Event-B

  Sandvik, P., Sere, K. & Walden, M., 2010, Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010. Turku, Finland: Turku Centre for Computer Science (TUCS), Vol. 57. p. 82-84 (TUCS General Publication; no. 57).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
• 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, EA. & Reeves, S. (eds.). Open Publishing Association, p. 166–182

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (Scopus)
• 2012

  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. (eds.). Tampere, Finland: Tampere University of Technology, p. 223-242

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Controllers 100%
  • Optimal Controller 87%
  • Design 50%
  • Error 37%
  • Output Signal 25%
• 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. (eds.). SCITEPRESS Digital Library, p. 189–194

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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. (eds.). Tallinn, Estonia: Department of Computer Science, Tallinn University of Technology, p. 70-72

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
• 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. (eds.). Lecture notes for computer science, p. 33–47

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• Parallel Development of Event-B Systems with Agile Methods

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

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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. (eds.). Lecture notes for computer science, p. 101–115

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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, BR. (eds.). Springer, p. 312–328

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• 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. (ed.). IEEE, p. 416–420

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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. (eds.). ACM, p. 7–12

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  15 Citations (Scopus)
• 2016

  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. (eds.). Springer, p. 97–111

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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. (eds.). Springer, p. 151–166

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (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. (eds.). Tampereen teknillinen yliopisto, p. 239–250

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• 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. (eds.). ACM, p. 1–7

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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. (eds.). Reykjavik University, Iceland, p. 10–12

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

• 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. (eds.). Springer, p. 621–626

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (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. (eds.). Iaria xps press, p. 1–9

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
• 2017

  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. (eds.). Iaria xps press, p. 43–50

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
• 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. (eds.). IEEE, p. 1–10

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (Scopus)