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.

Semantics Engineering & Materials Science
Wireless sensor networks Engineering & Materials Science
Communication Engineering & Materials Science
Specifications Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Computer hardware description languages Engineering & Materials Science
Hardware Engineering & Materials Science
Data structures Engineering & Materials Science

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

Research Output 2000 2019

19 Downloads (Pure)

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
Requirements engineering
Access control

Automated Game-Theoretic Verification of Security Systems

Mu, C., 2019, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access
Security systems
Temporal logic
Markov processes
Telecommunication networks

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 20 Jul 2019, (Accepted/In press) the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

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

Open Access
Data structures

Student theses

Computer aided analysis of paraspinal electromyography

Author: Coxon, A., 8 Feb 2013

Supervisor: Longstaff, J. (Supervisor)

Student thesis: Doctoral Thesis


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