Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 9 Industry, Innovation, and Infrastructure
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Finished
-
AIDOaRT
Porres Paltor, I. (Principal Investigator), Truscan, D. (Co-Principal Investigator), Nybom, K. (Co-Investigator), Logacheva, E. (Co-Investigator), Winsten, J. (Co-Investigator) & Peltomäki, J. (Co-Investigator)
01/04/21 → 30/09/24
Project: EU
-
stgem: A software library to develop falsification and test generation tools for cyber-physical systems using generative models
Porres, I., Peltomäki, J., Soloviev, V., Wihlman, E. & Winsten, J., 9 Nov 2025, (Accepted/In press) In: Science of Computer Programming. 10 p., 103412.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access -
Unified Search for Multi-requirement Falsification for Cyber-Physical Systems
Winsten, J. & Porres, I., 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025. Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (eds.). IEEE, p. 235-243 9 p. (2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025).Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review
1 Citation (Scopus)7 Downloads (Pure) -
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 AccessFile5 Citations (Scopus)88 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
2 Citations (Scopus) -
A Benchmark for Maritime Object Detection with Centernet on an Improved Dataset, ABOships-PLUS
Iancu, B., Winsten, J., Soloviev, V. & Lilius, J., 22 Aug 2023, In: Journal of Marine Science and Engineering. 11, 9, 18 p., 1638.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile13 Citations (Scopus)212 Downloads (Pure)
Datasets
-
ABOships-PLUS
Jesper, W. (Creator), Bogdan, I. (Creator), Valentin, S. (Creator) & Johan, L. (Creator), Zenodo, 8 Jan 2024
DOI: 10.5281/zenodo.10469672, https://zenodo.org10469672
Dataset
-
ABOships-PLUS
Jesper, W. (Creator), Bogdan, I. (Creator), Valentin, S. (Creator) & Johan, L. (Creator), Zenodo, 8 Jan 2024
DOI: 10.5281/zenodo.8383205, https://zenodo.org/record/8383205
Dataset