Fatima Shokri-Manninen

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 3

Top Topics

Autonomous Systems

Literature Review

Uncertain Environments

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. SEFM (2020)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
Applying guidelines for system modelling in Event-B - a systematic literature review. Int. J. Crit. Comput. Based Syst. 10 (1) (2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. ABZ (2020)