TRMCS in TCOZ. - Jing Liu; Jin Song Dong; Jing Sun 002 (IWSSD, 2000)

An XML/XSL Approach to Visualize and Animate TCOZ. - Jing Sun 002; Jin Song Dong; Jing Liu; Hai H. Wang (APSEC, 2001)

Object-Z web environment and projections to UML. - Jing Sun 002; Jin Song Dong; Jing Liu; Hai H. Wang (WWW, 2001)

Specifying and Reasoning about Generic Architecture in TCOZ. - Jing Sun 002; Jin Song Dong (APSEC, 2002)

Semantic Web for Extending and Linking Formalisms. - Jin Song Dong; Jing Sun 002; Hai H. Wang (FME, 2002)

XML-Based Static Type Checking and Dynamic Visualization for TCOZ. - Jin Song Dong; Yuan-Fang Li; Jing Sun 002; Jun Sun 001; Hai H. Wang (ICFEM, 2002)

Z Approach to Semantic Web. - Jin Song Dong; Jing Sun 002; Hai H. Wang (ICFEM, 2002)

A Formal Object Approach to the Design of ZML. - Jing Sun 002; Jin Song Dong; Jing Liu; Hai H. Wang (Ann. Softw. Eng., 2002)

Checking and Reasoning about Semantic Web through Alloy. - Jin Song Dong; Jing Sun 002; Hai H. Wang (FME, 2003)

ZML: XML Support for Standard Z. - Mark Utting; Ian Toyn; Jing Sun 002; Andrew P. Martin; Jin Song Dong; Nicholas Daley; David W. Currie (ZB, 2003)

Reasoning about Semantic Web in Isabelle/HOL. - Yue Tang; Jin Song Dong; Jing Sun 002; Brendan P. Mahony (APSEC, 2004)

Formal Semantics and Verification for Feature Modeling. - Jing Sun 002; Hongyu Zhang 002; Yuan-Fang Li; Hai H. Wang (ICECCS, 2005)

Visualizing and Simulating Semantic Web Services Ontologies. - Jun Sun 001; Yuan-Fang Li; Hai H. Wang; Jing Sun 002 (ICFEM, 2005)

SVG Web Environment for Z Specification Language. - Jing Sun 002; Hai H. Wang; Sasanka Athauda; Tazkiya Sheik (ICFEM, 2005)

An Architecture for Developing Aspect-Oriented Web Services. - Santokh Singh; John C. Grundy; John G. Hosking; Jing Sun 002 (ECOWS, 2005)

Reasoning Support for SWRL-FOL Using Alloy. - Hai H. Wang; Jin Song Dong; Jing Sun 002 (SEKE, 2005)

TCOZ Approach to OWL-S Process Model Design. - Hai H. Wang; Jin Song Dong; Jing Sun 002; Yuan-Fang Li (SEKE, 2005)

Verify Feature Models using protegeowl. - Hai H. Wang; Yuan-Fang Li; Jing Sun 002; Hongyu Zhang 002 (WWW (Special interest tracks and posters), 2005)

A Z Approach in Validating ORA-SS Data Models. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Yuan-Fang Li (SVV@ICFEM, 2005)

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. - Ling Yuan; Jin Song Dong; Jing Sun 002 (APSEC, 2006)

Validating ORA-SS Data Models using Alloy. - Lin Wang; Gillian Dobbie; Jing Sun 002; Lindsay Groves (ASWEC, 2006)

Research into Verifying Semistructured Data. - Gillian Dobbie; Jing Sun 002; Yuan-Fang Li; Scott Uk-Jin Lee (ICDCIT, 2006)

Formal Specification-based Online Monitoring. - Hui Liang; Jin Song Dong; Jing Sun 002; Roger Duke; Rudolph E. Seviora (ICECCS, 2006)

Context Awareness Systems Design and Reasoning. - Jin Song Dong; Yuzhang Feng; Jing Sun 002; Jun Sun 001 (ISoLA, 2006)

An Automated Formal Approach to Managing Dynamic Reconfiguration. - Ian Warren; Jing Sun 002; Sanjev Krishnamohan; Thiranjith Weerasinghe (ASE, 2006)

