Jarkko Peltomäki

47 papers B 1Journal 36Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Requirement falsification for cyber-physical systems using generative models.
Autom. Softw. Eng.
Jarkko Peltomäki, Ivan Porres
2025 J jnl
The Repetition Threshold for Ternary Rich Words.
Electron. J. Comb.
James D. Currie, Lucas Mol, Jarkko Peltomäki
2024 — conf
Adaptive Test Generation for Unmanned Aerial Vehicles using WOGAN-UAV.
SBFT@ICSE
Jesper Winsten, Valentin Soloviev, Jarkko Peltomäki, Ivan Porres
2024 J jnl
Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents.
Eur. J. Comb.
Jarkko Peltomäki
2024 J jnl
Learning test generators for cyber-physical systems.
CoRR
Jarkko Peltomäki, Ivan Porres
2024 — conf
Testing cyber-physical systems with explicit output coverage.
ICSTW
Jarkko Peltomäki, Jesper Winsten, Maxime Methais, Ivan Porres
2024 J jnl
The repetition threshold for ternary rich words.
CoRR
James D. Currie, Lucas Mol, Jarkko Peltomäki
2023 — conf
ARCH-COMP23 Category Report: Falsification.
ARCH
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
2023 J jnl
Requirement falsification for cyber-physical systems using generative models.
CoRR
Jarkko Peltomäki, Ivan Porres
2023 — conf
SBFT Tool Competition 2023 - Cyber-Physical Systems Track.
SBFT
Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio
2022 J jnl
Automatic winning shifts.
Inf. Comput.
Jarkko Peltomäki, Ville Salo
2022 — conf
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits.
ICST Workshops
Jarkko Peltomäki, Ivan Porres
2022 J jnl
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits.
CoRR
Jarkko Peltomäki, Ivan Porres
2022 — conf
WOGAN at the SBST 2022 CPS Tool Competition.
SBST@ICSE
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2022 J jnl
WOGAN at the SBST 2022 CPS Tool Competition.
CoRR
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2022 — conf
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems.
SBST@ICSE
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2022 J jnl
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems.
CoRR
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2021 J jnl
Automatic winning shifts.
CoRR
Jarkko Peltomäki, Ville Salo
2021 J jnl
Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents.
CoRR
Jarkko Peltomäki
2021 J jnl
On prefix palindromic length of automatic words.
Theor. Comput. Sci.
Anna E. Frid, Enzo Laborde, Jarkko Peltomäki
2021 J jnl
Standard words and solutions of the word equation X12⋯Xn2=(X1⋯Xn)2.
J. Comb. Theory A
Jarkko Peltomäki, Aleksi Saarela
2020 B conf
All Growth Rates of Abelian Exponents Are Attained by Infinite Binary Words.
MFCS
Jarkko Peltomäki, Markus A. Whiteland
2020 J jnl
Avoiding abelian powers cyclically.
Adv. Appl. Math.
Jarkko Peltomäki, Markus A. Whiteland
2020 J jnl
Avoiding abelian powers cyclically.
CoRR
Jarkko Peltomäki, Markus A. Whiteland
2020 J jnl
More on the dynamics of the symbolic square root map.
Theor. Comput. Sci.
Jarkko Peltomäki, Markus A. Whiteland
2020 J jnl
On prefix palindromic length of automatic words.
CoRR
Anna E. Frid, Enzo Laborde, Jarkko Peltomäki
2020 J jnl
Standard words and solutions of the word equation $X_1^2 \dotsm X_n^2 = (X_1 \dotsm X_n)^2$.
CoRR
Jarkko Peltomäki, Aleksi Saarela
2019 J jnl
Abelian periods of factors of Sturmian words.
CoRR
Jarkko Peltomäki
2019 J jnl
Automatic sequences based on Parry or Bertrand numeration systems.
Adv. Appl. Math.
Adeline Massuir, Jarkko Peltomäki, Michel Rigo
2019 — conf
Every Nonnegative Real Number Is an Abelian Critical Exponent.
WORDS
Jarkko Peltomäki, Markus A. Whiteland
2019 J jnl
Every nonnegative real number is an abelian critical exponent.
CoRR
Jarkko Peltomäki, Markus A. Whiteland
2019 J jnl
On winning shifts of marked uniform substitutions.
RAIRO Theor. Informatics Appl.
Jarkko Peltomäki, Ville Salo
2018 J jnl
Automatic sequences based on Parry or Bertrand numeration systems.
CoRR
Adeline Massuir, Jarkko Peltomäki, Michel Rigo
2018 J jnl
More on the dynamics of the symbolic square root map.
CoRR
Jarkko Peltomäki, Markus A. Whiteland
2018 J jnl
On k-abelian Equivalence and Generalized Lagrange Spectra.
CoRR
Jarkko Peltomäki, Markus A. Whiteland
2017 J jnl
A Square Root Map on Sturmian Words.
Electron. J. Comb.
Jarkko Peltomäki, Markus A. Whiteland
2017 — conf
More on the Dynamics of the Symbolic Square Root Map - (Extended Abstract).
WORDS
Jarkko Peltomäki, Markus A. Whiteland
2017 J jnl
On winning shifts of marked uniform substitutions.
CoRR
Jarkko Peltomäki, Ville Salo
2016 J jnl
Abelian powers and repetitions in Sturmian words.
Theor. Comput. Sci.
Gabriele Fici, Alessio Langiu, Thierry Lecroq, Arnaud Lefebvre, Filippo Mignosi, Jarkko Peltomäki, Élise Prieur-Gaston
2016 J jnl
Remarks on Privileged Words.
Int. J. Found. Comput. Sci.
Michael Forsyth, Amlesh Jayakumar, Jarkko Peltomäki, Jeffrey O. Shallit
2015 — conf
A Square Root Map on Sturmian Words - (Extended Abstract).
WORDS
Jarkko Peltomäki, Markus A. Whiteland
2015 J jnl
A square root map on Sturmian words.
CoRR
Jarkko Peltomäki, Markus A. Whiteland
2015 J jnl
Characterization of repetitions in Sturmian words: A new proof.
Inf. Process. Lett.
Jarkko Peltomäki
2015 J jnl
Privileged factors in the Thue-Morse word - A comparison of privileged words and palindromes.
Discret. Appl. Math.
Jarkko Peltomäki
2014 J jnl
Characterization of Repetitions in Sturmian Words: A New Proof.
CoRR
Jarkko Peltomäki
2013 J jnl
Introducing privileged words: Privileged complexity of Sturmian words.
Theor. Comput. Sci.
Jarkko Peltomäki
2012 J jnl
Introducing Privileged Words: Privileged Complexity of Sturmian Words
CoRR
Jarkko Peltomäki