Projekteja vuodessa
Sormenjälki
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Projektit
- 1 Päättynyt
-
AIDOaRT
Porres Paltor, I. (Vastuullinen tutkija), Truscan, D. (CoPI), Nybom, K. (CoI), Logacheva, E. (CoI), Winsten, J. (CoI) & Peltomäki, J. (CoI)
01/04/21 → 30/09/24
Projekti: EU
-
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J. & Porres, I., maalisk. 2025, julkaisussa: Automated Software Engineering. 32, 33.Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 14 huhtik. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024. ACM, s. 43-44 2 Sivumäärä (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto2 Sitaatiot (Scopus)28 Lataukset (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 lokak. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vuosikerta 103. s. 122-144 23 Sivumäärä (EPiC Series in Computing; Vuosikerta 103).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto5 Sitaatiot (Scopus)79 Lataukset (Pure) -
Testing cyber-physical systems with explicit output coverage
Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 syysk. 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).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
1 Sitaatiot (Scopus) -
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; Vuosikerta 96).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto13 Sitaatiot (Scopus)142 Lataukset (Pure)
Tietoaineistot
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Luoja), Arcaini, P. (Luoja), Baptista, W. (Luoja), Ernst, G. (Luoja), Fainekos, G. (Luoja), Formica, F. (Luoja), Gon, S. (Luoja), Khandait, T. (Luoja), Kundu, A. (Luoja), Pedrielli, G. (Luoja), Peltomäki, J. (Luoja), Porres, I. (Luoja), Ray, R. (Luoja), Waga, M. (Luoja) & Zhang, Z. (Luoja), Zenodo, 11 kesäk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Tietoaineisto
-
OGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 27 syysk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Tietoaineisto
-
WOGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 30 syysk. 2024
DOI - pysyväislinkki: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Tietoaineisto