Jin Song Dong
Jin Song Dong
Professor of Computer Science, National University of Singapore and Griffith University
Verified email at nus.edu.sg - Homepage
TitleCited byYear
Semantic space: An infrastructure for smart spaces
X Wang, JS Dong, CY Chin, SR Hettiarachchi, D Zhang
IEEE Pervasive computing 3 (3), 32-39, 2004
4212004
PAT: Towards flexible verification under fairness
J Sun, Y Liu, JS Dong, J Pang
International Conference on Computer Aided Verification, 709-714, 2009
3392009
Blending Object-Z and Timed CSP: an introduction to TCOZ
B Mahony, JS Dong
Proceedings of the 20th international conference on Software engineering, 95-104, 1998
2221998
Timed communicating object Z
B Mahony, JS Dong
IEEE Transactions on Software Engineering 26 (2), 150-177, 2000
1942000
Model checking CSP revisited: Introducing a process analysis toolkit
J Sun, Y Liu, JS Dong
International symposium on leveraging applications of formal methods …, 2008
1592008
Ontology classification for semantic-web-based software engineering
Y Zhao, J Dong, T Peng
IEEE Transactions on Services Computing 2 (4), 303-317, 2009
1102009
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.
G Bai, J Lei, G Meng, SS Venkatraman, P Saxena, J Sun, Y Liu, JS Dong
NDSS, 2013
1032013
Integrating specification and programs for system modeling and verification
J Sun, Y Liu, JS Dong, C Chen
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
942009
Pat 3: An extensible architecture for building multi-domain model checkers
Y Liu, J Sun, JS Dong
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
762011
Verification of computation orchestration via timed automata
JS Dong, Y Liu, J Sun, X Zhang
International Conference on Formal Engineering Methods, 226-245, 2006
762006
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
IEEE Transactions on Software Engineering 34 (6), 844-859, 2008
722008
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), 3, 2013
682013
Motion Planning as Probabilistic Inference using Gaussian Processes and Factor Graphs.
J Dong, M Mukadam, F Dellaert, B Boots
Robotics: Science and Systems 12, 4, 2016
632016
Timed patterns: TCOZ to timed automata
JS Dong, P Hao, SC Qin, J Sun, W Yi
International Conference on Formal Engineering Methods, 483-498, 2004
602004
Ensuring structure and behavior correctness in design composition
J Dong, PSC Alencar, DD Cowan
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
602000
A data-driven optimization-based approach for siting and sizing of electric taxi charging stations
J Yang, J Dong, L Hu
Transportation Research Part C: Emerging Technologies 77, 462-477, 2017
592017
Prescribed performance switched adaptive dynamic surface control of switched nonlinear systems with average dwell time
D Zhai, C Xi, L An, J Dong, Q Zhang
IEEE Transactions on Systems, Man, and Cybernetics: Systems 47 (7), 1257-1269, 2016
592016
A Semantic Foundation of TCOZ in Unifying Theory of Programming
SC Qin, JS Dong, WN Chin
Proceedings of Formalt Methods Europe, Pisa, 2003
58*2003
Stability analysis of T–S fuzzy control systems by using set theory
J Dong, GH Yang, H Zhang
IEEE Transactions on Fuzzy Systems 23 (4), 827-841, 2014
572014
The geometry of object containment
JS Dong, R Duke
Object-Oriented Systems 2 (1), 41-63, 1995
561995
The system can't perform the operation now. Try again later.
Articles 1–20