Organization profile

Organisation profile

The Trustworthy Systems Laboratory (TSL) has been established to explore demonstrably trustworthy systems. Confidence in a system's trustworthiness can be gained in many different ways, including by design, through transparency, and through rigorous verification and validation. The new lab will help to address the increasing global demand for design techniques and systems that are not only reliable but also secure and robust to failures.

Fingerprint Dive into the research topics where Trustworthy Systems Laboratory is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    • 8 Conference Contribution (Conference Proceeding)
    • 5 Article (Academic Journal)
    • 1 Conference Paper

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

    Chance, G., Ghobrial, A., Lemaignan, S., Pipe, T. & Eder, K. I., 16 Apr 2020. 8 p.

    Research output: Contribution to conferenceConference Paper

    Open Access
    File
  • 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 (Academic Journal)

    Open Access
    File
  • 81 Downloads (Pure)

    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 (Academic Journal)

    Open Access
    File
  • 1 Citation (Scopus)
    65 Downloads (Pure)

    Student theses

    Inductive Logic Programming for Compiler Tuning

    Author: Blackmore, C., 6 Jun 2019

    Supervisor: Ray, O. (Supervisor) & Eder, K. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

    File