Marina Walden

Julkaisut

Julkaisuja vuodessa 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2024

• 53 Konferenssiartikkeli
• 36 Tutkimusraportti
• 13 Artikkeli
• 9 Luku
• 14 Lisää
  • 8 Antologia/toimitettu lehti
  • 2 Tiivistelmä
  • 1 Muu myötävaikuttaminen
  • 1 Tohtorinväitöskirja
  • 1 Lisensiaatin tutkielma
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2024

  A Layering Approach with Role-Based Workflow Modelling for the Enterprise Workflow

  Yehorova, Y. & Waldén, M., heinäk. 2024, Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2024. De Rango, F., Werner, F. & Wagner, G. (toim.). Portugal: SCITEPRESS Science And Technology Publications, Vuosikerta 1. s. 266-273 ( SIMULTECH International Conference on Simulation and Modeling Methodologies, Technologies and Applications).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Role-based 100%
  • Workflow Modeling 100%
  • Enterprise Management 50%
  • Fast Evaluation 50%
  • Workflow Management 50%
• 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. –.

  Tutkimustuotos: Konferenssiin myötävaikuttaminen › Tiivistelmä › Tieteellinen

  Open access

  Tiedosto

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

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

  Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 Sivumäärä.

  Tutkimustuotos: Konferenssiin myötävaikuttaminen › Tiivistelmä › Tieteellinen

  Open access

  Tiedosto

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

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

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

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

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

  88 Lataukset (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. (toim.). Springer, Cham, s. 41-59 19 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12310 LNCS).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

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

  124 Lataukset (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. (toim.). Springer, s. 186-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12071 LNCS).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

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

  46 Lataukset (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; Vuosikerta 1202)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

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

• Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

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

  Tutkimustuotos: Muu myötävaikuttaminen › vertaisarvioitu

  • Controller 100%

• NWPT 2017 - Special issue

  Walden, M. (Toimittaja), 2019, Elsevier. (Journal of logical and algebraic methods in programming; Vuosikerta 105)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
  21 Lataukset (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. (toim.). IEEE, s. 1–10

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (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; Vuosikerta 1196)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Proceedings of the 29th Nordic Workshop on Programming Theory

  Walden, M. (Toimittaja), 2017, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 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. (toim.). CRC Press, s. 125–139

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• 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. (toim.). Springer, s. 97–111

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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. (toim.). Springer, s. 151–166

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (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. (toim.). Tampereen teknillinen yliopisto, s. 239–250

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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; Vuosikerta 1152)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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. (toim.). Reykjavik University, Iceland, s. 10–12

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

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

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (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. (toim.). Iaria xps press, s. 1–9

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 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. (toim.). Springer, s. 312–328

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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; Vuosikerta 1136)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Stochastic Disturbance 100%
  • Hypothesis Testing 100%
  • Hydraulic Power 100%
  • Computer Control 100%
  • Random Disturbance 100%
  30 Lataukset (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. (toim.). IEEE, s. 416–420

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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. (toim.). ACM, s. 7–12

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  19 Sitaatiot (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; Vuosikerta 1148)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  • 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; Vuosikerta 1147)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  • 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; Vuosikerta 1144)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • High-integrity Systems 100%
  • Event Composition 100%
  • Event Modeling 50%
  • Reuse Strategy 50%
  • Mathematical Rigour 50%
  30 Lataukset (Pure)

• Towards Component-Based Reuse for Event-B

  Edmunds, A., Snook, C. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1140)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Component-based 100%
  • component based system 100%
  • Abstract Model 50%
  • Model-based Decomposition 50%
  • Model Complexity 50%
  18 Lataukset (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. (toim.). Lecture notes for computer science, s. 33–47

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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; Vuosikerta 1127)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Specification Tool 100%
  • Formal Development 100%
  • Formal Specification Languages 100%
  • Development Process 100%
  • Parallelizing 40%
  47 Lataukset (Pure)

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

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

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  6 Sitaatiot (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; Vuosikerta 1111)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Parallel Programming 100%
  • Resilience Level 100%
  • Simulink Model 100%
  • Data Loss 50%
  • Design Chain 50%
  76 Lataukset (Pure)

• FormAgi – A Concept for More Flexible Formal Developments

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Software Systems 100%
  • Agile Methods 100%
  • Development Framework 100%
  • Quality Attribute 100%
  • Agile Development 100%
  152 Lataukset (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. (toim.). IGI Global, s. 302–333

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Kaisa Sere: In Memoriam.

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

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Parallel Development of Event-B Systems with Agile Methods

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

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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. (toim.). Lecture notes for computer science, s. 101–115

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 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. (toim.). SCITEPRESS Digital Library, s. 189–194

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• 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. (toim.). Tallinn, Estonia: Department of Computer Science, Tallinn University of Technology, s. 70-72

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

• Proceedings of the 4th Rodin User and Developer Workshop

  Butler, M. (Toimittaja), Hallerstede, S. (Toimittaja) & Walden, M. (Toimittaja), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; nro 18)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2012

  Guest Editors’ Foreword

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

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen

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

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

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

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (Toimittaja) & Petre, L. (Toimittaja), 2012, Elsevier. (The Journal of Logic and Algebraic Programming; Vuosikerta 81, nro 3)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access
• 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. (toim.). Open Publishing Association, s. 166–182

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (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. (toim.). Information science reference IGI, s. 151–169

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• 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. (toim.). Information science reference IGI, s. 417–441

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (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. (toim.). IGI Global, s. 36–56

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu