Jin Song Dong
Jin Song Dong
Professor of Computer Science, National University of Singapore and Griffith University
Verified email at nus.edu.sg - Homepage
Cited by
Cited by
Semantic space: An infrastructure for smart spaces
X Wang, JS Dong, CY Chin, SR Hettiarachchi, D Zhang
IEEE Pervasive computing, 32-39, 2004
PAT: Towards flexible verification under fairness
J Sun, Y Liu, JS Dong, J Pang
International conference on computer aided verification, 709-714, 2009
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
Timed communicating object Z
B Mahony, JS Dong
IEEE Transactions on Software Engineering 26 (2), 150-177, 2000
Model checking CSP revisited: Introducing a process analysis toolkit
J Sun, Y Liu, JS Dong
International symposium on leveraging applications of formal methods …, 2008
Ontology classification for semantic-web-based software engineering
Y Zhao, J Dong, T Peng
IEEE Transactions on Services Computing 2 (4), 303-317, 2009
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
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
Verification of computation orchestration via timed automata
JS Dong, Y Liu, J Sun, X Zhang
International Conference on Formal Engineering Methods, 226-245, 2006
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
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
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
IEEE Transactions on Software Engineering 34 (6), 844-859, 2008
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
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
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
Observer-based output feedback control for discrete-time TS fuzzy systems with partly immeasurable premise variables
J Dong, GH Yang
IEEE Transactions on Systems, Man, and Cybernetics: Systems 47 (1), 98-110, 2016
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
Ensuring structure and behavior correctness in design composition
J Dong, PSC Alencar, DD Cowan
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
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
A Semantic Foundation of TCOZ in Unifying Theory of Programming
SC Qin, JS Dong, WN Chin
Proceedings of Formalt Methods Europe, Pisa, 2003
The system can't perform the operation now. Try again later.
Articles 1–20