Ei valokuvaa Jarkko Peltomäki

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
Näytä koko sormenjälki

Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Tutki verkkoa laajemmin
  • 1 Päättynyt
  • 8 Konferenssiartikkeli
  • 2 Artikkeli

  • 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 access
    Tiedosto
    2 Sitaatiot (Scopus)
    12 Lataukset (Pure)

  • The repetition threshold for ternary rich words

    Currie, J. D., Mol, L. & Peltomäki, J., 20 kesäk. 2025, julkaisussa: Electronic Journal of Combinatorics. 32, 2, P2.55.

    Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Lataukset (Pure)

  • 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 access
    Tiedosto
    3 Sitaatiot (Scopus)
    57 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 access
    Tiedosto
    9 Sitaatiot (Scopus)
    170 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

    2 Sitaatiot (Scopus)
Näytä kaikki 10 julkaisut