Home > Research > Browse

Research

Results for Cyber physical systems (CPSs)

Publications & Outputs

  1. The Monkey, the Ant, and the Elephant: Addressing Safety in Smart Spaces

    Helal, S., 7/05/2020, In: Computer. 53, 5, p. 73-76 4 p.

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

  2. Practical Formal Verification for Model Based Development of Cyber-Physical Systems

    Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 1-8 8 p.

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

  3. 2016 Outlook: Humans in the Technology Loop

    Helal, S., 2016, In: Computer. 49, 1, p. 7-9 3 p.

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

  4. Practical use of formal verification for safety critical cyber-physical systems: A case study

    Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 25/08/2014, 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications. IEEE, p. 7-12 6 p.

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