Projekt per år
Personlig profil
Biografi
Dr. Eng. Ivan Porres is a professor in Software Engineering and the head of 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
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
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J., Porres Paltor, I., Bansal, K., Lafond, S., Uppstu, P., Viitala, T., Wang, X., Wilen, C., Xu, C., Zhang, H., Lu, Z., Verma, J., Kumar, V., Frejborg, F., Wang, S., Ran, M., Ma, X., Yang, W., Liang, S., Zhang, Y., Fan, L., Chen, Y., Wang, L., Zhuang, P., Peltomäki, J., Rajan Prakash, D., Howaili, F., Gulshan, R., Yadav, D., Pathak, C. & Mustafa, R.
01/01/24 → 31/12/28
Projekt: Stiftelser och fonder
-
DECATRIP: Decarbonizing Transport Corridors
Tsvetkova, A., Hellström, M., Lilius, J., Gustafsson, M., Lafond, S., Truscan, D., Porres Paltor, I., Iancu, B., Schwartz, H. & Chen, Y.
01/04/22 → 31/12/23
Projekt: Företag/Business Finland
-
-
VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D., Porres Paltor, I., Ashraf, A., Ahmad, T., Chariyarupadannayil Sudheerbabu, G. & Chapagain, S.
01/10/20 → 31/01/24
Projekt: EU
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
01/04/17 → 31/03/20
Projekt: EU
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 2024, (Accepterad/under tryckning) 2024 ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT ’24). ACM, 2 s.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., 2024, (Inskickad) 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). 4 s.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
ARCH-COMP 2023 Category Report: Falsification
Menghi, C., Arcaini, P., Baptista, W., Ernst, G., Fainekos, G., Formica, F., Gon, S., Khandait, T., Kundu, A., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Waga, M. & Zhang, Z., 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EasyChair, s. 151-169 (EPiC Series in Computing; vol. 96).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil13 Nedladdningar (Pure) -
WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
Winsten, J. & Porres, I., 2023, 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). IEEE, s. 43-44Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
2 Citeringar (Scopus) -
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
Sudheerbabu, G., Ahmad, T., Sebek, F., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2022-September).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgång1 Citeringar (Scopus)
Forskningsdatauppsättningar
-
OGAN Experimental Results
Peltomäki, J. (Skapad av) & Porres Paltor, 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 Paltor, 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
-
Enhanced Westermo dataset - Transformed and Modified for Test case Selection and Priorotization in the context of Continuous Integration and Reinforcement Learning.
Moussaid, A. (Skapad av), Tapia, R. C. (Skapad av), Waseem, S. (Skapad av), Hasan, S. M. Z. (Skapad av), Azimi, S. (Skapad av), Lafond, S. (Skapad av) & Porres Paltor, I. (Skapad av), Zenodo, 23 maj 2023
DOI: 10.5281/zenodo.7941024, https://zenodo.org/record/7941024 och en till länk, https://zenodo.org/record/8401356 (visa färre)
Dataset