| Formal semantics and verification for feature modeling J Sun, H Zhang, Y Fang, LH Wang 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 200 | 2005 |
| Verifying feature models using OWL HH Wang, YF Li, J Sun, H Zhang, J Pan Journal of web semantics 5 (2), 117-129, 2007 | 179 | 2007 |
| A semantic web approach to feature modeling and verification H Wang, YF Li, J Sun, H Zhang, J Pan Workshop on Semantic Web Enabled Software Engineering (SWESE’05), 46, 2005 | 130 | 2005 |
| An automated formal approach to managing dynamic reconfiguration I Warren, J Sun, S Krishnamohan, T Weerasinghe 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 70 | 2006 |
| Object-Z web environment and projections to UML J Sun, JS Dong, J Liu, H Wang Proceedings of the 10th international conference on World Wide Web, 725-734, 2001 | 51 | 2001 |
| Checking and reasoning about semantic web through alloy JS Dong, J Sun, H Wang FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 42 | 2003 |
| Specifying and verifying sensor networks: An experiment of formal methods JS Dong, J Sun, J Sun, K Taguchi, X Zhang Formal Methods and Software Engineering: 10th International Conference on …, 2008 | 41 | 2008 |
| A formal object approach to the design of zml J Sun, JS Dong, J Liu, H Wang Annals of Software Engineering 13, 329-356, 2002 | 39 | 2002 |
| Reasoning support for Semantic Web ontology family languages using Alloy HH Wang, JS Dong, J Sun, J Sun Multiagent and Grid Systems 2 (4), 455-471, 2006 | 35 | 2006 |
| Z approach to semantic web JS Dong, J Sun, H Wang Formal Methods and Software Engineering: 4th International Conference on …, 2002 | 33 | 2002 |
| Software monitoring through formal specification animation H Liang, JS Dong, J Sun, WE Wong Innovations in systems and software engineering 5, 231-241, 2009 | 32 | 2009 |
| ZML: XML support for standard Z M Utting, I Toyn, J Sun, A Martin, JS Dong, N Daley, D Currie ZB 2003: Formal Specification and Development in Z and B: Third …, 2003 | 32 | 2003 |
| A scalable approach to multi-style architectural modeling and verification S Wong, J Sun, I Warren, J Sun 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 31 | 2008 |
| Towards specification based testing for semantic web services MS Jokhio, G Dobbie, J Sun 2009 Australian Software Engineering Conference, 54-63, 2009 | 30 | 2009 |
| An architecture for developing aspect-oriented web services S Singh, J Grundy, J Hosking, J Sun Third European Conference on Web Services (ECOWS'05), 11 pp., 2005 | 30 | 2005 |
| Automated security analysis for microservice architecture N Chondamrongkul, J Sun, I Warren 2020 IEEE International Conference on Software Architecture Companion (ICSA …, 2020 | 27 | 2020 |
| A XML/XSL approach to visualize and animate TCOZ J Sun, JS Dong, J Liu, H Wang Proceedings Eighth Asia-Pacific Software Engineering Conference, 453-460, 2001 | 27 | 2001 |
| Bounded model checking of compositional processes J Sun, Y Liu, JS Dong, J Sun 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008 | 26 | 2008 |
| Generic fault tolerant software architecture reasoning and customization L Yuan, JS Dong, J Sun, HA Basit IEEE transactions on reliability 55 (3), 421-435, 2006 | 26 | 2006 |
| Silas: A high-performance machine learning foundation for logical reasoning and verification H Bride, CH Cai, J Dong, JS Dong, Z Hóu, S Mirjalili, J Sun Expert Systems with Applications 176, 114806, 2021 | 25 | 2021 |
Jin Song DongProfessor of Computer Science, National University of Singapore在 nus.edu.sg 的电子邮件经过验证
