Home > Research > Browse

Research

Results for Runtime verification

Publications & Outputs

  1. Goosewolf: An Embedded Intrusion Detection System for Advanced Programmable Logic Controllers

    Allison, D., McLaughlin, K. & Smith, P., 31/12/2023, In: Digital Threats: Research and Practice. 4, 4, p. 1-19 19 p., 59.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Bridging the gap between single- and multi-model predictive runtime verification

    Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review