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. (Vastuullinen tutkija), Porres Paltor, I. (CoPI), Bansal, K. (Koordinaattori), Lafond, S. (CoPI), Uppstu, P. (CoPI), Viitala, T. (CoPI), Wang, X. (CoPI), Wilen, C.-E. (CoPI), Xu, C. (CoPI), Zhang, H. (CoPI), Lu, Z. (CoI), Verma, J. (CoI), Kumar, V. (CoI), Frejborg, F. (CoI), Wang, S. (CoI), Ran, M. (CoI), Ma, X. (CoI), Yang, W. (CoI), Liang, S. (CoI), Zhang, Y. (CoI), Fan, L. (CoI), Chen, Y. (CoI), Wang, L. (CoI), Zhuang, P. (CoI), Peltomäki, J. (CoI), Rajan Prakash, D. (CoI), Howaili, F. (CoI), Gulshan, R. (CoI), Yadav, D. (CoI), Pathak, C. (CoI), Mustafa, R. (CoI) & Rostami, L. (CoI)
01/01/24 → 31/12/28
Projekti: Foundation
Julkaisut
- 8 Konferenssiartikkeli
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., syysk. 2024, 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
Open accessTiedosto4 Lataukset (Pure) -
ARCH-COMP 2024 Category Report: Falsification
Peltomäki, J., Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Porres, I., Ray, R., Valentin, S., Visconti, E., Waga, M. & Zhang, Z., 2024, (Hyväksytty/In press) Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Testing cyber-physical systems with explicit output coverage
Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 syysk. 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 128-136 ( IEEE International Conference on Software Testing, Verification and Validation Workshops).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 accessTiedosto5 Sitaatiot (Scopus)77 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
22 Sitaatiot (Scopus)
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