- Li Li, Jun Sun and Jin Song Dong: Automated Verification of Timed Security Protocols with Clock Drift, FM 2016
- Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang: Towards Concolic Testing for Hybrid Systems, FM 2016
- Yuqi Chen, Christopher M. Poskitt and Jun Sun: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation, FM 2016
Delivering talks at Cyprus soon.
- Postdoc Position Available
- ICSE 2017 Paper Accepted