Fingerprint
Dive into the research topics where Fatemeh Shokri-Manninen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO
Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 p.Research output: Contribution to conference › Abstract › Scientific
Open AccessFile91 Downloads (Pure) -
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–36Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)191 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 › Published conference proceeding › Scientific › peer-review
Open AccessFile11 Citations (Scopus)200 Downloads (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. (eds.). Springer, p. 186-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review
Open AccessFile5 Citations (Scopus)101 Downloads (Pure) -
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (Editor) & Jüri, V. (Editor), 2019Research output: Other contribution › peer-review