当前位置: X-MOL首页全球导师 国内导师 › 李晅松

个人简介

本人于2007年在南京大学获得学士学位,2016年6月在南京大学获得计算机软件与理论博士学位,之后进入南京理工大学计算机科学与工程学院工作。

研究领域

软件方法学、形式化方法、普适计算技术

近期论文

查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

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, 33(5): 900-917(CCF B) 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. Kai Dong, Taolin Guo, Haibo Ye, Xuansong Li, Zhen Ling, On the limitations of existing notions of location privacy, Future Generation Computer Systems, 2018, 86, 1513-1522. Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang. AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes. 24th Asia-Pacific Software Engineering Conference Workshops (APSECW), 2017. Xuansong Li, Xianping Tao and Jian Lu. Towards a Programming Framework for Activity-Oriented Context-Aware Applications. Frontiers of Computer Science (FCS), 2017, 11(6):987–1006. 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. Xuansong Li, Xianping Tao and Jian Lu. Programming Method and Formalization for Activity-Oriented Context-Aware Applications, Ubiquitous Intelligence and Computing (UIC), 2015, pp. 174-181. Xuansong Li, Xianping Tao and Jian Lu. Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach, International Conference on Quality Software (QSIC), 2013, pp. 173-182. 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.

推荐链接
down
wechat
bug