Personal profile

Biography

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.

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):

  • SDG 3 - Good Health and Well-being
  • SDG 4 - Quality Education
  • SDG 9 - Industry, Innovation, and Infrastructure

Fingerprint

Dive into the research topics where Ivan Porres Paltor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV

    Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., Sept 2024, 2024 ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT ’24). ACM, 2 p.

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • ARCH-COMP 2024 Category Report: Falsification

    Peltomäki, J., Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Porres, I., Ray, R., Valentin, S., Visconti, E., Waga, M. & Zhang, Z., 2024, (Accepted/In press) Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24).

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

  • Dynamic Test Case Prioritization in Industrial Test Result Datasets

    Torbunova, A., Strandberg, P. E. & Porres, I., 2024, AST '24: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test. ACM, p. 154-158 4 p.

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    14 Downloads (Pure)
  • Iterative Optimization of Hyperparameter-based Metamorphic Transformations

    Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 Sept 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 13-20 (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

  • Testing cyber-physical systems with explicit output coverage

    Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 Sept 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 128-136 ( IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review