Formalization and Verification of RTPS StatefulWriter Module Using CSP.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
FCM: A Fine-Grained Crowdsourcing Model Based on Ontology in Crowd-Sensing.
Proceedings of the Network and Parallel Computing, 2016
Community Detecting Oriented Directed and Weighted Network in Mobile Crowd Sensing.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015