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

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

    Öppen tillgång
    Fil
    4 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-44

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer 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/konferenshandlingKonferensbidragVetenskapligPeer review

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

    Öppen tillgång
    Fil
    6 Citeringar (Scopus)
    46 Nedladdningar (Pure)