Fatemeh Shokri-Manninen

Publikationer

Publikationer per år 2015 2015 2020 2021

• 3 Konferensbidrag
• 2 Beställd rapport
• 1 Sammanfattning
• 1 Artikel
• 1 Mer
  • 1 Övriga bidrag

Publikationer per år

Publikationer per år

Sökresultat

• 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. (red.). Springer, s. 25–47

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 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. (red.). Springer, Cham, s. 41-59 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Autonomous Navigation 100%
  6 Citeringar (Scopus)

  39 Nedladdningar (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, Ulm, Germany, May 27–29, 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (red.). Springer, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
  2 Citeringar (Scopus)

  13 Nedladdningar (Pure)