| 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 | 201 | 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 | 177 | 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 | 52 | 2001 |
| 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 | 46 | 2021 |
| Specifying and verifying sensor networks: An experiment of formal methods JS Dong, J Sun, J Sun, K Taguchi, X Zhang International Conference on Formal Engineering Methods, 318-337, 2008 | 42 | 2008 |
| Checking and reasoning about semantic web through alloy JS Dong, J Sun, H Wang International symposium of formal methods europe, 796-813, 2003 | 40 | 2003 |
| A formal object approach to the design of zml J Sun, JS Dong, J Liu, H Wang Annals of Software Engineering 13 (1), 329-356, 2002 | 40 | 2002 |
| Automated security analysis for microservice architecture N Chondamrongkul, J Sun, I Warren 2020 IEEE International Conference on Software Architecture Companion (ICSA …, 2020 | 38 | 2020 |
| 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 | 36 | 2006 |
| Software monitoring through formal specification animation H Liang, JS Dong, J Sun, WE Wong Innovations in systems and software engineering 5 (4), 231-241, 2009 | 34 | 2009 |
| 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 |
| ZML: XML support for standard Z M Utting, I Toyn, J Sun, A Martin, JS Dong, N Daley, D Currie International Conference of B and Z Users, 437-456, 2003 | 32 | 2003 |
| Z approach to semantic web JS Dong, J Sun, H Wang International Conference on Formal Engineering Methods, 156-167, 2002 | 32 | 2002 |
| The fusion of large language models and formal methods for trustworthy AI agents: A roadmap Y Zhang, Y Cai, X Zuo, X Luan, K Wang, Z Hou, Y Zhang, Z Wei, M Sun, ... arXiv preprint arXiv:2412.06512, 2024 | 31 | 2024 |
| Llm-smartaudit: Advanced smart contract vulnerability detection Z Wei, J Sun, Z Zhang, X Zhang, M Li, Z Hou arXiv preprint arXiv:2410.09381, 2024 | 30 | 2024 |
| 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 | 29 | 2005 |
| Fast automated abstract machine repair using simultaneous modifications and refactoring CH Cai, J Sun, G Dobbie, Z Hóu, H Bride, JS Dong, SUJ Lee Formal Aspects of Computing 34 (2), 1-31, 2022 | 27 | 2022 |
Gillian DobbieUniversity of AucklandVerified email at cs.auckland.ac.nz
