Projekt per år
Fingeravtryck
- 1 Liknande profiler
Samarbeten och ledande forskningsområden under de senaste fem åren
Projekt
- 1 Slutfört
-
AIDOaRT
Porres Paltor, I. (Ansvarig forskare), Truscan, D. (CoPI), Nybom, K. (CoI), Logacheva, E. (CoI), Winsten, J. (CoI) & Peltomäki, J. (CoI)
01/04/21 → 30/09/24
Projekt: EU
-
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J. & Porres, I., mars 2025, I: Automated Software Engineering. 32, 33.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 14 apr. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024. ACM, s. 43-44 2 s. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil2 Citeringar (Scopus)19 Nedladdningar (Pure) -
ARCH-COMP 2024 Category Report: Falsification
Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M. & Zhang, Z., 10 okt. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. s. 122-144 23 s. (EPiC Series in Computing; vol. 103).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil1 Citeringar (Scopus)64 Nedladdningar (Pure) -
Testing cyber-physical systems with explicit output coverage
Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 128-136 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
-
ARCH-COMP 2023 Category Report: Falsification
Menghi, C., Arcaini, P., Baptista, W., Ernst, G., Fainekos, G., Formica, F., Gon, S., Khandait, T., Kundu, A., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Waga, M. & Zhang, Z., 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EasyChair, s. 151-169 (EPiC Series in Computing; vol. 96).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil10 Citeringar (Scopus)133 Nedladdningar (Pure)
Forskningsdatauppsättningar
-
OGAN Experimental Results
Peltomäki, J. (Skapad av) & Porres, I. (Skapad av), Zenodo, 27 sep. 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset
-
WOGAN Experimental Results
Peltomäki, J. (Skapad av) & Porres, I. (Skapad av), Zenodo, 30 sep. 2024
DOI: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Skapad av), Arcaini, P. (Skapad av), Baptista, W. (Skapad av), Ernst, G. (Skapad av), Fainekos, G. (Skapad av), Formica, F. (Skapad av), Gon, S. (Skapad av), Khandait, T. (Skapad av), Kundu, A. (Skapad av), Pedrielli, G. (Skapad av), Peltomäki, J. (Skapad av), Porres, I. (Skapad av), Ray, R. (Skapad av), Waga, M. (Skapad av) & Zhang, Z. (Skapad av), Zenodo, 11 juni 2023
DOI: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Dataset