Dr. DONG, Jin Song
National University of Singapore
http://www.comp.nus.edu.sg/~dongjs/
Research areas
- model analysis and verification (PAT)
- context awareness and pervasive computing (Semantic Space)
- real-time concurrent system specification (TCOZ)
- web semantics, services, agent and reasoning
- formal methods and safety critical systems
- object, component, and language semantics
Refereed Papers in Journals/Monographs/Conferences (partial list)
- C. Chen, J. S. Dong, J. Sun and A. Martin. A Verification System for Interval-based Specification Languages, ACM Transactions on Software Engineering and Methodology. (accepted)
- C. Chen, J. S. Dong and J. Sun. A Formal Framework for Modeling and Validating Simulink Diagrams. Formal Aspects of Computing. (accepted)
- J. S. Dong, P. Hao, S. C. Qin, J. Sun and Y. Wang, Timed Automata Patterns. IEEE Transactions on Software Engineering, vol. 34(6), pp 844-859, Nov./Dec. 2008.
- S. Ferndriger, A. Bernstein, J. S. Dong, Y. Z. Feng, Y. F. Li and J. Hunter. Enhancing Semantic Web Services with Inheritance, 7th International Semantic Web conference (ISWC'08), Karlsruhe, Germany, pp 162-177, 2008.
- N. N. Tun and J. S. Dong. Ontology Generation through a Fusion of Partial Reuse and Relation Extraction, 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp 318-328, 2008.
- C. Chen, J. S. Dong and J. Sun. A Verification System for Timed Interval Calculus, The 30th International Conference on Software Engineering (ICSE'08), pp 271-280, 2008.
Hai WANG
http://users.ecs.soton.ac.uk/hw/
Research
InterestsSemantic Web
Real-time concurrent system specification (TCOZ)
Web environment for software design (ZML)
Formal methods and safety critical systems Unified Modeling Language (UML) ,
XML/XSLUnifying Theories of Programming