Fatemeh Shokri-Manninen
20152021

Research activity per year

Filter
Published conference proceeding

Search results

  • 2020

    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 proceedingPublished conference proceedingScientificpeer-review

    Open Access
    File
    8 Citations (Scopus)
    128 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 proceedingPublished conference proceedingScientificpeer-review

    Open Access
    File
    3 Citations (Scopus)
    58 Downloads (Pure)
  • 2015

    An excursion through quantitative model refinement

    Azimi Rashti, S., Czeizler, E., Gratie, D.-E., Gratie, C., Iancu, B., Nebiat, I., Petre, I., Rogojin, V., Shadbahr, T. & Shokri-Manninen, F., 2015, Membrane Computing. Rozenberg, G., Salomaa, A., Sempere, J. M. & Zandron, C. (eds.). Springer, p. 25–47

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review