Projekt per år
Personlig profil
Biografi
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.
Forskningsintressen
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.
Expertis relaterad till FN:s globala mål för hållbar utveckling (SDG:er)
2015 godkände FN:s medlemsstater 17 globala mål för en hållbar utveckling (SDG:er), för att utrota fattigdomen, skydda planeten och garantera framgång för alla. Denna personens arbete bidrar till följande SDG(:er):
Fingeravtryck
Fördjupa i forskningsämnen där Ivan Porres Paltor är aktiv. Dessa ämnesetiketter kommer från personens arbeten. Tillsammans bildar de ett unikt fingeravtryck.
- 1 Liknande profiler
-
FAST: Finnish Software Engineering Doctoral Research Network
Porres Paltor, I. (Ansvarig forskare), Björkqvist, J. (CoI), Truscan, D. (CoI), Lafond, S. (CoI), Lundell, A. (CoI), Torbunova, A. (Koordinator), Kaya, A. (CoI), Ovsiannikova, E. (CoI), Gishene, T. Y. (CoI) & Kovelakuntla Huthasana, K. H. (CoI)
01/08/24 → …
Projekt: Forskning
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J. (Ansvarig forskare), Porres Paltor, I. (CoPI), Bansal, K. (Koordinator), Lafond, S. (CoPI), Uppstu, P. (CoPI), Viitala, T. (CoPI), Wang, X. (CoPI), Wilen, C.-E. (CoPI), Xu, C. (CoPI), Zhang, H. (CoPI), Lu, Z. (CoI), Verma, J. (CoI), Kumar, V. (CoI), Frejborg, F. (CoI), Wang, S. (CoI), Ran, M. (CoI), Ma, X. (CoI), Yang, W. (CoI), Liang, S. (CoI), Zhang, Y. (CoI), Fan, L. (CoI), Chen, Y. (CoI), Wang, L. (CoI), Zhuang, P. (CoI), Rajan Prakash, D. (CoI), Howaili, F. (CoI), Gulshan, R. (CoI), Yadav, D. (CoI), Pathak, C. (CoI), Mustafa, R. (CoI), Rostami, L. (CoI), Jafari Dargahlou, M. (CoI), Nygård, A. (CoI) & Manasut, P. (CoI)
01/01/24 → 31/12/28
Projekt: Stiftelser och fonder
-
VST: Virtual Sea Trial
Truscan, D. (Ansvarig forskare), Hellström, M. (Ansvarig forskare), Porres Paltor, I. (CoPI), Ahmad, T. (CoI), Chariyarupadannayil Sudheerbabu, G. (Projektmedarbetare), Yaseen, A. (Projektmedarbetare), Khan, S. (Projektmedarbetare) & Mughees, A. (Projektmedarbetare)
01/01/24 → 31/12/26
Projekt: Företag/Business Finland
-
Cyber security training cooperation network
Porres Paltor, I. (Ansvarig forskare), Walden, M. (Ansvarig forskare), Torbunova, A. (Projektmedarbetare), Nybom, K. (Projektmedarbetare) & Truscan, D. (Projektmedarbetare)
01/02/23 → 31/12/25
Projekt: Ministerier / Statliga myndigheter och verk
-
DECATRIP: Decarbonizing Transport Corridors
Tsvetkova, A. (Ansvarig forskare), Hellström, M. (CoI), Lilius, J. (CoI), Gustafsson, M. (CoI), Lafond, S. (CoPI), Truscan, D. (CoI), Porres Paltor, I. (CoI), Iancu, B. (CoI), Schwartz, H. (CoI) & Chen Zhou, Y. (CoI)
01/04/22 → 31/12/23
Projekt: Företag/Business Finland
-
A Survey of Security Concepts in Introductory Programming Courses in Finland
Torbunova, A. & Porres, I., 10 nov. 2025, Proceedings of 25th International Conference on Computing Education Research, Koli Calling 2025. Leinonen, J. & Duran, R. (red.). ACM, s. 1-11 11 s. 4. (Proceedings of 25th International Conference on Computing Education Research, Koli Calling 2025).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil1 Nedladdningar (Pure) -
Distributed Critical Test Generation for Cyber-Physical Systems
Kaya, A. & Porres, I., 16 sep. 2025, 37th International Conference on Testing Software and Systems. s. 107 - 124 18 s.Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
-
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 maj 2025, Extended Reality And Serious Games For Education, Competitiveness, And Wellbeing. Suni-Lopez, F., Flores, E., Cruz, H. & DosSantosNunes, E. (red.). Springer, s. 149-163 15 s. ( Information Systems Engineering and Management ; vol. 48).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
-
Integrating Security Concepts Into Introductory Programming Courses
Torbunova, A. & Porres, I., 26 juli 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. (red.). Springer, s. 217-233 16 s. (IFIP Advances in Information and Communication Technology; vol. 742 IFIPAICT).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil1 Citeringar (Scopus)37 Nedladdningar (Pure) -
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J. & Porres, I., mars 2025, I: Automated Software Engineering. 32, 33.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil3 Citeringar (Scopus)16 Nedladdningar (Pure)
Forskningsdatauppsättningar
-
OGAN Experimental Results
Peltomäki, J. (Skapad av) & Porres, I. (Skapad av), Zenodo, 27 sep. 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset
-
WOGAN Experimental Results
Peltomäki, J. (Skapad av) & Porres, I. (Skapad av), Zenodo, 30 sep. 2024
DOI: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Skapad av), Arcaini, P. (Skapad av), Baptista, W. (Skapad av), Ernst, G. (Skapad av), Fainekos, G. (Skapad av), Formica, F. (Skapad av), Gon, S. (Skapad av), Khandait, T. (Skapad av), Kundu, A. (Skapad av), Pedrielli, G. (Skapad av), Peltomäki, J. (Skapad av), Porres, I. (Skapad av), Ray, R. (Skapad av), Waga, M. (Skapad av) & Zhang, Z. (Skapad av), Zenodo, 11 juni 2023
DOI: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Dataset