Projekteja vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Marina Walden on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Projektit
- 11 Päättynyt
-
MERGE: Merging digital hydraulic systems and supercomputing (Academy of Finland)
Walden, M. (CoI), Westerholm, J. (Vastuullinen tutkija), Boström, P. (CoI), Ersfolk, J. (CoI) & Wiik, J. (CoI)
01/01/15 → 31/12/16
Projekti: Research Council of Finland/Other Research Councils
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Vastuullinen tutkija), 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
Projekti: Research Council of Finland/Other Research Councils
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Vastuullinen tutkija), Walden, M. (CoI), Kamali, M. (CoI), Kamali, M. (CoI), Neovius, M. (CoI) & Sandvik, P. (CoI)
01/01/13 → 31/12/15
Projekti: Research Council of Finland/Other Research Councils
-
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), 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
Projekti: Industry/Business Finland
-
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekti: Industry/Business Finland
-
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 accessTiedosto89 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 accessTiedosto48 Lataukset (Pure) -
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–36Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Sitaatiot (Scopus)79 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 accessTiedosto8 Sitaatiot (Scopus)121 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 accessTiedosto3 Sitaatiot (Scopus)46 Lataukset (Pure)
Aktiviteetit
- 1 Akateemisen vierailun isännöinti
-
Yevheniia Yehorova
Walden, M. (Isäntä)
27 kesäk. 2022 → 31 jouluk. 2022Aktiviteetti: Vierailun isännöinti › Akateemisen vierailun isännöinti