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

  • SDG 3 – God hälsa och välbefinnande
  • SDG 4 – God utbildning
  • SDG 9 – Hållbar industri, innovationer och infrastruktur

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
  • 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/konferenshandlingKonferensbidragVetenskapligPeer review

    Öppen tillgång
    Fil
    2 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/konferenshandlingKonferensbidragVetenskapligPeer review

    Öppen tillgång
    Fil
    27 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/konferenshandlingKonferensbidragVetenskapligPeer 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/konferenshandlingKonferensbidragVetenskapligPeer review

    Öppen tillgång
    Fil
    40 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/konferenshandlingKonferensbidragVetenskapligPeer review