A PVS Approach to Verifying ORA-SS Data Models. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (SEKE, 2006)

Validating Semistructured Data Using OWL. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Jun Sun 001; Hai H. Wang (WAIM, 2006)

Computer-aided dispatch system family architecture and verification: an integrated formal approach. - Jing Sun 002; Jin Song Dong; Stan Jarzabek; Hai H. Wang (IEE Proc. Softw., 2006)

Reasoning About ORA-SS Data Models Using the Semantic Web. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Hai H. Wang; Jun Sun 001 (J. Data Semant., 2006)

Reasoning support for Semantic Web ontology family languages using Alloy. - Hai H. Wang; Jin Song Dong; Jing Sun 002; Jun Sun 001 (Multiagent Grid Syst., 2006)

Generic Fault Tolerant Software Architecture Reasoning and Customization. - Ling Yuan; Jin Song Dong; Jing Sun 002; Hamid Abdul Basit (IEEE Trans. Reliab., 2006)

Towards Verifying Semistructured Data. - Gillian Dobbie; Jing Sun 002; Yuan-Fang Li; Scott Uk-Jin Lee (APCCM, 2007)

Evolution and Runtime Monitoring of Software Systems. - Hui Liang; Jin Song Dong; Jing Sun 002 (SEKE, 2007)

Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. - Hui Liang; Jing Sun 002 (SEKE, 2007)

Verifying feature models using OWL. - Hai H. Wang; Yuan-Fang Li; Jing Sun 002; Hongyu Zhang 002; Jeff Z. Pan (J. Web Semant., 2007)

Correctness Criteria for Normalization of Semistructured Data. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Lindsay Groves; Yuan-Fang Li (Australian Software Engineering Conference, 2008)

Verifying Semistructured Data Normalization Using PVS. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Lindsay Groves (ICECCS, 2008)

A Scalable Approach to Multi-style Architectural Modeling and Verification. - Stephen Wong; Jing Sun 002; Ian Warren; Jun Sun 001 (ICECCS, 2008)

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. - Jin Song Dong; Jing Sun 002; Jun Sun 001; Kenji Taguchi 001; Xian Zhang 007 (ICFEM, 2008)

Bounded Model Checking of Compositional Processes. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Jing Sun 002 (TASE, 2008)

Compositional encoding for bounded model checking. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Jing Sun 002 (Frontiers Comput. Sci. China, 2008)

Towards Specification Based Testing for Semantic Web Services. - M. Shaban Jokhio; Gillian Dobbie; Jing Sun 002 (Australian Software Engineering Conference, 2009)

Verifying Semistructured Data Normalization Using SWRL. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Scott Uk-Jin Lee; Hai H. Wang (TASE, 2009)

Software monitoring through formal specification animation. - Hui Liang; Jin Song Dong; Jing Sun 002; W. Eric Wong (Innov. Syst. Softw. Eng., 2009)

Formal Verification of Semistructured Data Models in PVS. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (J. Univers. Comput. Sci., 2009)

A semantic web environment for components. - Hai H. Wang; Jing Sun 002 (Knowl. Eng. Rev., 2009)

SCP special issue on the grand challenge - Preface. - Jin Song Dong; Jing Sun 002 (Sci. Comput. Program., 2009)

Enhanced Semantic Access to Formal Software Models. - Hai H. Wang; Danica Damljanovic; Jing Sun 002 (ICFEM, 2010)

Pairwise Constrained Clustering with Group Similarity-Based Patterns. - Tianming Hu; Chuanren Liu; Jing Sun 002; Sam Yuan Sung; Peter A. Ng (ICMLA, 2010)

Theorem prover approach to semistructured data design. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (Formal Methods Syst. Des., 2010)

Semantic Enabled Sensor Network Design. - Jing Sun 002; Hai H. Wang; Hui Gu (SEKE, 2011)

Design Software Architecture Models using Ontology. - Jing Sun 002; Hai H. Wang; Tianming Hu (SEKE, 2011)

