Mission Critical Software

  • 18 Citations
  • 2 h-index
  • 4 Conference contribution
  • 1 Other contribution
Filter
Conference contribution

Search results

  • Conference contribution

    Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

    Sadovykh, A., Truscan, D. & Bruneliere, H., 2021, 2021 IEEE 29th International Requirements Engineering Conference (RE). Los Alamitos, CA, USA: IEEE, p. 367-377 11 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    5 Citations (Scopus)
    37 Downloads (Pure)

  • Enabling fast exploration and validation of thermal dissipation requirements for heterogeneous SoCs

    Öhrling, J., Truscan, D. & Lafond, S., May 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. IEEE, p. 114-123 10 p. 9440167

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)

  • Security Requirements as Code: Example from VeriDevOps Project

    Ismaeel, K., Naumchev, A., Sadovykh, A., Truscan, D., Enoiu, E. P. & Seceleanu, C., 2021, Proceedings - 29th IEEE International Requirements Engineering Conference Workshops, REW 2021. Yue, T. & Mirakhorli, M. (eds.). IEEE, p. 357-363 7 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    69 Downloads (Pure)

  • VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps

    Sadovykh, A., Widforss, G., Truscan, D., Enoiu, E. P., Mallouli, W., Iglesias, R., Bagnto, A. & Hendel, O., 1 Feb 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. the Institute of Electrical and Electronics Engineers, Inc., p. 1330-1333 4 p. 9474185. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2021-February).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    File
    9 Citations (Scopus)
    30 Downloads (Pure)