References of "Sun, Jun"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailLearning probabilistic models for model checking: an evolutionary approach and an empirical study
Wang, Jingyi; Sun, Jun; Yuan, Qixia et al

in International Journal on Software Tools for Technology Transfer (2018), 20(6), 689-704

Detailed reference viewed: 38 (1 UL)
Full Text
Peer Reviewed
See detailA verification framework for stateful security protocols
Li, Li; Dong, Naipeng; Pang, Jun UL et al

in Proceedings of the 19th International Conference on Formal Engineering Methods (2017)

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailShould We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
Wang, Jingyi; Sun, Jun; Yuan, Qixia UL et al

in Proceedings of 20th International Conference on Fundamental Approaches to Software Engineering (2017)

Detailed reference viewed: 65 (11 UL)
Full Text
Peer Reviewed
See detailSymbolic analysis of an electric vehicle charging protocol.
Li, Li; Pang, Jun UL; Liu, Yang et al

in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) (2014)

Detailed reference viewed: 43 (0 UL)
Full Text
Peer Reviewed
See detailModel Checking with Fairness Assumptions using PAT
Si, Yuanjie; Sun, Jun; Liu, Yang et al

in Frontiers of Computer Science (2014), 8(1), 1-16

Detailed reference viewed: 61 (4 UL)
Full Text
Peer Reviewed
See detailVerification of functional and non-functional requirements of web service composition
Chen, Manman; Tan, Tian Huat; Sun, Jun et al

in Proceedings of 15th Conference on Formal Engineering Methods (ICFEM'13) (2013)

Detailed reference viewed: 49 (0 UL)
Full Text
Peer Reviewed
See detailOn combining state space reductions with global fairness assumptions
Zhang, Shaojie; Sun, Jun; Pang, Jun UL et al

in Proc. 17th International Symposium on Formal Methods (2011)

Detailed reference viewed: 40 (2 UL)