Inget foto av Jarkko Peltomäki
20212025

Forskningsoutput per år

Fingeravtryck

Fördjupa i forskningsämnen där Jarkko Peltomäki är aktiv. Dessa ämnesetiketter kommer från personens arbeten. Tillsammans bildar de ett unikt fingeravtryck.
  • 1 Liknande profiler

Samarbeten och ledande forskningsområden under de senaste fem åren

Tidigare externt samarbete på landsnivå. Se mera information genom att klicka på cirklar.
  • Requirement falsification for cyber-physical systems using generative models

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

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    Öppen tillgång
    Fil
  • Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV

    Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 14 apr. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024. ACM, s. 43-44 2 s. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

    Öppen tillgång
    Fil
    2 Citeringar (Scopus)
    19 Nedladdningar (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 okt. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. s. 122-144 23 s. (EPiC Series in Computing; vol. 103).

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

    Öppen tillgång
    Fil
    1 Citeringar (Scopus)
    64 Nedladdningar (Pure)
  • Testing cyber-physical systems with explicit output coverage

    Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 sep. 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).

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

  • 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; vol. 96).

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

    Öppen tillgång
    Fil
    10 Citeringar (Scopus)
    133 Nedladdningar (Pure)