default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJing Sun 0002
Person information
- affiliation: The University of Auckland, Department of Electrical and Computer Engineering / Department of Computer Science, New Zealand
Other persons with the same name
- Jing Sun — disambiguation page
- Jing Sun 0001
![[0000-0002-1485-0247]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-1485-0247")
— Huaihai Institute of Technology, Lianyungang, China (and 1 more) - Jing Sun 0003 — University of Michigan, Department of Naval Architecture and Marine Engineering, Ann Arbor, MI, USA (and 3 more)
- Jing Sun 0004 — China Earthquake Adm., Harbin, China
- Jing Sun 0005 — Tsinghua University, Beijing, China
- Jing Sun 0006 — Wuhan University, State Key Laboratory of Information Engineering in Surveying, Mapping and Remote Sensing, China
- Jing Sun 0007 — Sichuan University, Chengdu, China
- Jing Sun 0008 — Fudan University, Shanghai, China
- Jing Sun 0009 — North China University of Technology, Beijing, China
- Jing Sun 0010 — Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, China (and 2 more)
- Jing Sun 0011 — Lanzhou University, School of Mathematics and Statistics, Gansu Key Laboratory of Applied Mathematics and Complex Systems, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j40]Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Xiaoxuan Yang, Liehuang Zhu:
Survey on Quality Assurance of Smart Contracts. ACM Comput. Surv. 57(2): 32:1-32:36 (2025)- 2024
- [c75]Xianhao Zhang, Zhiyuan Wei, Jing Sun, Zijian Zhang, Zixiao Zhao:
Validating Smart Contracts Using GPT Assistant. COMPSAC 2024: 1564-1565 - [c74]Zixiao Zhao, Jing Sun, Cheng-Hao Cai, Zhiyuan Wei:
Code Generation Using Self-Interactive Assistant. COMPSAC 2024: 2347-2352 - [c73]Xiaojun Xu, Chenghao Cai, Xiuqi Yang, Zhuofan Xu, Jingjing Hu, Jing Sun:
A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model. Internetware 2024 - [i8]Zhiyuan Wei, Jing Sun, Zijiang Zhang, Xianhao Zhang:
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection. CoRR abs/2410.09381 (2024) - [i7]Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Meng Li:
Leveraging Fine-Tuned Language Models for Efficient and Accurate Smart Contract Auditing. CoRR abs/2410.13918 (2024) - [i6]Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong:
VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs. CoRR abs/2410.19245 (2024) - 2023
- [j39]Nacha Chondamrongkul, Jing Sun:
Software evolutionary architecture: Automated planning for functional changes. Sci. Comput. Program. 230: 102978 (2023) - [j38]Cheng-Hao Cai, Jing Sun, Gillian Dobbie:
Automatic refactoring of conditions and substitutions for B state transition models. Softw. Pract. Exp. 53(11): 2241-2270 (2023) - [i5]Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Meng Li, Liehuang Zhu:
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts. CoRR abs/2310.20212 (2023) - [i4]Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Xiaoxuan Yang, Liehuang Zhu:
Survey on Quality Assurance of Smart Contracts. CoRR abs/2311.00270 (2023) - 2022
- [j37]Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee:
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34(2): 1-31 (2022) - [j36]Yezhou Liu, Radu Nicolescu, Jing Sun:
Towards automated deduction in cP systems. Inf. Sci. 587: 435-449 (2022) - [j35]Zhé Hóu, Vijay Ganesh, Jing Sun:
Editorial. Innov. Syst. Softw. Eng. 18(3): 333-334 (2022) - [j34]Cheng-Hao Cai, Jing Sun, Gillian Dobbie:
B model quality assessments on automated reachability repair with ISO/IEC 25010. Sci. Comput. Program. 214: 102732 (2022) - [c72]Nacha Chondamrongkul, Jing Sun:
Architectural Refactoring for Functional Properties in Evolutionary Architecture. ICSA 2022: 146-156 - [c71]Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang:
cPV - Simulation and Verification for Membrane Computing. QRS 2022: 606-615 - 2021
- [j33]Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson:
A Sublinear Sudoku Solution in cP Systems and its Formal Verification. Comput. Sci. J. Moldova 29(1): 3-28 (2021) - [j32]Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun:
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176: 114806 (2021) - [j31]Bingyang Wei, Jing Sun:
Leveraging SPARQL Queries for UML Consistency Checking. Int. J. Softw. Eng. Knowl. Eng. 31(4): 635-654 (2021) - [j30]Yezhou Liu, Radu Nicolescu, Jing Sun:
An efficient labelled nested multiset unification algorithm. J. Membr. Comput. 3(3): 194-204 (2021) - [j29]Yezhou Liu, Radu Nicolescu, Jing Sun:
Formal verification of cP systems using Coq. J. Membr. Comput. 3(3): 205-220 (2021) - [j28]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles. Sci. Comput. Program. 206: 102631 (2021) - [j27]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Software Architectural Migration: An Automated Planning Approach. ACM Trans. Softw. Eng. Methodol. 30(4): 50:1-50:35 (2021) - [i3]Dengfeng Ke, Yuxing Lu, Xudong Liu, Yanyan Xu, Jing Sun, Chenghao Cai:
An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures. CoRR abs/2108.03008 (2021) - 2020
- [j26]Jing Sun:
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 30(6): 721 (2020) - [j25]Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee:
Integrated Formal Tools for Software Architecture Smell Detection. Int. J. Softw. Eng. Knowl. Eng. 30(6): 723-763 (2020) - [j24]Yezhou Liu, Radu Nicolescu, Jing Sun:
Formal verification of cP systems using PAT3 and ProB. J. Membr. Comput. 2(2): 80-94 (2020) - [j23]Longyu Ma, Chiu-Wing Sham, Jing Sun, Raul Horacio Valencia Tenorio:
A Real-Time Flexible Telecommunication Decoding Architecture Using FPGA Partial Reconfiguration. IEEE Trans. Circuits Syst. II Express Briefs 67-II(10): 2149-2153 (2020) - [c70]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Formal Software Architectural Migration Towards Emerging Architectural Styles. ECSA 2020: 21-38 - [c69]Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun, Christof Lutteroth:
The Semantic Spreadsheet. ICECCS 2020: 171-176 - [c68]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Automated Planning for Software Architectural Migration. ICECCS 2020: 216-224 - [c67]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Automated Security Analysis for Microservice Architecture. ICSA Companion 2020: 79-82 - [c66]Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee:
Semantic-based Architecture Smell Analysis. FormaliSE@ICSE 2020: 109-118 - [c65]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Formal Security Analysis for Blockchain-based Software Architecture. SEKE 2020: 532-537 - [c64]Chenghao Cai, Jing Sun, Gillian Dobbie:
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. TASE 2020: 169-176 - [i2]Chenghao Cai, Jing Sun, Gillian Dobbie:
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. CoRR abs/2003.02619 (2020)
2010 – 2019
- 2019
- [j22]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun:
Trainable back-propagated functional transfer matrices. Appl. Intell. 49(2): 376-395 (2019) - [j21]Chenghao Cai, Jing Sun, Gillian Dobbie:
Automatic B-model repair using model checking and machine learning. Autom. Softw. Eng. 26(3): 653-704 (2019) - [c63]Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee:
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. APSEC 2019: 260-267 - [c62]Nacha Chondamrongkul, Jing Sun, Bingyang Wei, Ian Warren:
Parallel Verification of Software Architecture Design. HASE 2019: 50-57 - [c61]Chenghao Cai, Jing Sun, Gillian Dobbie:
Design Model Repair with Formal Verification. ICFEM 2019: 489-492 - [c60]Nacha Chondamrongkul, Jing Sun, Ian Warren:
PAT approach to Architecture Behavioural Verification. SEKE 2019: 187-252 - [c59]Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei:
Semantic Rule Based Program Monitoring (S). SEKE 2019: 297-397 - [e4]Jun Pang, Jing Sun:
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. IEEE 2019, ISBN 978-1-7281-4646-1 [contents] - 2018
- [c58]Chenghao Cai, Jing Sun, Gillian Dobbie:
B-Repair: Repairing B-Models Using Machine Learning. ICECCS 2018: 31-40 - [c57]Nacha Chondamrongkul, Jing Sun, Ian Warren:
Ontology-based Software Architectural Pattern Recognition and Reasoning (S). SEKE 2018: 23-28 - [c56]Bingyang Wei, Jing Sun, Yi Wang:
A Knowledge Engineering Approach to UML Modeling (S). SEKE 2018: 60-63 - [c55]Catherine Shanly, Michael Ieti, Ian Warren, Jing Sun:
BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S). SEKE 2018: 246-245 - [e3]Jing Sun, Meng Sun:
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science 11232, Springer 2018, ISBN 978-3-030-02449-9 [contents] - 2017
- [j20]Pengyi Li, Jing Sun, Hai Wang:
Formal Approach to Assertion-Based Code Generation. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1637- (2017) - [j19]M. Shaban Jokhio, Jing Sun, Gillian Dobbie, Tianming Hu:
Goal-based testing of semantic web services. Inf. Softw. Technol. 83: 1-13 (2017) - [c54]Pengyi Li, Jing Sun, Hai Wang:
Towards Code Generation from Design Models. SEKE 2017: 242-247 - [c53]Anmol Desai, Nicholas Molloy, Jing Sun, Gillian Dobbie:
Visual Development Platform for Ruby on Rails. SEKE 2017: 623 - [c52]Chuan-Yu Wu, Bom Yi Lee, Jing Sun, Yin Yin Latt, Kim Shepherd, Jared Watts:
Named Entity Extraction and Classification in Digital Publications. SEKE 2017: 626 - [i1]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun:
Trainable back-propagated functional transfer matrices. CoRR abs/1710.10403 (2017) - 2016
- [j18]Candice Eckert, Brian Cham, Pengyi Li, Jing Sun, Gillian Dobbie:
Linking Design Model with Code. Int. J. Softw. Eng. Knowl. Eng. 26(9-10): 1473-1492 (2016) - [j17]Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin:
From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. 12(1): 1-26 (2016) - [c51]Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan:
From Code to Design: A Reverse Engineering Approach. ICECCS 2016: 181-186 - [c50]Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan:
A Collaborative Code Review Platform for GitHub. ICECCS 2016: 191-196 - [c49]Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong:
Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140 - [c48]Candice Eckert, Brian Cham, Jing Sun, Gillian Dobbie:
From Design to Code: An Educational Approach. SEKE 2016: 443-448 - 2015
- [c47]Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun:
Sports Strategy Analytics Using Probabilistic Reasoning. ICECCS 2015: 182-185 - [c46]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi:
Event and Strategy Analytics. TASE 2015: 4-6 - [e2]Jing Sun, Y. Raghu Reddy, Arun Bahulkar, Anjaneyulu Pasala:
2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9644-8 [contents] - 2014
- [j16]Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun:
Model checking approach to automated planning. Formal Methods Syst. Des. 44(2): 176-202 (2014) - [j15]Tianming Hu, Chuanren Liu, Yong Tang, Jing Sun, Hui Xiong, Sam Yuan Sung:
High-dimensional clustering: a clique-based hypergraph partitioning framework. Knowl. Inf. Syst. 39(1): 61-88 (2014) - [j14]Hai H. Wang, Danica Damljanovic, Jing Sun:
An automated tool for semantic accessing to formal software models. Sci. Comput. Program. 95: 93-111 (2014) - [c45]M. Shaban Jokhio, Gillian Dobbie, Tianming Hu, Jing Sun:
Automated Mutation-Based Test Case Evaluation for Semantic Web Services. Australian Software Engineering Conference 2014: 210-219 - [p1]Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan:
Towards a Consistent Feature Model using OWL. Semantic Web Enabled Software Engineering 2014: 67-91 - 2013
- [c44]M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu:
Web Services Testing via Goal and Mutation. ICECCS 2013: 159-162 - [e1]Lindsay Groves, Jing Sun:
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Lecture Notes in Computer Science 8144, Springer 2013, ISBN 978-3-642-41201-1 [contents] - 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) - [c43]Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun:
Model Checking Software Architecture Design. HASE 2012: 193-200 - [c42]Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249 - [c41]Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Planning as Model Checking Tasks. SEW 2012: 177-186 - 2011
- [c40]Jing Sun, Hai H. Wang, Hui Gu:
Semantic Enabled Sensor Network Design. SEKE 2011: 179-184 - [c39]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 Syst. Des. 37(1): 1-60 (2010) - [c38]Hai H. Wang, Danica Damljanovic, Jing Sun:
Enhanced Semantic Access to Formal Software Models. ICFEM 2010: 237-252 - [c37]Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung, Peter A. Ng:
Pairwise Constrained Clustering with Group Similarity-Based Patterns. ICMLA 2010: 260-265
2000 – 2009
- 2009
- [j11]Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong:
Software monitoring through formal specification animation. Innov. Syst. Softw. Eng. 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. Univers. Comput. Sci. 15(1): 241-272 (2009) - [j9]Hai H. Wang, Jing Sun:
A semantic web environment for components. Knowl. Eng. Rev. 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) - [c36]M. Shaban Jokhio, Gillian Dobbie, Jing Sun:
Towards Specification Based Testing for Semantic Web Services. Australian Software Engineering Conference 2009: 54-63 - [c35]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 Comput. Sci. China 2(4): 368-379 (2008) - [c34]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 - [c33]Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves:
Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24 - [c32]Stephen Wong, Jing Sun, Ian Warren, Jun Sun:
A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34 - [c31]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 - [c30]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 Semant. 5(2): 117-129 (2007) - [c29]Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee:
Towards Verifying Semistructured Data. APCCM 2007: 11-14 - [c28]Hui Liang, Jing Sun:
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. SEKE 2007: 77-80 - [c27]Hui Liang, Jin Song Dong, Jing Sun:
Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348 - 2006
- [j5]Jing Sun, Jin Song Dong, Stan Jarzabek, Hai H. Wang:
Computer-aided dispatch system family architecture and verification: an integrated formal approach. IEE Proc. Softw. 153(3): 102-112 (2006) - [j4]Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun:
Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semant.: 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 Grid Syst. 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 Trans. Reliab. 55(3): 421-435 (2006) - [c26]Ling Yuan, Jin Song Dong, Jing Sun:
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216 - [c25]Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves:
Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242 - [c24]Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee:
Research into Verifying Semistructured Data. ICDCIT 2006: 361-374 - [c23]Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 - [c22]Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun:
Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340 - [c21]Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe:
An Automated Formal Approach to Managing Dynamic Reconfiguration. ASE 2006: 37-46 - [c20]Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131 - [c19]Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang:
Validating Semistructured Data Using OWL. WAIM 2006: 520-531 - 2005
- [c18]Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang:
Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312 - [c17]Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449 - [c16]Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik:
SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494 - [c15]Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun:
An Architecture for Developing Aspect-Oriented Web Services. ECOWS 2005: 72-82 - [c14]Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li:
TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 - [c13]Hai H. Wang, Jin Song Dong, Jing Sun:
Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 - [c12]Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang:
Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039 - [c11]Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li:
A Z Approach in Validating ORA-SS Data Models. SVV@ICFEM 2005: 95-109 - 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 P. 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. Softw. 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]Jin Song Dong, Jing Sun, Hai H. Wang:
Z Approach to Semantic Web. ICFEM 2002: 156-167 - [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]Jing Liu, Jin Song Dong, Jing Sun:
TRMCS in TCOZ. IWSSD 2000: 63-74
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
