Projects per year
Personal profile
Biography
Dr. Eng. Ivan Porres is a professor in Software Engineering and head of the Computer Science and Engineering subjects at Åbo Akademi University. His research work focuses on trustworthy software & AI, specially the design, verification and validation of mission critical software-intensive systems, software engineering for AI and AI for software engineering.
Research interests
You can find my latest arXiv preprints here.
We are developing a method and tool for validation of software and system models for cyber-physical systems named STGEM. STGEM uses generative machine learning to produce scenarios for adaptive testing. STGEM is one of the best research tools for falsification of formal requirements for cyber-pysical systems. The code is available in this repository.
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):
Fingerprint
- 1 Similar Profiles
-
VST: Virtual Sea Trial
Truscan, D. (Principal Investigator), Hellström, M. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Project staff), Yaseen, A. (Project staff), Khan, M. S. W. (Project staff) & Mughees, A. (Project staff)
01/01/24 → 31/12/26
Project: Industry/Business Finland
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Bansal, K. (Coordinator), Lafond, S. (Co-Principal Investigator), Uppstu, P. (Co-Principal Investigator), Viitala, T. (Co-Principal Investigator), Wang, X. (Co-Principal Investigator), Wilen, C.-E. (Co-Principal Investigator), Xu, C. (Co-Principal Investigator), Zhang, H. (Co-Principal Investigator), Lu, Z. (Co-Investigator), Verma, J. (Co-Investigator), Kumar, V. (Co-Investigator), Frejborg, F. (Co-Investigator), Wang, S. (Co-Investigator), Ran, M. (Co-Investigator), Ma, X. (Co-Investigator), Yang, W. (Co-Investigator), Liang, S. (Co-Investigator), Zhang, Y. (Co-Investigator), Fan, L. (Co-Investigator), Chen, Y. (Co-Investigator), Wang, L. (Co-Investigator), Zhuang, P. (Co-Investigator), Peltomäki, J. (Co-Investigator), Rajan Prakash, D. (Co-Investigator), Howaili, F. (Co-Investigator), Gulshan, R. (Co-Investigator), Yadav, D. (Co-Investigator), Pathak, C. (Co-Investigator), Mustafa, R. (Co-Investigator) & Rostami, L. (Co-Investigator)
01/01/24 → 31/12/28
Project: Foundation
-
DECATRIP: Decarbonizing Transport Corridors
Tsvetkova, A. (Principal Investigator), Hellström, M. (Co-Investigator), Lilius, J. (Co-Investigator), Gustafsson, M. (Co-Investigator), Lafond, S. (Co-Principal Investigator), Truscan, D. (Co-Investigator), Porres Paltor, I. (Co-Investigator), Iancu, B. (Co-Investigator), Schwartz, H. (Co-Investigator) & Chen Zhou, Y. (Co-Investigator)
01/04/22 → 31/12/23
Project: Industry/Business Finland
-
AIDOaRT
Porres Paltor, I. (Principal Investigator), Truscan, D. (Co-Principal Investigator), Nybom, K. (Co-Investigator) & Logacheva, E. (Co-Investigator)
01/04/21 → 30/09/24
Project: EU
-
VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ashraf, A. (Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Co-Investigator) & Chapagain, S. (Principal Investigator)
01/10/20 → 31/01/24
Project: EU
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., Sept 2024, 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
Open AccessFile6 Downloads (Pure) -
ARCH-COMP 2024 Category Report: Falsification
Peltomäki, J., Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Porres, I., Ray, R., Valentin, S., Visconti, E., Waga, M. & Zhang, Z., 2024, (Accepted/In press) Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Dynamic Test Case Prioritization in Industrial Test Result Datasets
Torbunova, A., Strandberg, P. E. & Porres, I., 2024, AST '24: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test. ACM, p. 154-158 4 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile14 Downloads (Pure) -
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 Sept 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 13-20 (IEEE International Conference on Software Testing, Verification and Validation Workshops).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Testing cyber-physical systems with explicit output coverage
Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 Sept 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 128-136 ( IEEE International Conference on Software Testing, Verification and Validation Workshops).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Datasets
-
WOGAN Experimental Results
Peltomäki, J. (Creator) & Porres, I. (Creator), Zenodo, 30 Sept 2024
DOI: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Dataset
-
Enhanced Westermo dataset - Transformed and Modified for Test case Selection and Priorotization in the context of Continuous Integration and Reinforcement Learning.
Moussaid, A. (Creator), Tapia, R. C. (Creator), Waseem, S. (Creator), Hasan, S. M. Z. (Creator), Azimi, S. (Creator), Lafond, S. (Creator) & Porres Paltor, I. (Creator), Zenodo, 23 May 2023
DOI: 10.5281/zenodo.7941024, https://zenodo.org/record/7941024 and one more link, https://zenodo.org/record/8401356 (show fewer)
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, 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
-
OGAN Experimental Results
Peltomäki, J. (Creator) & Porres, I. (Creator), Zenodo, 27 Sept 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset