Ei valokuvaa Jarkko Peltomäki

Jarkko Peltomäki

20222024

Julkaisut ja projektit vuosittain

  • 8 Konferenssiartikkeli

Hakutulokset

  • 2024

    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
    1 Sitaatiot (Scopus)
    7 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, 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

  • 2023

    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 access
    Tiedosto
    7 Sitaatiot (Scopus)
    89 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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    22 Sitaatiot (Scopus)
  • 2022

    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 access
    5 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-5

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    9 Sitaatiot (Scopus)

  • WOGAN at the SBST 2022 CPS tool competition

    Peltomäki, J., Spencer, F. & Porres, I., 2022, 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST). IEEE, s. 53-54

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    9 Sitaatiot (Scopus)