The University of Auckland, NZ
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j13 |      | Tianming Hu, Sam Yuan Sung, Jing Sun, Xiao-Wei Ai, Peter A. Ng: A linear transform scheme for building weighted scoring rules. Intell. Data Anal. 16(3): 383-407 (2012) |
| c41 | | Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun: Model Checking Software Architecture Design. HASE 2012: 193-200 |
| c40 | | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun: Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249 |
| 2011 | ||
| c39 |  | |
| c38 | | Jing Sun, Hai H. Wang, Tianming Hu: Design Software Architecture Models using Ontology. SEKE 2011: 191-196 |
| 2010 | ||
| j12 | | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: Theorem prover approach to semistructured data design. Formal Methods in System Design 37(1): 1-60 (2010) |
| c37 | | Hai H. Wang, Danica Damljanovic, Jing Sun: Enhanced Semantic Access to Formal Software Models. ICFEM 2010: 237-252 |
| c36 | | Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung, Peter A. Ng: Pairwise Constrained Clustering with Group Similarity-Based Patterns. ICMLA 2010: 260-265 |
| 2009 | ||
| j11 | | Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong: Software monitoring through formal specification animation. ISSE 5(4): 231-241 (2009) |
| j10 | | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: Formal Verification of Semistructured Data Models in PVS. J. UCS 15(1): 241-272 (2009) |
| j9 | | Hai H. Wang, Jing Sun: A semantic web environment for components. Knowledge Eng. Review 24(1): 59-75 (2009) |
| j8 | | Jin Song Dong, Jing Sun: SCP special issue on the grand challenge - Preface. Sci. Comput. Program. 74(4): 167 (2009) |
| c35 | | M. Shaban Jokhio, Gillian Dobbie, Jing Sun: Towards Specification Based Testing for Semantic Web Services. Australian Software Engineering Conference 2009: 54-63 |
| c34 | | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang: Verifying Semistructured Data Normalization Using SWRL. TASE 2009: 193-200 |
| 2008 | ||
| j7 | | Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Compositional encoding for bounded model checking. Frontiers of Computer Science in China 2(4): 368-379 (2008) |
| c33 | | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li: Correctness Criteria for Normalization of Semistructured Data. Australian Software Engineering Conference 2008: 248-257 |
| c32 | | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves: Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24 |
| c31 | | Stephen Wong, Jing Sun, Ian Warren, Jun Sun: A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34 |
| c30 | | Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337 |
| c29 | | Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30 |
| 2007 | ||
| j6 | | Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan: Verifying feature models using OWL. J. Web Sem. 5(2): 117-129 (2007) |
| c28 | | Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Towards Verifying Semistructured Data. APCCM 2007: 11-14 |
| c27 | | |
| c26 | | Hui Liang, Jin Song Dong, Jing Sun: Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348 |
| 2006 | ||
| j5 | | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li: A Z Approach in Validating ORA-SS Data Models. Electr. Notes Theor. Comput. Sci. 157(1): 95-109 (2006) |
| j4 | | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun: Reasoning About ORA-SS Data Models Using the Semantic Web. : 219-241 (2006) |
| j3 | | Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent and Grid Systems 2(4): 455-471 (2006) |
| j2 | | Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit: Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability 55(3): 421-435 (2006) |
| c25 | | Ling Yuan, Jin Song Dong, Jing Sun: Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216 |
| c24 | | Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves: Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242 |
| c23 | | Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Research into Verifying Semistructured Data. ICDCIT 2006: 361-374 |
| c22 | | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 |
| c21 | | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340 |
| c20 | | Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe: An Automated Formal Approach to Managing Dynamic Reconfiguration. ASE 2006: 37-46 |
| c19 | | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131 |
| c18 | | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531 |
| 2005 | ||
| c17 | | Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312 |
| c16 | | Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449 |
| c15 | | Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494 |
| c14 | | Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun: An Architecture for Developing Aspect-Oriented Web Services. ECOWS 2005: 72-82 |
| c13 | | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 |
| c12 | | Hai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 |
| c11 | | Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang: Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039 |
| 2004 | ||
| c10 | | Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony: Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53 |
| 2003 | ||
| c9 | | Jin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813 |
| c8 | | Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456 |
| 2002 | ||
| j1 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: A Formal Object Approach to the Design of ZML. Ann. Software Eng. 13(1-4): 329-356 (2002) |
| c7 | | Jing Sun, Jin Song Dong: Specifying and Reasoning about Generic Architecture in TCOZ. APSEC 2002: 405- |
| c6 | | Jin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606 |
| c5 | | |
| c4 | | Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang: XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322 |
| 2001 | ||
| c3 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460 |
| c2 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734 |
| 2000 | ||
| c1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page