Ei valokuvaa Jarkko Peltomäki
20212025

Julkaisut ja projektit vuosittain

Sormenjälki

Sukella tutkimusaiheisiin, joissa Jarkko Peltomäki on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 1 Samanlaiset profiilit

Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
  • Requirement falsification for cyber-physical systems using generative models

    Peltomäki, J. & Porres, I., maalisk. 2025, julkaisussa: Automated Software Engineering. 32, 33.

    Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
  • 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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    2 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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    5 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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    13 Sitaatiot (Scopus)
    142 Lataukset (Pure)