Research output per year
Research output per year
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 proceeding › Conference contribution › Scientific › peer-review
Open AccessFile6 Citations (Scopus)39 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, 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 AccessFile2 Citations (Scopus)13 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–47Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review