Projekt per år
Fingeravtryck
Fördjupa i forskningsämnen där Marina Walden är aktiv. Dessa ämnesetiketter kommer från personens arbeten. Tillsammans bildar de ett unikt fingeravtryck.
- 1 Liknande profiler
-
Cyber security training cooperation network
Porres Paltor, I. (Ansvarig forskare), Walden, M. (Ansvarig forskare), Torbunova, A. (Projektmedarbetare), Nybom, K. (Projektmedarbetare) & Truscan, D. (Projektmedarbetare)
01/02/23 → 31/12/25
Projekt: Ministerier / Statliga myndigheter och verk
-
MERGE: Merging digital hydraulic systems and supercomputing (Academy of Finland)
Walden, M. (CoI), Westerholm, J. (Ansvarig forskare), Boström, P. (CoI), Ersfolk, J. (CoI) & Wiik, J. (CoI)
01/01/15 → 31/12/16
Projekt: Finlands Akademi/Övriga Forskningsråd
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Ansvarig forskare), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekt: Finlands Akademi/Övriga Forskningsråd
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Ansvarig forskare), Walden, M. (CoI), Kamali, M. (CoI), Kamali, M. (CoI), Neovius, M. (CoI) & Sandvik, P. (CoI)
01/01/13 → 31/12/15
Projekt: Finlands Akademi/Övriga Forskningsråd
-
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Ansvarig forskare), Sere, K. (Ansvarig forskare), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI), Wiik, J. (CoI), Olszewska, M. (CoI) & Dahlvik, M. (CoI)
01/05/11 → 30/09/14
Projekt: Företag/Business Finland
-
A Layering Approach with Role-Based Workflow Modelling for the Enterprise Workflow
Yehorova, Y. & Waldén, M., juli 2024, Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2024. De Rango, F., Werner, F. & Wagner, G. (red.). Portugal: SCITEPRESS Science And Technology Publications, Vol. 1. s. 266-273 ( SIMULTECH International Conference on Simulation and Modeling Methodologies, Technologies and Applications).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil1 Nedladdningar (Pure) -
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ångFil96 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ångFil55 Nedladdningar (Pure) -
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–36Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil1 Citeringar (Scopus)95 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ångFil8 Citeringar (Scopus)127 Nedladdningar (Pure)
Aktiviteter
- 1 Värd för en akademisk besökare
-
Yevheniia Yehorova
Walden, M. (Värd)
27 juni 2022 → 31 dec. 2022Aktivitet: Stå värd för en besökare › Värd för en akademisk besökare