Jarkko Peltomäki

Publikationer

Publikationer per år 2022 2022 2023 2024 2025

• 8 Publicerad konferensartikel
• 1 Artikel

Publikationer per år

Publikationer per år

Sökresultat

• 2025

  Requirement falsification for cyber-physical systems using generative models

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

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Generative Model 100%
  • Generative Models 100%
  • System Input 50%
  • Temporal Signal 50%
  • System Output 50%
• 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, s. 43-44 2 s. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Adaptive Test 100%
  • Unmanned Aerial Vehicle 100%
  • Pilotless Aircraft 100%
  • Vehicle Testing 20%
  2 Citeringar (Scopus)

  18 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/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Competition Rules 100%
  • Tool Comparison 100%
  1 Citeringar (Scopus)

  62 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/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Requirements Problem 100%
  • Test Requirement 100%
  • Coverage Algorithm 66%
  • Random Search Algorithm 33%
  • Cyberphysical Systems 33%
• 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; vol. 96).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Cyber Physical Systems 100%
  • Temporal Logic 100%
  • Model Benchmark 100%
  • Physical System 100%
  • Friendly Competition 50%
  10 Citeringar (Scopus)

  130 Nedladdningar (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

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Cyber Physical Systems 100%
  • Autonomous Driving 50%
  • Third Edition 50%
  • System Tools 50%
  • Autonomous Driving Agent 50%
  26 Citeringar (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).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  • Falsification 100%
  • Multi-arm Bandit 100%
  • Signal Temporal Logic 33%
  • Multi-armed Bandit Algorithm 33%
  • Robust Function 16%
  7 Citeringar (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

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  • Cyber Physical Systems 100%
  • Test Generation 100%
  • Generative Adversarial Networks 100%
  • Fitness Function 100%
  • Black Box 100%
  10 Citeringar (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

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  • Tool Competition 100%
  • Artificial Intelligence 100%
  • Wasserstein Generative Adversarial Network 50%
  • Test Generation Algorithm 50%
  • Online Test 50%
  10 Citeringar (Scopus)