謝宛玲，女，博士，南京航空航天大學計算機科學與技術學院講師、碩士生導師。
基本介紹
- 中文名：謝宛玲
- 畢業院校：華東師範大學
- 學位/學歷：博士
- 職業：教師
- 任職院校：南京航空航天大學計算機科學與技術學院
個人經歷,研究方向,學術成果,
個人經歷
2014.9--2019.5華東師範大學＞軟體工程 ＞工學博士學位＞博士研究生畢業
2010.9--2014.7華東師範大學＞軟體工程 ＞工學學士學位＞大學本科畢業
2007.9--2010.7泗洪中學 ＞無學位＞普通高中畢業
研究方向
形式化方法、形式語義、程式分析與驗證、進程代數
學術成果
學術論文
[1] Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh. Formal Verification of mCWQ Using Extended Hoare Logic. Mobile Networks and Applications, 2019.
[2] Wanling Xie, Shuangqing Xiang, Huibiao Zhu. A UTP approach for rTiMo. Formal Aspects of Computing, 2018.
[3] Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh. Modeling and Verifying HDFS Using Process Algebra. Mobile Networks and Applications, 2017.
[4] Wanling Xie, Huibiao Zhu, Shengchao Qin. UTP Semantics for BigrTiMo. Proc. ICFEM 2018: 20th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science 11232, Springer. Gold Coast, Australia, 2018.
[5] Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang. Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. Proc. COMPSAC 2018: 42nd Annual Computer Software and Applications Conference. IEEE Computer Society.Tokyo, Japan, 2018.
[6]Wanling Xie, Huibiao Zhu and Qiwen Xu. BigrTiMo- A Process Algebra for Structure-Aware Mobile Systems. Proc. ICECCS 2017: 22nd International Conference on Engineering of Complex Computer Systems. IEEE Computer Society. Fukuoka, Japan, 2017.
[7] Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu. A Proof System for mCWQ. Proc. COMPSAC 2017: 41st IEEE Annual Computer Software and Applications Conference. IEEE Computer Society.Turin, Italy, 2017.
[8] Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo. Modeling and Verifying HDFS Using CSP. Proc. COMPSAC 2016: 40th IEEE Annual Computer Software and Applications Conference. IEEE Computer Society. Atlanta, USA, 2016.
[9] Wanling Xie, Shuangqing Xiang. UTP Semantics for rTiMo. Proc. UTP 2016: Unifying Theories of Programming - 6th International Symposium. Lecture Notes in Computer Science 10134, Springer. Reykjavik, Iceland, 2016.
科研項目
移動計算的進程演算及其形式語義研究,YAH
