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

• 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. (eds.). CRC Press, p. 125–139

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

• 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. (eds.). Information science reference IGI, p. 151–169

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

• Distributed Load Balancing

  Walden, M., 1998, Development by Refinement: Case Studies Using the B Method. Sekerinski, E. & Sere, K. (eds.). Springer Verlag, p. 255-300

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

• Documenting the Progress of the System Development

  Olszewska, M., Walden, M. & Snook, C., 2009, Methods, Models and Tools for Fault Tolerance. Butler, M., Jones, C. B., Romanovsky, A. & Troubitsyna, E. (eds.). Springer, p. 251–274 (Programming and Software Engineering; vol. 5454).

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

  • Design Patterns 100%

• 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. (ed.). IGI Global, p. 302–333

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

• 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. (eds.). IGI Global, p. 463–483

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › 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. (eds.). Information science reference IGI, p. 417–441

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  1 Citation (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. (eds.). IGI Global, p. 36–56

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

• Parallel Programming with the B Method

  Butler, M. & Waldén, M., 1999, Program Development by Refinement: Case Studies Using the B Method. Sekerinski, E. & Sere, K. (eds.). Springer-Verlag, p. 183-195 (Formal Approaches to Computing and Information Technology FACIT ).

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