Model Checking Software Architecture Design. - Jiexin Zhang 002; Yang Liu 003; Jing Sun 002; Jin Song Dong; Jun Sun 001 (HASE, 2012)

Translating PDDL into CSP# - The PAT Approach. - Yi Li 008; Jing Sun 002; Jin Song Dong; Yang Liu 003; Jun Sun 001 (ICECCS, 2012)

Planning as Model Checking Tasks. - Yi Li 008; Jing Sun 002; Jin Song Dong; Yang Liu 003; Jun Sun 001 (SEW, 2012)

A linear transform scheme for building weighted scoring rules. - Tianming Hu; Sam Yuan Sung; Jing Sun 002; Xiao-Wei Ai; Peter A. Ng (Intell. Data Anal., 2012)

Web Services Testing via Goal and Mutation. - M. Shaban Jokhio; Gillian Dobbie; Jing Sun 002; Tianming Hu (ICECCS, 2013)

Towards a Consistent Feature Model using OWL. - Hai H. Wang; Yuan-Fang Li; Jing Sun 002; Hongyu Zhang 002; Jeff Z. Pan (Semantic Web Enabled Software Engineering, 2014)

Automated Mutation-Based Test Case Evaluation for Semantic Web Services. - M. Shaban Jokhio; Gillian Dobbie; Tianming Hu; Jing Sun 002 (Australian Software Engineering Conference, 2014)

Model checking approach to automated planning. - Yi Li 008; Jin Song Dong 001; Jing Sun 002; Yang Liu 003; Jun Sun 001 (Formal Methods Syst. Des., 2014)

High-dimensional clustering: a clique-based hypergraph partitioning framework. - Tianming Hu; Chuanren Liu; Yong Tang 001; Jing Sun 002; Hui Xiong 001; Sam Yuan Sung (Knowl. Inf. Syst., 2014)

An automated tool for semantic accessing to formal software models. - Hai H. Wang; Danica Damljanovic; Jing Sun 002 (Sci. Comput. Program., 2014)

Sports Strategy Analytics Using Probabilistic Reasoning. - Jin Song Dong; Ling Shi; Le Vu Nguyen Chuong; Kan Jiang; Jing Sun 002 (ICECCS, 2015)

Event and Strategy Analytics. - Jin Song Dong; Jun Sun 001; Yang Liu 003; Yuan-Fang Li; Jing Sun 002; Ling Shi (TASE, 2015)

A Collaborative Code Review Platform for GitHub. - Akshay Kalyan; Matthew Chiam; Jing Sun 002; Sathiamoorthy Manoharan (ICECCS, 2016)

From Code to Design: A Reverse Engineering Approach. - Elliot Varoy; John Burrows; Jing Sun 002; Sathiamoorthy Manoharan (ICECCS, 2016)

Service Adaptation with Probabilistic Partial Models. - Manman Chen; Tian Huat Tan; Jun Sun 001; Jingyi Wang 004; Yang Liu 003; Jing Sun 002; Jin Song Dong (ICFEM, 2016)

From Design to Code: An Educational Approach. - Candice Eckert; Brian Cham; Jing Sun 002; Gillian Dobbie (SEKE, 2016)

Linking Design Model with Code. - Candice Eckert; Brian Cham; Pengyi Li 002; Jing Sun 002; Gillian Dobbie (Int. J. Softw. Eng. Knowl. Eng., 2016)

From verified model to executable program: the PAT approach. - Huiquan Zhu; Jing Sun 002; Jin Song Dong 001; Shang-Wei Lin 001 (Innov. Syst. Softw. Eng., 2016)

Visual Development Platform for Ruby on Rails. - Anmol Desai; Nicholas Molloy; Jing Sun 002; Gillian Dobbie (SEKE, 2017)

Towards Code Generation from Design Models. - Pengyi Li 002; Jing Sun 002; Hai Wang 016 (SEKE, 2017)

Named Entity Extraction and Classification in Digital Publications. - Chuan-Yu Wu; Bom Yi Lee; Jing Sun 002; Yin Yin Latt; Kim Shepherd; Jared Watts (SEKE, 2017)

