Home > Research > Browse

Research

Results for Embedded systems

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. Understanding Security Requirements for Industrial Control System Supply Chains

    Hou, Y., Such, J. & Rashid, A., 5/09/2019, 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). IEEE, p. 50-53 4 p. 8823698

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

  3. MakeCode and CODAL: Intuitive and efficient embedded systems programming for education

    Devine, J., Finney, J., de Halleux, P., Moskal, M., Ball, T. & Hodges, S., 1/09/2019, In: Journal of Systems Architecture. 98, p. 468-483 16 p.

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

  4. Demo abstract: DIY health IoT apps

    Khaled, A., Lindquist, W. & Helal, S., 7/11/2018, SenSys '18 Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems. New York: ACM, p. 406-407 2 p.

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

  5. MakeCode and CODAL: Intuitive and efficient embedded systems programming for education

    Devine, J., Finney, J., De Halleux, P., Moskal, M., Ball, T. & Hodges, S., 19/06/2018, LCTES 2018 - Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Co-located with PLDI 2018. Dubach, C. & Zhang, Z. (eds.). Association for Computing Machinery (ACM), p. 19-30 12 p. (Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)).

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

  6. Novel efficient techniques for real-time cloud security assessment

    Modic, J., Trapero, R., Taha, A., Luna, J., Stopar, M. & Suri, N., 1/09/2016, In: Computers and Security. 62, p. 1-18 18 p.

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

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

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

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

  10. WiP abstract: A framework on profiling cross-domain noise propagation in control CPS

    Tan, F., Liu, L., Winter, S., Wang, Q., Suri, N., Bu, L., Peng, Y., Liu, X. & Peng, X., 14/04/2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). IEEE, p. 224 1 p.

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

  11. Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach

    Tan, F., Wang, Y., Wang, Q., Bu, L., Zheng, R. & Suri, N., 24/06/2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

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

More results »