Organisation profile

Organisation profile

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

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. Our work contributes towards the following SDG(s):

  • SDG 8 - Decent Work and Economic Growth
  • SDG 9 - Industry, Innovation, and Infrastructure

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 Oct 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. p. 122-144 23 p. (EPiC Series in Computing; vol. 103).

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

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

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

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

  • Localizer: A Visual Debugging Assistant for Python Programs

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

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

    Open Access
    File
    6 Downloads (Pure)