Projekteja vuodessa
Sormenjälki
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Projektit
- 1 Aktiivinen
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J., Porres Paltor, I., Bansal, K., Lafond, S., Uppstu, P., Viitala, T., Wang, X., Wilen, C., Xu, C., Zhang, H., Lu, Z., Verma, J., Kumar, V., Frejborg, F., Wang, S., Ran, M., Ma, X., Yang, W., Liang, S., Zhang, Y., Fan, L., Chen, Y., Wang, L., Zhuang, P., Peltomäki, J., Rajan Prakash, D., Howaili, F., Gulshan, R., Yadav, D., Pathak, C. & Mustafa, R.
01/01/24 → 31/12/28
Projekti: Foundation
Julkaisut
- 6 Konferenssiartikkeli
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 2024, (Hyväksytty/In press) 2024 ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT ’24). ACM, 2 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
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 Lataukset (Pure) -
SBFT Tool Competition 2023 - Cyber-Physical Systems Track
Biagiola, M., Klikovits, S., Peltomäki, J. & Riccio, V., 2023, 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). IEEE, s. 45-48Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
10 Sitaatiot (Scopus) -
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Peltomäki, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 21-28 (IEEE International Conference on Software Testing, Verification and Validation Workshops).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open access3 Sitaatiot (Scopus) -
Wasserstein generative adversarial networks for online test generation for cyber physical systems
Peltomäki, J., Spencer, F. & Porres, I., 2022, The 15th Search-Based Software Testing Workshop SBST 2022 . IEEE, s. 1-5Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open access3 Sitaatiot (Scopus)
Tietoaineistot
-
OGAN Experimental Results
Peltomäki, J. (Luoja) & Porres Paltor, I. (Luoja), Zenodo, 27 syysk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Tietoaineisto
-
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 Paltor, 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