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

• 2020

  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

  • Autonomous Navigation 100%
  7 Citeringar (Scopus)

  54 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, Ulm, Germany, May 27–29, 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (red.). Springer, s. –

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

  Öppen tillgång

  Fil
  2 Citeringar (Scopus)

  16 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)
• 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. (red.). Iaria xps press, s. 43–50

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 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. (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

• 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, BR. (red.). Springer, s. 312–328

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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. (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
  15 Citeringar (Scopus)
• 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

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

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

  • Controllers 100%
  • Optimal Controller 87%
  • Design 50%
  • Error 37%
  • Output Signal 25%
• 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. (red.). Open Publishing Association, s. 166–182

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (Scopus)
• 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. s. 82-84 (TUCS General Publication; nr. 57).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
• 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. (red.). Linköping university electronic press, s. 21–28

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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). s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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. (red.). dpunkt.verlag GmbH, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 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. (red.). Tampere University of Technology, s. 341–359

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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. (red.). Tampere University of Technology, s. 227–242

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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. (red.). s. 118–127

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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. (red.). Springer, s. 186–200

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (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).

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

  4 Citeringar (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, s. 171-185 (Lecture Notes in Computer Science; vol. 4355).

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

  • Event 100%
  • Events 100%
  • Specialization 66%
  • Development 66%
  • Visualization 33%
  10 Citeringar (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. (red.). Springer, s. 79–93

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  11 Citeringar (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. (red.). University of Oslo, s. 87–89

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 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. s. 639-659 (Lecture Notes in Computer Science; vol. 4260).

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

  • Networks 100%
  • Distributed Systems 33%
  • Resource Availability 33%
  • Middleware 33%
  • Network Availability 33%
• 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. (red.). Springer, s. 142–161

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  4 Citeringar (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. (red.). Springer, s. 167–186

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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, s. 137-139

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• 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, s. 59-61

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• 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

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

  • Project 100%
  • Event 100%
  • Events 100%
  • Visualization 50%
  • Control System 50%
• 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, s. 110-112

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
• 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, s. 51-53

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• 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

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

  • Case Study 100%
  • Workstations 100%
  • Graphical Interface 100%
  • Requirements Analysis 100%
  • Critical System 100%
• 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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
• 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. (red.). Elsevier Science, Vol. 28. s. – (Electronic Notes in Theoretical Computer Science; vol. 28).

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

  Layering distributed algorithms within the B-Method

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

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

  2 Citeringar (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, s. 267 - 294 (Lecture Notes in Computer Science; vol. 1281).

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

  12 Citeringar (Scopus)
• 1996

  Distributed System Development in B

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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, s. 508-527

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig