Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Virtual reality Engineering & Materials Science
Planning Engineering & Materials Science
Engines Engineering & Materials Science
Specifications Engineering & Materials Science
Augmented reality Engineering & Materials Science
Semantics Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Experiments Engineering & Materials Science

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

Profiles

Photo of Andrew Bingham

Andrew Bingham

Person: Senior Academic

20062012
Photo of Alison Brown

Alison Brown

Person: Senior Academic

Photo of Siobhan Fenton

Siobhan Fenton

Person: Senior Academic

Research Output 2000 2018

7 Downloads (Pure)

Automated Modular Verification for Relaxed Communication Protocols

Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Open Access
File
Network protocols
Data storage equipment
Communication
6 Downloads (Pure)

Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

Wang, J., Sun, J., Qin, S. & Jegourel, C., 14 Dec 2018, In : IEEE Transactions on Software Engineering. 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Large scale systems
Model checking
Water treatment
Systems analysis
Sampling

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

Shi, L., Zhao, Y., Liu, Y., Sun, J., Dong, J. S. & Qin, S., 1 Aug 2018, In : Formal Aspects of Computing. 30, 3-4, p. 351-380 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Denotational Semantics
Encoding
Semantics
Trace
Concurrent Systems