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

Research Output

Filter
Paper
2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC

Huang, C., Chen, X., Tang, E., He, M., Bu, L., Qin, S. & Zeng, Y., 2020, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access
File
21 Downloads (Pure)
2018

Variant Region Types

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

Research output: Contribution to conferencePaper

Open Access
2017

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 conferencePaper

Open Access
File
94 Downloads (Pure)

Time-sensitive Information Flow Control in Timed Event-B

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

Research output: Contribution to conferencePaper

Open Access
File
107 Downloads (Pure)
2016

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 conferencePaper

Open Access
File
102 Downloads (Pure)

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 conferencePaper

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 conferencePaper

Open Access
File
30 Downloads (Pure)

Reasoning about Fences and Relaxed Atomics

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

Research output: Contribution to conferencePaper

Open Access
File
126 Downloads (Pure)

State-Taint Analysis for Detecting Resource Bugs

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

Research output: Contribution to conferencePaper

Open Access
File
154 Downloads (Pure)
2015

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 conferencePaper

Open Access
File
15 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 conferencePaper

Open Access
File
13 Downloads (Pure)