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 best research tools for falsification of formal requirements for cyber-pysical 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
- 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
-
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, M. S. W. (Projektmedarbetare) & Mughees, A. (Projektmedarbetare)
01/01/24 → 31/12/26
Projekt: Företag/Business Finland
-
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
-
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
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 14 apr. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024. ACM, s. 43-44 2 s. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil2 Citeringar (Scopus)14 Nedladdningar (Pure) -
ARCH-COMP 2024 Category Report: Falsification
Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M. & Zhang, Z., 10 okt. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. s. 122-144 23 s. (EPiC Series in Computing; vol. 103).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil27 Nedladdningar (Pure) -
A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
Torbunova, A., Ashraf, A. & Porres, I., 27 dec. 2024, 2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, s. 288-295 8 s. (Proceedings (EUROMICRO Conference on Software Engineering and Advanced Applications)).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Dynamic Test Case Prioritization in Industrial Test Result Datasets
Torbunova, A., Strandberg, P. E. & Porres, I., 15 apr. 2024, Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024. ACM, s. 154-158 4 s. (Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil40 Nedladdningar (Pure) -
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Forskningsdatauppsättningar
-
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
-
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
-
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