Shengwei An's Homepage

Shengwei An

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

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.

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.