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
- 1 Liknande profiler
-
-
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
-
N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Projekt: Företag/Business Finland
-
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ångFil4 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
1 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) -
Early Detection of Network Attacks Using Deep Learning
Ahmad, T., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 30-39 10 s.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil6 Citeringar (Scopus)46 Nedladdningar (Pure)
Forskningsdatauppsättningar
-
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
-
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
-
Enhanced Westermo dataset - Transformed and Modified for Test case Selection and Priorotization in the context of Continuous Integration and Reinforcement Learning.
Waseem, S. (Skapad av), Moussaid, A. (Skapad av), Tapia, R. C. (Skapad av), Hasan, S. M. Z. (Skapad av), Porres Paltor, I. (Skapad av), Azimi, S. (Skapad av) & Lafond, S. (Skapad av), Zenodo, 23 maj 2023
DOI: 10.5281/zenodo.8401356, https://zenodo.org/record/8401356
Dataset