Jing Sun
Jing Sun
Associate Professor, School of Computer Science, University of Auckland, New Zealand
Verified email at auckland.ac.nz - Homepage
TitleCited byYear
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
1892005
Verifying feature models using OWL
HH Wang, YF Li, J Sun, H Zhang, J Pan
Web Semantics: Science, Services and Agents on the World Wide Web 5 (2), 117-129, 2007
1502007
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), 44, 2005
1142005
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
592006
Object-Z web environment and projections to UML.
J Sun, JS Dong, J Liu, HH Wang
WWW, 725-734, 2001
472001
Checking and reasoning about semantic web through alloy
JS Dong, J Sun, H Wang
International Symposium of Formal Methods Europe, 796-813, 2003
362003
A formal object approach to the design of zml
J Sun, JS Dong, J Liu, H Wang
Annals of Software Engineering 13 (1-4), 329-356, 2002
342002
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
322006
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
312008
Towards specification based testing for semantic web services
MS Jokhio, G Dobbie, J Sun
2009 Australian Software Engineering Conference, 54-63, 2009
292009
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
292003
Z approach to semantic web
JS Dong, J Sun, H Wang
International Conference on Formal Engineering Methods, 156-167, 2002
272002
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
262008
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
262005
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
242001
Software monitoring through formal specification animation
H Liang, JS Dong, J Sun, WE Wong
Innovations in Systems and Software Engineering 5 (4), 231, 2009
232009
Semantic web for extending and linking formalisms
JS Dong, J Sun, H Wang
International Symposium of Formal Methods Europe, 587-606, 2002
232002
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
212006
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
202008
XML-based static type checking and dynamic visualization for TCOZ
JS Dong, YF Li, J Sun, J Sun, H Wang
International Conference on Formal Engineering Methods, 311-322, 2002
202002
The system can't perform the operation now. Try again later.
Articles 1–20