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 top research tools for falsification of formal requirements for cyber-physical 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
-
FAST: Finnish Software Engineering Doctoral Research Network
Porres Paltor, I. (Principal Investigator), Björkqvist, J. (Co-Investigator), Truscan, D. (Co-Investigator), Lafond, S. (Co-Investigator), Lundell, A. (Co-Investigator), Torbunova, A. (Coordinator), Kaya, A. (Co-Investigator), Ovsiannikova, E. (Co-Investigator), Gishene, T. Y. (Co-Investigator) & Kovelakuntla Huthasana, K. H. (Co-Investigator)
01/08/24 → …
Project: Research
-
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), 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), Jafari Dargahlou, M. (Co-Investigator), Nygård, A. (Co-Investigator) & Manasut, P. (Co-Investigator)
01/01/24 → 31/12/28
Project: Foundation
-
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, S. (Project staff) & Mughees, A. (Project staff)
01/01/24 → 31/12/26
Project: Industry/Business Finland
-
Cyber security training cooperation network
Porres Paltor, I. (Principal Investigator), Walden, M. (Principal Investigator), Torbunova, A. (Project staff), Nybom, K. (Project staff) & Truscan, D. (Project staff)
01/02/23 → 31/12/25
Project: Ministry / Government Agency
-
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
-
A Survey of Security Concepts in Introductory Programming Courses in Finland
Torbunova, A. & Porres, I., 10 Nov 2025, Koli Calling '25: Proceedings of the 25th Koli Calling International Conference on Computing Education Research. ACM, p. 1-11 11 p. 4Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review
Open AccessFile -
Dynamic Test Case Prioritization and Selection for Continuous Integration Using Reinforcement Learning
Waseem, S., Moussaid, A., Tapia, R. C., Hasan, S. M. Z., Paltor, I. P. & Lafond, S., 18 May 2025, Extended Reality And Serious Games For Education, Competitiveness, And Wellbeing. Suni-Lopez, F., Flores, E., Cruz, H. & DosSantosNunes, E. (eds.). Springer, p. 149-163 15 p. ( Information Systems Engineering and Management ; vol. 48).Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review
-
Integrating Security Concepts Into Introductory Programming Courses
Torbunova, A. & Porres, I., 26 Jul 2025, Information Security Education. Empowering People Through Information Security Education - 17th IFIP WG 11.8 World Conference, WISE 2025, Proceedings. Drevin, L., Leung, W. S. & von Solms, S. (eds.). Springer, p. 217-233 16 p. (IFIP Advances in Information and Communication Technology; vol. 742 IFIPAICT).Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review
Open AccessFile21 Downloads (Pure) -
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J. & Porres, I., Mar 2025, In: Automated Software Engineering. 32, 33.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile2 Citations (Scopus)5 Downloads (Pure) -
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
7 Downloads (Pure)
Datasets
-
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
-
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
-
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