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

Research Output 2000 2018

Filter
Paper
2018

Frame inference for inductive entailment proofs in separation logic

Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, p. 41-60. 20 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
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 conferencePaperResearchpeer-review

Open Access
File
Model predictive control
Navigation
Robots
Linear systems
Trajectories

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

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

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

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

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

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

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