Hai WANG & DONG, Jin Song

最新推荐文章于 2024-08-20 09:02:15 发布

weixin_34133829

最新推荐文章于 2024-08-20 09:02:15 发布

阅读量219

点赞数

CC 4.0 BY-SA版权

本文介绍了董劲松博士的研究领域，包括模型分析与验证、情境感知与泛在计算、实时并发系统规范等，并列举了其部分发表的论文，涉及验证系统、时序自动机模式、语义网服务等内容。

National University of Singapore

http://www.comp.nus.edu.sg/~dongjs/

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