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 | 204 | 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 | 182 | 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 | 131 | 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 |
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 | 33 | 2008 |
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 |
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 | 28 | 2020 |
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 | 27 | 2021 |
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 |