Projects per year
Personal profile
Biography
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.
Research interests
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.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
- 1 Similar Profiles
-
-
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
Project: Industry/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
Project: 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
Project: 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
Project: Industry/Business Finland
-
Dynamic Test Case Prioritization in Industrial Test Result Datasets
Torbunova, A., Strandberg, P. E. & Porres, I., 2024, (Submitted) 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). 4 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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, p. 151-169 (EPiC Series in Computing; vol. 96).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile4 Downloads (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, p. 43-44Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
1 Citation (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).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access1 Citation (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, p. 30-39 10 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile6 Citations (Scopus)46 Downloads (Pure)
Datasets
-
OGAN Experimental Results
Peltomäki, J. (Creator) & Porres Paltor, I. (Creator), Zenodo, 27 Sept 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Creator), Arcaini, P. (Creator), Baptista, W. (Creator), Ernst, G. (Creator), Fainekos, G. (Creator), Formica, F. (Creator), Gon, S. (Creator), Khandait, T. (Creator), Kundu, A. (Creator), Pedrielli, G. (Creator), Peltomäki, J. (Creator), Porres Paltor, I. (Creator), Ray, R. (Creator), Waga, M. (Creator) & Zhang, Z. (Creator), Zenodo, 11 Jun 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.
Waseem, S. (Creator), Moussaid, A. (Creator), Tapia, R. C. (Creator), Hasan, S. M. Z. (Creator), Porres Paltor, I. (Creator), Azimi, S. (Creator) & Lafond, S. (Creator), Zenodo, 23 May 2023
DOI: 10.5281/zenodo.8401356, https://zenodo.org/record/8401356
Dataset