Projekt per år
Fingeravtryck
Fördjupa i forskningsteman där Doktorandnätverk IT and Mathematics är aktiv. Dessa begreppen kommer från medlemmarnas arbeten i denna organisation. Tillsammans bildar de ett unikt fingeravtryck.
Nätverk
Tidigare externt samarbete på landsnivå. Se mera information genom att klicka på cirklar.
Profiler
Projekt
- 5 Slutfört
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
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
Forskningsresultat
-
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–36Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
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