Cikkek nyilvánosan hozzáférhető megbízással - Jarkko PeltomäkiTovábbi információ
Sehol sem hozzáférhető: 1
Testing cyber-physical systems with explicit output coverage
J Peltomäki, J Winsten, M Methais, I Porres
2024 IEEE International Conference on Software Testing, Verification and …, 2024
Megbízások: European Commission
Valahol hozzáférhető: 7
Abelian powers and repetitions in Sturmian words
G Fici, A Langiu, T Lecroq, A Lefebvre, F Mignosi, J Peltomäki, ...
Theoretical Computer Science 635, 16-34, 2016
Megbízások: Government of Italy
Arch-comp 2023 category report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023
Megbízások: US National Science Foundation, US Department of Defense, Natural Sciences …
Wasserstein generative adversarial networks for online test generation for cyber physical systems
J Peltomäki, F Spencer, I Porres
Proceedings of the 15th Workshop on Search-Based Software Testing, 1-5, 2022
Megbízások: European Commission
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
J Peltomäki, I Porres
2022 IEEE International Conference on Software Testing, Verification and …, 2022
Megbízások: European Commission
Privileged factors in the Thue–Morse word—a comparison of privileged words and palindromes
J Peltomäki
Discrete Applied Mathematics 193, 187-199, 2015
Megbízások: Academy of Finland
ARCH-COMP 2024 Category Report: Falsification
T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ...
Proceedings of the 11th Int. Workshop on Applied 103, 122-144, 2024
Megbízások: US National Science Foundation, US Department of Defense, Austrian Science …
Automatic winning shifts
J Peltomäki, V Salo
Information and Computation 285, 104883, 2022
Megbízások: Academy of Finland
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.