Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Active
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J., Porres Paltor, I., Bansal, K., Lafond, S., Uppstu, P., Viitala, T., Wang, X., Wilen, C., Xu, C., Zhang, H., Lu, Z., Verma, J., Kumar, V., Frejborg, F., Wang, S., Ran, M., Ma, X., Yang, W., Liang, S., Zhang, Y., Fan, L., Chen, Y., Wang, L., Zhuang, P., Peltomäki, J., Rajan Prakash, D., Howaili, F., Gulshan, R., Yadav, D., Pathak, C. & Mustafa, R.
01/01/24 → 31/12/28
Project: Foundation
Publications
- 6 Conference contribution
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 2024, (Accepted/In press) 2024 ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT ’24). ACM, 2 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
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 › Conference contribution › Scientific › peer-review
Open AccessFile13 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-48Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
10 Citations (Scopus) -
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 › Conference contribution › Scientific › peer-review
Open Access3 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-5Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access3 Citations (Scopus)
Datasets
-
OGAN Experimental Results
Peltomäki, J. (Creator) & Porres Paltor, I. (Creator), Zenodo, 27 Sept 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Creator), Arcaini, P. (Creator), Baptista, W. (Creator), Ernst, G. (Creator), Fainekos, G. (Creator), Formica, F. (Creator), Gon, S. (Creator), Khandait, T. (Creator), Kundu, A. (Creator), Pedrielli, G. (Creator), Peltomäki, J. (Creator), Porres Paltor, I. (Creator), Ray, R. (Creator), Waga, M. (Creator) & Zhang, Z. (Creator), Zenodo, 11 Jun 2023
DOI: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Dataset