Doktorandnätverk IT and Mathematics

MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
ECSEL JU
01/04/17 → 31/03/20
Projekt: Forskning
N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Projekt: Forskning
QuantRef: Quantitative model refinement
Petre, I., Azimi Rashti, S., Rogojin, V., Iancu, B., Gratie, C., Gratie, D. & Panchal, C.
01/09/13 → 31/08/17
Projekt: Forskning

Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, I: International Journal of Critical Computer-Based Systems. 10, 1, s. 1–36
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
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
Hilbert matrix, Volterra and weighted composition operators on Banach spaces of analytic functions
Wikman, N., 2020, Åbo Akademi University Press. 31 s.
Forskningsoutput: Typer av avhandlingar › Doktorsavhandling › Samling av artiklar

Öppen tillgång

Fingeravtryck