Jin Song Dong

Jin Song Dong

National University of Singapore - Queenstown / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 349301
Universiti Nasional Singapura
person_outline Jin Song Dong's MOST POPULAR ARTICLES
1-) PAT: Towards flexible verification under fairnessJ Sun, Y Liu, JS Dong, J PangInternational conference on computer aided verification, 709-714, 20094742009
2-) Semantic space: An infrastructure for smart spacesX Wang, JS Dong, CY Chin, SR Hettiarachchi, D ZhangIEEE Pervasive computing 3 (03), 32-39, 20044642004
3-) Smart grid metering networks: A survey on security, privacy and open research issuesP Kumar, Y Lin, G Bai, A Paverd, JS Dong, A MartinIEEE Communications Surveys & Tutorials 21 (3), 2886-2927, 20192432019
4-) Model checking CSP revisited: Introducing a process analysis toolkitJ Sun, Y Liu, JS DongInternational symposium on leveraging applications of formal methods …, 20082562008
5-) Genetic algorithm: Theory, literature review, and application in image reconstructionS Mirjalili, J Song Dong, AS Sadiq, H FarisNature-inspired optimizers: Theories, literature reviews and applications, 69-85, 20202492020