Shengwei An's Homepage

Shengwei An 安圣威

• Institute of Computer Software, Nanjing University
• Room 824, Computer Science and Technology Building
• njuasw (at) gmail dot com
• My blog is http://answ.me

Supervisor

• Professor Xiaoxing Ma

Interests

Dynamic Software Updating (DSU) Dynamic Software Update (DSU)

Programming Languages Programming Languages

---

Skills

Java

78%

Python

67%

C++

61%

HTML/CSS/JS

56%

Publications

• Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, and Chang Xu, “An Event-Based Formal Framework for Dynamic Software Update”, in 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 173–182, 2015.
• Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, and Chang Xu, “Verifying Distributed Controllers with Local Invariants”, in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 2016.