Organisationsprofil

Organisationsprofil

Our research focuses on the design, verification and validation of resillient and secure software-intensive systems for mission critical applications.  

FN:s hållbara utvecklingsmål

År 2015 godkände FN:s medlemsstater 17 globala mål för en hållbar utveckling, för att utrota fattigdomen, skydda planeten och garantera välstånd för alla. Vårt arbete bidrar till följande hållbara utvecklingsmål:

  • SDG 8 – Anständiga arbetsvillkor och ekonomisk tillväxt
  • SDG 9 – Hållbar industri, innovationer och infrastruktur

Samarbeten och ledande forskningsområden under de senaste fem åren

Tidigare externt samarbete på landsnivå. Se mera information genom att klicka på cirklar.
  • 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
    46 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

  • Localizer: A Visual Debugging Assistant for Python Programs

    Khan, S., Sudheerbabu, G., Truscan, D. & Ahmad, T., 13 sep. 2024, DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024. Boix, E. G. & Scholliers, C. (red.). New York, NY, USA: ACM, s. 34–35 (DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024).

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    Öppen tillgång
    Fil
    6 Nedladdningar (Pure)