Jing Sun
Jing Sun
Associate Professor, School of Computer Science, University of Auckland, New Zealand
Verified email at - Homepage
Cited by
Cited by
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
Verifying feature models using OWL
HH Wang, YF Li, J Sun, H Zhang, J Pan
Journal of web semantics 5 (2), 117-129, 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
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
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
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
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
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
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
Z approach to semantic web
JS Dong, J Sun, H Wang
Formal Methods and Software Engineering: 4th International Conference on…, 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
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
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
Towards specification based testing for semantic web services
MS Jokhio, G Dobbie, J Sun
2009 Australian Software Engineering Conference, 54-63, 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
Automated security analysis for microservice architecture
N Chondamrongkul, J Sun, I Warren
2020 IEEE International Conference on Software Architecture Companion (ICSA…, 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
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
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
Silas: A high-performance machine learning foundation for logical reasoning and verification
H Bride, CH Cai, J Dong, JS Dong, Z Hu, S Mirjalili, J Sun
Expert Systems with Applications 176, 114806, 2021
The system can't perform the operation now. Try again later.
Articles 1–20