If you made any changes in Pure these will be visible here soon.

Research Output 2000 2019

Filter
Paper
2018

Variant Region Types

Craciun, F., Chin, W. & Qin, S., 27 Dec 2018, p. 126-135.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
Data storage equipment
Big data
2017
19 Downloads (Pure)

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control

Huang, C., Chen, X., Zhang, Y., Qin, S., Zeng, Y. & Li, X., 19 Aug 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Model predictive control
Navigation
Robots
Linear systems
Trajectories
31 Downloads (Pure)

Time-sensitive Information Flow Control in Timed Event-B

Mu, C. & Qin, S., 13 Sep 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Flow control
Specifications
Application programs
Monitoring
2016
20 Downloads (Pure)

Concurrent On-the-fly SCC Detection for Automata-based Model Checking with Fairness Assumption

Wu, Z., Gunay, A., Liu, Y. & Qin, S., 6 Nov 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Model checking
Temporal logic
Large scale systems
Chemical analysis
Costs

Formalization and Verification of the Powerlink Protocol using CSP

Pang, H., Li, J., Ruan, Y., Huang, Y., Shi, J. & Qin, S., 6 Dec 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Ethernet
Network protocols
Data communication systems
Automation
Scheduling
11 Downloads (Pure)

Hierarchical Model Predictive Control for Multi-Robot Navigation

Huang, C., Chen, X., Zhang, Y., Qin, S., Zeng, Y. & Li, X., 9 Jul 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Model predictive control
Navigation
Robots
Trajectories
18 Downloads (Pure)

Reasoning about Fences and Relaxed Atomics

He, M., Vafeiadis, V., Qin, S. & Ferreira, J., 17 Feb 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
23 Downloads (Pure)

State-Taint Analysis for Detecting Resource Bugs

Xu, Z., Fan, D. & Qin, S., 17 Jul 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Leak detection
Smartphones
Experiments
2015
6 Downloads (Pure)

On Information Coverage for Location Category Based Point-of-Interest Recommendation

Chen, X., Zeng, Y., Cong, G., Qin, S., Xiang, Y. & Dai, Y., 25 Jan 2015.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Flavors
Museums
Computational complexity
10 Downloads (Pure)

Optimal Route Search with the Coverage of Users' Preferences

Zeng, Y., Chen, X., Cao, X., Qin, S., Cavazza, M. & Xiang, Y., 2015.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Shopping centers
Museums
Computational complexity
Planning
Experiments