Organization profile

Profile Information

The research within the Software and Systems Research Group covers a wide range of topics in Computer Science. Our areas of work include programming theories and semantics, formal specification and verification, specialised/advanced program logics, program analysis and refinement, interactive theorem proving, reversible computing, internet of things and cyber-physical systems.

The aim and vision of our research is to enable and support the construction of reliable, safe, and secure software and systems. For this, we apply mathematically-founded techniques to the specification, modelling, verification and validation of software and systems. We are also keen to work closely with industrial partners to support the design and implementation of intelligent and reliable software and systems via knowledge transfer partnerships or consultancy. Our research also has strong connection and involvement with Teesside University Grand Challenge themes such as Resilient and Secure Societies, Digital and Creative Economy.

Fingerprint Dive into the research topics where Software & Systems Research Group 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

    How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

    Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

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

  • ABAC Requirements Engineering for Database Applications

    Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

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

    Open Access
    File
  • 49 Downloads (Pure)

    Automated Game-Theoretic Verification of Security Systems

    Mu, C., 10 Sep 2019.

    Research output: Contribution to conferencePaper

    Open Access
    File
  • Student theses

    Computer aided analysis of paraspinal electromyography

    Author: Coxon, A., 8 Feb 2013

    Supervisor: Longstaff, J. (Supervisor)

    Student thesis: Doctoral Thesis

    File

    Reasoning About C11 Programs with Fences and Relaxed Atomics

    Author: He, M., 16 Feb 2018

    Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)

    Student thesis: Doctoral Thesis