Marina Walden

Docent

Senior Lecturer, Faculty of Science and Engineering, Computer Science
Senior Lecturer, Faculty of Science and Engineering, Information Technology

Phone+358-469208547, +358-2-2154675
Emailmarina.walden@abo.fi

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Marina Walden is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

8 Finished

MERGE: Merging digital hydraulic systems and supercomputing (Academy of Finland)
Walden, M. & Westerholm, J.
01/01/15 → 31/12/16
Project: Research
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A. & Ostroumov, S.
01/09/13 → 31/08/17
Project: Research
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. & Sere, K.
01/05/11 → 30/09/14
Project: Research
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. & Sere, K.
01/06/09 → 30/09/14
Project: Research
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K. & Plosila, J.
01/01/08 → 31/12/11
Project: Research

31 Citations
4 h-Index
31 Conference contribution
15 Commissioned report
6 Chapter
5 Article
4 More
- 3 Edited Book
- 1 Other contribution

Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, In : International Journal of Critical Computer-Based Systems. 10, 1, p. 1–36
Research output: Contribution to journal › Article › Scientific › peer-review
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2020, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). p. –
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

File

4 Downloads (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. (eds.). Springer, Cham, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
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. (eds.). Springer, p. –
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Agile Development of Formal Systems Models
Snook, C., Walden, M., Edmunds, A. & Butler, M., 2019, Turku Center for Computer Science (TUCS).
Research output: Book/Report › Commissioned report › Professional