Formal Approach to Assertion-Based Code Generation. - Pengyi Li 002; Jing Sun 002; Hai Wang 016 (Int. J. Softw. Eng. Knowl. Eng., 2017)

Goal-based testing of semantic web services. - M. Shaban Jokhio; Jing Sun 002; Gillian Dobbie; Tianming Hu (Inf. Softw. Technol., 2017)

B-Repair: Repairing B-Models Using Machine Learning. - Chenghao Cai; Jing Sun 002; Gillian Dobbie (ICECCS, 2018)

Ontology-based Software Architectural Pattern Recognition and Reasoning (S). - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (SEKE, 2018)

BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S). - Catherine Shanly; Michael Ieti; Ian Warren; Jing Sun 002 (SEKE, 2018)

A Knowledge Engineering Approach to UML Modeling (S). - Bingyang Wei; Jing Sun 002; Yi Wang 030 (SEKE, 2018)

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. - Chenghao Cai; Jing Sun 002; Gillian Dobbie; Scott Uk-Jin Lee (APSEC, 2019)

Parallel Verification of Software Architecture Design. - Nacha Chondamrongkul; Jing Sun 002; Bingyang Wei; Ian Warren (HASE, 2019)

Design Model Repair with Formal Verification. - Chenghao Cai; Jing Sun 002; Gillian Dobbie (ICFEM, 2019)

PAT approach to Architecture Behavioural Verification. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (SEKE, 2019)

Semantic Rule Based Program Monitoring (S). - Luke Tudor; Jing Sun 002; Hai H. Wang; Bingyang Wei (SEKE, 2019)

Trainable back-propagated functional transfer matrices. - Chenghao Cai; Yanyan Xu 001; Dengfeng Ke; Kaile Su; Jing Sun 002 (Appl. Intell., 2019)

Automatic B-model repair using model checking and machine learning. - Chenghao Cai; Jing Sun 002; Gillian Dobbie (Autom. Softw. Eng., 2019)

Formal Software Architectural Migration Towards Emerging Architectural Styles. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (ECSA, 2020)

Automated Planning for Software Architectural Migration. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (ICECCS, 2020)

The Semantic Spreadsheet. - Behzad Farokhi; Katharina Dost; Gerald Weber; Jing Sun 002; Christof Lutteroth (ICECCS, 2020)

Automated Security Analysis for Microservice Architecture. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (ICSA Companion, 2020)

Semantic-based Architecture Smell Analysis. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren; Scott Uk-Jin Lee (FormaliSE@ICSE, 2020)

Formal Security Analysis for Blockchain-based Software Architecture. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (SEKE, 2020)

Measuring the Quality of B Abstract Machines with ISO/IEC 25010. - Chenghao Cai; Jing Sun 002; Gillian Dobbie (TASE, 2020)

Integrated Formal Tools for Software Architecture Smell Detection. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren; Scott Uk-Jin Lee (Int. J. Softw. Eng. Knowl. Eng., 2020)

Guest Editor's Introduction. - Jing Sun 002 (Int. J. Softw. Eng. Knowl. Eng., 2020)

Formal verification of cP systems using PAT3 and ProB. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (J. Membr. Comput., 2020)

A Real-Time Flexible Telecommunication Decoding Architecture Using FPGA Partial Reconfiguration. - Longyu Ma; Chiu-Wing Sham; Jing Sun 002; Raul Horacio Valencia Tenorio (IEEE Trans. Circuits Syst. II Express Briefs, 2020)

An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures. - Dengfeng Ke; Yuxing Lu; Xudong Liu; Yanyan Xu 001; Jing Sun 002; Chenghao Cai (CoRR, 2021)

A Sublinear Sudoku Solution in cP Systems and its Formal Verification. - Yezhou Liu; Radu Nicolescu; Jing Sun 002; Alec Henderson (Comput. Sci. J. Moldova, 2021)

Silas: A high-performance machine learning foundation for logical reasoning and verification. - Hadrien Bride; Cheng-Hao Cai; Jie Dong; Jin Song Dong; Zhé Hóu; Seyedali Mirjalili; Jing Sun 002 (Expert Syst. Appl., 2021)

