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)
    • 6 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
  • Lost in translation: Exposing hidden compiler optimization opportunities

    Georgiou, K., Chamski, Z., Amaya Garcia, A., May, D. & Eder, K. I., 7 Aug 2020, In : The Computer Journal. 18 p., bxaa103.

    Research output: Contribution to journalArticle (Academic Journal)

  • 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
  • 102 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