Skip to content

Trustworthy Systems Laboratory

Organisational unit: Research Grouping

1 - 10 out of 14Page size: 10
  1. 2020
  2. Accepted/In press

    An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification

    Chance, G., Ghobrial, A., Lemaignan, S., Pipe, T. & Eder, K. I., 13 Feb 2020, (Accepted/In press). 8 p.

    Research output: Contribution to conferencePaper

  3. 2019
  4. Published

    A Corroborative Approach to Verification and Validation of Human–Robot Teams

    Webster, M., Western, D., Araiza Illan, D., Dixon, C., Eder, K. I., Fisher, M. & Pipe, A. G., 25 Nov 2019, In : International Journal of Robotics Research (IJRR). 27 p.

    Research output: Contribution to journalArticle

  5. Published

    On the impact of different types of errors on trust in human-robot interaction: Are laboratory-based HRI experiments trustworthy?

    Flook, R., Shrinah, A., Wijnen, L., Eder, K., Melhuish, C. & Lemaignan, S., 18 Nov 2019, In : Interaction Studies. 20, 3, p. 455-486 32 p.

    Research output: Contribution to journalArticle

  6. Published

    When parallel speedups hit the memory wall

    Furtunato, A. F. A., Georgiou, K., Eder, K. & Xavier-de-Souza, S., 3 May 2019, In : arXiv. 24 p.

    Research output: Contribution to journalArticle

  7. 2018
  8. Published

    Less is more: exploiting the standard compiler optimization levels for better performance and energy consumption

    Georgiou, K., Blackmore, C., Xavier De Souza, S. & Eder, K., 30 May 2018, 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018). Association for Computing Machinery (ACM), 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    The benefits of low operating voltage devices to the energy efficiency of parallel systems

    Xavier-De-Souza, S., Neves, E. A., Furtunato, A. F. A., Silveira, L. F. Q., Georgiou, K. & Eder, K. I., 3 Jan 2018, 2017 5th Berkeley Symposium on Energy Efficient Electronic Systems, E3S 2017 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), Vol. 2018-January. p. 1-3 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2017
  11. Published

    A survey of hardware technologies for mixed-critical integration explored in the project EMC2

    Isakovic, H., Grosu, R., Ratasich, D., Kadlec, J., Pohl, Z., Kerrison, S., Georgiou, K., Eder, K., Druml, N., Tadros, L., Christensen, F., Wheatley, E., Farkas, B., Meyer, R. & Berekovic, M., 27 Sep 2017, Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Proceedings. Springer-Verlag Berlin, Vol. 10489 LNCS. p. 127-140 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10489 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. E-pub ahead of print

    The IoT energy challenge: A software perspective

    Georgiou, K., Xavier-de-Souza, S. & Eder, K., 17 Aug 2017, In : IEEE Embedded Systems Letters. 4 p.

    Research output: Contribution to journalArticle

  13. Published

    A fuzzy approach to qualification in design exploration for autonomous robots and systems

    Morse, J., Araiza-Illan, D., Eder, K., Lawry, J. & Richards, A., Aug 2017, 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017. Institute of Electrical and Electronics Engineers (IEEE), 6 p. 8015456. ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats

    Chiu, S-K., Araiza Illan, D. & Eder, K. I., 20 Jul 2017, Towards Autonomous Robotic Systems: 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings. Springer, p. 166-181 16 p. (Lecture Notes in Computer Science (including Lecture Notes in Artificial Intelligence); vol. 10454).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next