Leveraging SPARQL Queries for UML Consistency Checking. - Bingyang Wei; Jing Sun 002 (Int. J. Softw. Eng. Knowl. Eng., 2021)

An efficient labelled nested multiset unification algorithm. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (J. Membr. Comput., 2021)

Formal verification of cP systems using Coq. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (J. Membr. Comput., 2021)

Formal security analysis for software architecture design: An expressive framework to emerging architectural styles. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (Sci. Comput. Program., 2021)

Software Architectural Migration: An Automated Planning Approach. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren (ACM Trans. Softw. Eng. Methodol., 2021)

Architectural Refactoring for Functional Properties in Evolutionary Architecture. - Nacha Chondamrongkul; Jing Sun 002 (ICSA, 2022)

cPV - Simulation and Verification for Membrane Computing. - Yezhou Liu; Jing Sun 002; Radu Nicolescu; Hai Wang 016 (QRS, 2022)

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie; Zhé Hóu; Hadrien Bride; Jin Song Dong 001; Scott Uk-Jin Lee (Formal Aspects Comput., 2022)

Towards automated deduction in cP systems. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (Inf. Sci., 2022)

Editorial. - Zhé Hóu; Vijay Ganesh 001; Jing Sun 002 (Innov. Syst. Softw. Eng., 2022)

B model quality assessments on automated reachability repair with ISO/IEC 25010. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie (Sci. Comput. Program., 2022)

A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts. - Zhiyuan Wei; Jing Sun 002; Zijian Zhang 001; Xianhao Zhang; Meng Li 006; Liehuang Zhu (CoRR, 2023)

Software evolutionary architecture: Automated planning for functional changes. - Nacha Chondamrongkul; Jing Sun 002 (Sci. Comput. Program., 2023)

Automatic refactoring of conditions and substitutions for B state transition models. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie (Softw. Pract. Exp., 2023)

Validating Smart Contracts Using GPT Assistant. - Xianhao Zhang; Zhiyuan Wei; Jing Sun 002; Zijian Zhang 001; Zixiao Zhao (COMPSAC, 2024)

Code Generation Using Self-Interactive Assistant. - Zixiao Zhao; Jing Sun 002; Cheng-Hao Cai; Zhiyuan Wei (COMPSAC, 2024)

A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model. - Xiaojun Xu 001; Chenghao Cai; Xiuqi Yang; Zhuofan Xu; Jingjing Hu; Jing Sun 002 (Internetware, 2024)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection. - Zhiyuan Wei; Jing Sun 002; Zijiang Zhang; Xianhao Zhang (CoRR, 2024)

Leveraging Fine-Tuned Language Models for Efficient and Accurate Smart Contract Auditing. - Zhiyuan Wei; Jing Sun 002; Zijian Zhang 001; Xianhao Zhang; Meng Li 006 (CoRR, 2024)

VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs. - Zixiao Zhao; Jing Sun 002; Zhiyuan Wei; Cheng-Hao Cai; Zhe Hou; Jin Song Dong (CoRR, 2024)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. - Yedi Zhang; Yufan Cai; Xinyue Zuo; Xiaokun Luan; Kailong Wang 001; Zhe Hou; Yifan Zhang; Zhiyuan Wei; Meng Sun 002; Jun Sun 001; Jing Sun 002; Jin Song Dong (CoRR, 2024)

The automation of design model repair. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie (Sci. Comput. Program., 2025)

Survey on Quality Assurance of Smart Contracts. - Zhiyuan Wei; Jing Sun 002; Zijian Zhang 001; Xianhao Zhang; Xiaoxuan Yang 003; Liehuang Zhu (ACM Comput. Surv., 2025)

Covert Transmission via Steganography and Smart Contract. - Yingxue Liu; Jing Sun 002; Zhuo Chen 001; Feng Gao 019; Xiangbo Yuan; Zijian Zhang 001; Lei Zhang; Meng Li 006; Qi Gao; Liehuang Zhu (IEEE Internet Things J., 2025)