南京理工大学计算机学院宋巍官网,南京理工大学教师信息

第一作者论文：

[1] Xuansong Li, Xianping Tao, Wei Song and Kai Dong. AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications. Journal of Computer Science and Technology (JCST), 2018, accepted. (CCF B)

[2] Xuansong Li, Wei Song and Haibo Ye. ALChecker: A Tool for Checking Mobile Ambients. International Conference on Advanced and Trusted Computing (ATC) Work-In-Progress, 2018, accepted.

[3] 李晅松,陶先平,宋巍.普适计算应用时空性质的运行时验证.软件学报,2018,29(6):

[4]李晅松,陶先平,吕建,宋巍. 面向动作的上下文感知应用的规约与运行时验证，软件学报2017,28(5):1167-1182

[5]Xuansong Li, Xianping Tao, Jian Lu. Towards a Programming Framework for Activity-Oriented Context-Aware Applications. Frontiers of Computer Science (FCS), 2017, 11(6): 987-1006.

[6]Xuansong Li, Xianping Tao, Jian Lu. Programming Method and Formalization for Activity-Oriented Context-Aware Applications. 12th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC), 2015: 174-181

[7]Xuansong Li, Xianping Tao, Jian Lu. Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach, 13th International Conference on Quality Software (QSIC), 2013: 173-182.

其他：

[1]Kai Dong, Taolin Guo, Haibo Ye, Xuansong Li, Zhen Ling, On the limitations of existing notions of location privacy, Future Generation Computer Systems, 2017.

[2] Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang. AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes. 2017 24th Asia-Pacific Software Engineering Conference Workshops (APSECW) (2017)

[3] Xiaoxu Xia, Wei Song, Fangfei Chen, Xuansong Li, Pengcheng Zhang. Effa: a ProM Plugin for Recovering Event Logs. 8th Asia-Pacific Symposium on Internetware. ACM, 2016: 108-111.

[4] Jun Ma, Xuansong Li, Xianping Tao and Jian Lu. Cluster Filtered KNN: A WLAN-Based Indoor Positioning Scheme. International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2008: 1-8.