Projekteja vuodessa
Henkilökohtainen profiili
Biografia
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.
Tutkimuksen mielenkiinnon kohteet
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.
Asiantuntemus YK:n kestävän kehityksen tavoitteista
Vuonna 2015 YK:n jäsenvaltiot sopivat 17 maailmanlaajuisesta kestävän kehityksen tavoitteesta köyhyyden poistamiseksi, planeetan suojelemiseksi ja vaurauden takaamiseksi kaikille. Tämän henkilön työ edistää seuraavia kestävän kehityksen tavoitteita:
Sormenjälki
Sukella tutkimusaiheisiin, joissa Ivan Porres Paltor on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
-
FAST: Finnish Software Engineering Doctoral Research Network
Porres Paltor, I. (Vastuullinen tutkija), Björkqvist, J. (CoI), Truscan, D. (CoI), Lafond, S. (CoI), Lundell, A. (CoI), Torbunova, A. (Koordinaattori), Kaya, A. (CoI), Ovsiannikova, E. (CoI), Gishene, T. Y. (CoI) & Kovelakuntla Huthasana, K. H. (CoI)
01/08/24 → …
Projekti: Research
-
VST: Virtual Sea Trial
Truscan, D. (Vastuullinen tutkija), Hellström, M. (Vastuullinen tutkija), Porres Paltor, I. (CoPI), Ahmad, T. (CoI), Chariyarupadannayil Sudheerbabu, G. (Projektityöntekijä), Yaseen, A. (Projektityöntekijä), Khan, S. (Projektityöntekijä) & Mughees, A. (Projektityöntekijä)
01/01/24 → 31/12/26
Projekti: Industry/Business Finland
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J. (Vastuullinen tutkija), Porres Paltor, I. (CoPI), Bansal, K. (Koordinaattori), 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
Projekti: Foundation
-
Cyber security training cooperation network
Porres Paltor, I. (Vastuullinen tutkija), Walden, M. (Vastuullinen tutkija), Torbunova, A. (Projektityöntekijä), Nybom, K. (Projektityöntekijä) & Truscan, D. (Projektityöntekijä)
01/02/23 → 31/12/25
Projekti: Ministry / Government Agency
-
DECATRIP: Decarbonizing Transport Corridors
Tsvetkova, A. (Vastuullinen tutkija), 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
Projekti: Industry/Business Finland
-
A Survey of Security Concepts in Introductory Programming Courses in Finland
Torbunova, A. & Porres, I., 10 marrask. 2025, Proceedings of 25th International Conference on Computing Education Research, Koli Calling 2025. Leinonen, J. & Duran, R. (toim.). ACM, s. 1-11 11 Sivumäärä 4. (Proceedings of 25th International Conference on Computing Education Research, Koli Calling 2025).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
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 toukok. 2025, Extended Reality And Serious Games For Education, Competitiveness, And Wellbeing. Suni-Lopez, F., Flores, E., Cruz, H. & DosSantosNunes, E. (toim.). Springer, s. 149-163 15 Sivumäärä ( Information Systems Engineering and Management ; Vuosikerta 48).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Integrating Security Concepts Into Introductory Programming Courses
Torbunova, A. & Porres, I., 26 heinäk. 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. (toim.). Springer, s. 217-233 16 Sivumäärä (IFIP Advances in Information and Communication Technology; Vuosikerta 742 IFIPAICT).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Sitaatiot (Scopus)22 Lataukset (Pure) -
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J. & Porres, I., maalisk. 2025, julkaisussa: Automated Software Engineering. 32, 33.Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto2 Sitaatiot (Scopus)12 Lataukset (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. (toim.). IEEE, s. 235-243 9 Sivumäärä (2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
7 Lataukset (Pure)
Tietoaineistot
-
WOGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 30 syysk. 2024
DOI - pysyväislinkki: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Tietoaineisto
-
OGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 27 syysk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Tietoaineisto
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Luoja), Arcaini, P. (Luoja), Baptista, W. (Luoja), Ernst, G. (Luoja), Fainekos, G. (Luoja), Formica, F. (Luoja), Gon, S. (Luoja), Khandait, T. (Luoja), Kundu, A. (Luoja), Pedrielli, G. (Luoja), Peltomäki, J. (Luoja), Porres, I. (Luoja), Ray, R. (Luoja), Waga, M. (Luoja) & Zhang, Z. (Luoja), Zenodo, 11 kesäk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Tietoaineisto