Mission critical software systems

Organisaation profiili

Organisaation profiili

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

YK:n kestävän kehityksen tavoitteet

Vuonna 2015 YK:n jäsenvaltiot sopivat 17 maailmanlaajuisesta kestävän kehityksen tavoitteesta (Sustainable Development Goal, SDG) poistamaan köyhyyden, suojelemaan planeettaa ja takaamaan vaurauden kaikille. Työmme edistää seuraavia kestävän kehityksen tavoitteita:

  • SDG 8 – Ihmisarvoinen työ ja taloudellinen kasvu
  • SDG 9 – Teollisuus, innovaatiot ja infrastruktuuri

Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Tutki verkkoa laajemmin
Näytä kaikki 12 projektit
  • 9 Viittaukset
  • 1 h-index
  • 4 Konferenssiartikkeli
  • 1 Artikkeli

  • 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 lokak. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vuosikerta 103. s. 122-144 23 Sivumäärä (EPiC Series in Computing; Vuosikerta 103).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    44 Lataukset (Pure)

  • Iterative Optimization of Hyperparameter-based Metamorphic Transformations

    Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 syysk. 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).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Localizer: A Visual Debugging Assistant for Python Programs

    Khan, S., Sudheerbabu, G., Truscan, D. & Ahmad, T., 13 syysk. 2024, DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024. Boix, E. G. & Scholliers, C. (toim.). 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).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    6 Lataukset (Pure)
Näytä kaikki 5 julkaisut
  • 1 Konferenssin, symposiumin tai työpajan järjestäminen