Jin Song Dong
Jin Song Dong
Professor of Computer Science, National University of Singapore and Griffith University
Dirección de correo verificada de nus.edu.sg - Página principal
Citado por
Citado por
Semantic space: An infrastructure for smart spaces
X Wang, JS Dong, CY Chin, S Hettiarachchi, D Zhang
IEEE Annals of the History of Computing 3 (03), 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
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
Verification of computation orchestration via timed automata
JS Dong, Y Liu, J Sun, X Zhang
International Conference on Formal Engineering Methods, 226-245, 2006
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
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
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
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
IEEE Transactions on Software Engineering 34 (6), 844-859, 2008
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
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
Ensuring structure and behavior correctness in design composition
J Dong, PSC Alencar, DD Cowan
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
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
A Semantic Foundation of TCOZ in Unifying Theory of Programming
SC Qin, JS Dong, WN Chin
Proceedings of Formalt Methods Europe, Pisa, 2003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20