References of "Dong, Jin Song"
     in
Bookmark and Share    
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: 97 (1 UL)
See detailEditorial (ICFEM 14 special issue, part I)
Merz, Stephan; Pang, Jun UL; Dong, Jin Song

in Formal Aspects of Computing (2016), 28(3), 343-344

Detailed reference viewed: 36 (4 UL)
See detailEditorial (ICFEM 14 special issue, part II)
Merz, Stephan; Pang, Jun UL; Dong, Jin Song

in Formal Aspects of Computing (2016), 28(5), 723-724

Detailed reference viewed: 33 (3 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: 94 (5 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: 81 (0 UL)