No photo of Jarkko Peltomäki
20212025

Research activity per year

Fingerprint

Dive into the research topics where Jarkko Peltomäki is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Requirement falsification for cyber-physical systems using generative models

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

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 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, p. 43-44 2 p. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review

    Open Access
    File
    2 Citations (Scopus)
    18 Downloads (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 Oct 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. p. 122-144 23 p. (EPiC Series in Computing; vol. 103).

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review

    Open Access
    File
    1 Citation (Scopus)
    60 Downloads (Pure)
  • Testing cyber-physical systems with explicit output coverage

    Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 Sept 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, p. 128-136 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-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, p. 151-169 (EPiC Series in Computing; vol. 96).

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review

    Open Access
    File
    10 Citations (Scopus)
    130 Downloads (Pure)