Ei valokuvaa Jarkko Peltomäki

Jarkko Peltomäki

20222024

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

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

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

  • 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
    5 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-48

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    22 Sitaatiot (Scopus)