jun sun
jun sun
Associate Professor of SIS, SMU
Verified email at smu.edu.sg - Homepage
Title
Cited by
Cited by
Year
PAT: Towards flexible verification under fairness
J Sun, Y Liu, J Dong, J Pang
Computer Aided Verification, 709-714, 2009
3612009
Model checking CSP revisited: Introducing a process analysis toolkit
J Sun, Y Liu, JS Dong
Leveraging Applications of Formal Methods, Verification and Validation, 307-322, 2009
1722009
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations
G Bai, J Lei, G Meng, SS Venkatraman, P Saxena, J Sun, Y Liu, J Dong
Proceeding of the Network and Distributed System Security Symposium (NDSS), 2013
1112013
Integrating specification and programs for system modeling and verification
J Sun, Y Liu, JS Dong, C Chen
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE …, 2009
982009
Verification of computation orchestration via timed automata
J Dong, Y Liu, J Sun, X Zhang
Formal Methods and Software Engineering, 226-245, 2006
822006
Pat 3: An extensible architecture for building multi-domain model checkers
Y Liu, J Sun, JS Dong
The 22nd annual International Symposium on Software Reliability Engineering …, 2011
772011
Modeling and verifying hierarchical real-time systems using stateful timed CSP
J Sun, Y Liu, JS Dong, Y Liu, L Shi, É André
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-29, 2013
752013
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
Software Engineering, IEEE Transactions on 34 (6), 844-859, 2008
742008
Social-Loc: Improving indoor localization with social sensing
J Jun, Y Gu, L Cheng, B Lu, J Sun, T Zhu, J Niu
Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems …, 2013
692013
Model checking linearizability via refinement
Y Liu, W Chen, Y Liu, J Sun
FM 2009: Formal Methods, 321-337, 2009
692009
Timed patterns: TCOZ to timed automata
JS Dong, P Hao, SC Qin, J Sun, W Yi
Formal Methods and Software Engineering, 483-498, 2004
612004
Anomaly detection for a water treatment system using unsupervised machine learning
J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun
2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017
592017
Design synthesis from interaction and state-based specifications
J Sun, JS Dong
Software Engineering, IEEE Transactions on 32 (6), 349-364, 2006
522006
Verifying stateful timed csp using implicit clocks and zone abstraction
J Sun, Y Liu, J Dong, X Zhang
Formal Methods and Software Engineering, 581-600, 2009
512009
Specifying and verifying event-based fairness enhanced systems
J Sun, Y Liu, J Dong, H Wang
Formal Methods and Software Engineering, 5-24, 2008
512008
Detecting differences across multiple instances of code clones
Y Lin, Z Xing, Y Xue, Y Liu, X Peng, J Sun, W Zhao
Proceedings of the 36th International Conference on Software Engineering …, 2014
472014
Learning assumptions for compositionalverification of timed systems
SW Lin, E André, Y Liu, J Sun, JS Dong
IEEE Transactions on Software Engineering 40 (2), 137-153, 2014
45*2014
Model checking hierarchical probabilistic systems
J Sun, S Song, Y Liu
Formal Methods and Software Engineering, 388-403, 2010
422010
A formal semantics for complete UML state machines with communications
S Liu, Y Liu, E André, C Choppy, J Sun, B Wadhwa, JS Dong
International Conference on Integrated Formal Methods, 331-346, 2013
412013
Fair model checking with process counter abstraction
J Sun, Y Liu, A Roychoudhury, S Liu, J Dong
FM 2009: Formal Methods, 123-139, 2009
412009
The system can't perform the operation now. Try again later.
Articles 1–20