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
Projekt
- 11 Slutfört
-
MERGE: Merging digital hydraulic systems and supercomputing (Academy of Finland)
Walden, M., Westerholm, J., Boström, P., Ersfolk, J. & Wiik, J.
01/01/15 → 31/12/16
Projekt: Forskning
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Projekt: Forskning
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L., Walden, M., Kamali, M., Kamali, M., Neovius, M. & Sandvik, P.
01/01/13 → 31/12/15
Projekt: Forskning
-
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S., Wiik, J., Olszewska, M. & Dahlvik, M.
01/05/11 → 30/09/14
Projekt: Forskning
-
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S. & Wiik, J.
01/06/09 → 30/09/14
Projekt: Forskning
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
Fil37 Nedladdningar (Pure) -
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO
Shokri-Manninen, F., Vain, J. & Waldén, M., 2021, Proceedings of the 32nd Nordic Workshop on Programming Theory. Iceland: Reykjavik University, Iceland, 4 s.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
Öppen tillgångFil1 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)8 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ångFil3 Citeringar (Scopus)16 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ångFil2 Citeringar (Scopus)9 Nedladdningar (Pure)