Home > Research > Browse

Research

Results for Formal modeling

Publications & Outputs

  1. 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

  2. Observing walking behavior of humans using distributed phenomenon detection and tracking mechanisms

    Bose, R. & Helal, S., 2008, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE, p. 405-408 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review