No photo of Jarkko Peltomäki

Jarkko Peltomäki

20212025

Research activity per year

  • 8 Published conference proceeding
  • 1 Article

Search results

  • 2025

    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 journal › Article › Scientific › peer-review

    Open Access
    File
  • 2024

    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 proceeding › Published conference proceeding › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    19 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 proceeding › Published conference proceeding › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    67 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 proceeding › Published conference proceeding › Scientific › peer-review

  • 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, p. 151-169 (EPiC Series in Computing; vol. 96).

    Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

    Open Access
    File
    11 Citations (Scopus)
    134 Downloads (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, p. 45-48

    Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

    26 Citations (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, p. 21-28 (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

    Open Access
    8 Citations (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, p. 1-5

    Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

    Open Access
    10 Citations (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, p. 53-54

    Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

    Open Access
    10 Citations (Scopus)