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.

Wireless sensor networks Engineering & Materials Science
Communication Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Sensors Engineering & Materials Science
Body sensor networks Engineering & Materials Science
Optical burst switching Engineering & Materials Science
Costs Engineering & Materials Science
Middleware Engineering & Materials Science

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

Research Output 2000 2019

ABAC Requirements Engineering for Database Applications

Longstaff, J. & He, M., 29 Jul 2019.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Requirements engineering
Access control
Glass
Processing

Automated Game-Theoretic Verification of Security Systems

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Security systems
Temporal logic
Markov processes
Telecommunication networks
Costs

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 contributionResearch

Data structures

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