Jing Sun

140 papers A* 3A 1B 16C 37Misc 6Journal 56Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Noise Reduction for Pufferfish Privacy: A Practical Noise Calibration Method.
CoRR
Wenjin Yang, Ni Ding, Zijian Zhang, Jing Sun, Zhen Li, Yan Wu, Jiahang Sun, Haotian Lin, Yong Liu, Jincheng An, Liehuang Zhu
2026 — ed.
Sports Analytics - Second International Conference, ISACE 2025, Shanghai, China, September 26-27, 2025, Proceedings
ISACE
Jin-Song Dong, Jing Sun, Xiaofei Xie, Kan Jiang
2025 J jnl
Advanced Smart Contract Vulnerability Detection via LLM-Powered Multi-Agent Systems.
IEEE Trans. Software Eng.
Zhiyuan Wei, Jing Sun, Yuqiang Sun, Ye Liu, Daoyuan Wu, Zijian Zhang, Xianhao Zhang, Meng Li, Yang Liu, Chunmiao Li, Mingchao Wan, Jin Dong, Liehuang Zhu
2025 J jnl
Covert Transmission via Steganography and Smart Contract.
IEEE Internet Things J.
Yingxue Liu, Jing Sun, Zhuo Chen, Feng Gao, Xiangbo Yuan, Zijian Zhang, Lei Zhang, Meng Li, Qi Gao, Liehuang Zhu
2025 J jnl
Distilling Lightweight Language Models for C/C++ Vulnerabilities.
CoRR
Zhiyuan Wei, Xiaoxuan Yang, Jing Sun, Zijian Zhang
2025 J jnl
EByFTVeS: Efficient Byzantine Fault Tolerant-based Verifiable Secret-sharing in Distributed Privacy-preserving Machine Learning.
CoRR
Zhen Li, Zijian Zhang, Wenjin Yang, Pengbo Wang, Zhaoqi Wang, Meng Li, Yan Wu, Xuyang Liu, Jing Sun, Liehuang Zhu
2025 A* conf
PAT-Agent: Autoformalization for Model Checking.
ASE
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025 J jnl
PAT-Agent: Autoformalization for Model Checking.
CoRR
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025 — conf
Personalised Running Coaching with Next-Generation Wearable Technology.
ISACE
Nathan Hur, Jonathan Soulsby, Zixiao Zhao, Jing Sun
2025 — conf
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.
ICML (Position Papers)
Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
2025 J jnl
Survey on Quality Assurance of Smart Contracts.
ACM Comput. Surv.
Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Xiaoxuan Yang, Liehuang Zhu
2025 J jnl
The automation of design model repair.
Sci. Comput. Program.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
2024 — conf
A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model.
Internetware
Xiaojun Xu, Chenghao Cai, Xiuqi Yang, Zhuofan Xu, Jingjing Hu, Jing Sun
2024 B conf
Code Generation Using Self-Interactive Assistant.
COMPSAC
Zixiao Zhao, Jing Sun, Cheng-Hao Cai, Zhiyuan Wei
2024 J jnl
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection.
CoRR
Zhiyuan Wei, Jing Sun, Zijiang Zhang, Xianhao Zhang
2024 J jnl
Leveraging Fine-Tuned Language Models for Efficient and Accurate Smart Contract Auditing.
CoRR
Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Meng Li
2024 J jnl
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.
CoRR
Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
2024 B conf
Validating Smart Contracts Using GPT Assistant.
COMPSAC
Xianhao Zhang, Zhiyuan Wei, Jing Sun, Zijian Zhang, Zixiao Zhao
2024 J jnl
VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs.
CoRR
Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong
2023 J jnl
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts.
CoRR
Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Meng Li, Liehuang Zhu
2023 J jnl
Automatic refactoring of conditions and substitutions for B state transition models.
Softw. Pract. Exp.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
2023 J jnl
Software evolutionary architecture: Automated planning for functional changes.
Sci. Comput. Program.
Nacha Chondamrongkul, Jing Sun
2023 J jnl
Survey on Quality Assurance of Smart Contracts.
CoRR
Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Xiaoxuan Yang, Liehuang Zhu
2022 A conf
Architectural Refactoring for Functional Properties in Evolutionary Architecture.
ICSA
Nacha Chondamrongkul, Jing Sun
2022 J jnl
B model quality assessments on automated reachability repair with ISO/IEC 25010.
Sci. Comput. Program.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
2022 J jnl
Editorial.
Innov. Syst. Softw. Eng.
Zhé Hóu, Vijay Ganesh, Jing Sun
2022 J jnl
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
2022 J jnl
Towards automated deduction in cP systems.
Inf. Sci.
Yezhou Liu, Radu Nicolescu, Jing Sun
2022 C conf
cPV - Simulation and Verification for Membrane Computing.
QRS
Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang
2021 J jnl
A Sublinear Sudoku Solution in cP Systems and its Formal Verification.
Comput. Sci. J. Moldova
Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson
2021 J jnl
An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures.
CoRR
Dengfeng Ke, Yuxing Lu, Xudong Liu, Yanyan Xu, Jing Sun, Chenghao Cai
2021 J jnl
An efficient labelled nested multiset unification algorithm.
J. Membr. Comput.
Yezhou Liu, Radu Nicolescu, Jing Sun
2021 J jnl
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles.
Sci. Comput. Program.
Nacha Chondamrongkul, Jing Sun, Ian Warren
2021 J jnl
Formal verification of cP systems using Coq.
J. Membr. Comput.
Yezhou Liu, Radu Nicolescu, Jing Sun
2021 J jnl
Leveraging SPARQL Queries for UML Consistency Checking.
Int. J. Softw. Eng. Knowl. Eng.
Bingyang Wei, Jing Sun
2021 J jnl
Silas: A high-performance machine learning foundation for logical reasoning and verification.
Expert Syst. Appl.
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
2021 J jnl
Software Architectural Migration: An Automated Planning Approach.
ACM Trans. Softw. Eng. Methodol.
Nacha Chondamrongkul, Jing Sun, Ian Warren
2020 J jnl
A Real-Time Flexible Telecommunication Decoding Architecture Using FPGA Partial Reconfiguration.
IEEE Trans. Circuits Syst. II Express Briefs
Longyu Ma, Chiu-Wing Sham, Jing Sun, Raul Horacio Valencia Tenorio
2020 B conf
Automated Planning for Software Architectural Migration.
ICECCS
Nacha Chondamrongkul, Jing Sun, Ian Warren
2020 — conf
Automated Security Analysis for Microservice Architecture.
ICSA Companion
Nacha Chondamrongkul, Jing Sun, Ian Warren
2020 C conf
Formal Security Analysis for Blockchain-based Software Architecture.
SEKE
Nacha Chondamrongkul, Jing Sun, Ian Warren
2020 B conf
Formal Software Architectural Migration Towards Emerging Architectural Styles.
ECSA
Nacha Chondamrongkul, Jing Sun, Ian Warren
2020 J jnl
Formal verification of cP systems using PAT3 and ProB.
J. Membr. Comput.
Yezhou Liu, Radu Nicolescu, Jing Sun
2020 J jnl
Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Jing Sun
2020 J jnl
Integrated Formal Tools for Software Architecture Smell Detection.
Int. J. Softw. Eng. Knowl. Eng.
Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee
2020 Misc conf
Measuring the Quality of B Abstract Machines with ISO/IEC 25010.
TASE
Chenghao Cai, Jing Sun, Gillian Dobbie
2020 J jnl
Measuring the Quality of B Abstract Machines with ISO/IEC 25010.
CoRR
Chenghao Cai, Jing Sun, Gillian Dobbie
2020 — conf
Semantic-based Architecture Smell Analysis.
FormaliSE@ICSE
Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee
2020 B conf
The Semantic Spreadsheet.
ICECCS
Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun, Christof Lutteroth
2019 B ed.
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019
ICECCS
Jun Pang, Jing Sun
2019 C conf
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.
APSEC
Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee
2019 J jnl
Automatic B-model repair using model checking and machine learning.
Autom. Softw. Eng.
Chenghao Cai, Jing Sun, Gillian Dobbie
2019 C conf
Design Model Repair with Formal Verification.
ICFEM
Chenghao Cai, Jing Sun, Gillian Dobbie
2019 C conf
PAT approach to Architecture Behavioural Verification.
SEKE
Nacha Chondamrongkul, Jing Sun, Ian Warren
2019 — conf
Parallel Verification of Software Architecture Design.
HASE
Nacha Chondamrongkul, Jing Sun, Bingyang Wei, Ian Warren
2019 C conf
Semantic Rule Based Program Monitoring (S).
SEKE
Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei
2019 J jnl
Trainable back-propagated functional transfer matrices.
Appl. Intell.
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
2018 C conf
A Knowledge Engineering Approach to UML Modeling (S).
SEKE
Bingyang Wei, Jing Sun, Yi Wang
2018 B conf
B-Repair: Repairing B-Models Using Machine Learning.
ICECCS
Chenghao Cai, Jing Sun, Gillian Dobbie
2018 C conf
BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S).
SEKE
Catherine Shanly, Michael Ieti, Ian Warren, Jing Sun
2018 C ed.
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ICFEM
Jing Sun, Meng Sun
2018 C conf
Ontology-based Software Architectural Pattern Recognition and Reasoning (S).
SEKE
Nacha Chondamrongkul, Jing Sun, Ian Warren
2017 J jnl
Formal Approach to Assertion-Based Code Generation.
Int. J. Softw. Eng. Knowl. Eng.
Pengyi Li, Jing Sun, Hai Wang
2017 J jnl
Goal-based testing of semantic web services.
Inf. Softw. Technol.
M. Shaban Jokhio, Jing Sun, Gillian Dobbie, Tianming Hu
2017 C conf
Named Entity Extraction and Classification in Digital Publications.
SEKE
Chuan-Yu Wu, Bom Yi Lee, Jing Sun, Yin Yin Latt, Kim Shepherd, Jared Watts
2017 C conf
Towards Code Generation from Design Models.
SEKE
Pengyi Li, Jing Sun, Hai Wang
2017 J jnl
Trainable back-propagated functional transfer matrices.
CoRR
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
2017 C conf
Visual Development Platform for Ruby on Rails.
SEKE
Anmol Desai, Nicholas Molloy, Jing Sun, Gillian Dobbie
2016 B conf
A Collaborative Code Review Platform for GitHub.
ICECCS
Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan
2016 B conf
From Code to Design: A Reverse Engineering Approach.
ICECCS
Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan
2016 C conf
From Design to Code: An Educational Approach.
SEKE
Candice Eckert, Brian Cham, Jing Sun, Gillian Dobbie
2016 J jnl
From verified model to executable program: the PAT approach.
Innov. Syst. Softw. Eng.
Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin
2016 J jnl
Linking Design Model with Code.
Int. J. Softw. Eng. Knowl. Eng.
Candice Eckert, Brian Cham, Pengyi Li, Jing Sun, Gillian Dobbie
2016 C conf
Service Adaptation with Probabilistic Partial Models.
ICFEM
Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong
2015 C ed.
2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015
APSEC
Jing Sun, Y. Raghu Reddy, Arun Bahulkar, Anjaneyulu Pasala
2015 Misc conf
Event and Strategy Analytics.
TASE
Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi
2015 B conf
Sports Strategy Analytics Using Probabilistic Reasoning.
ICECCS
Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun
2014 J jnl
An automated tool for semantic accessing to formal software models.
Sci. Comput. Program.
Hai H. Wang, Danica Damljanovic, Jing Sun
2014 — conf
Automated Mutation-Based Test Case Evaluation for Semantic Web Services.
Australian Software Engineering Conference
M. Shaban Jokhio, Gillian Dobbie, Tianming Hu, Jing Sun
2014 J jnl
High-dimensional clustering: a clique-based hypergraph partitioning framework.
Knowl. Inf. Syst.
Tianming Hu, Chuanren Liu, Yong Tang, Jing Sun, Hui Xiong, Sam Yuan Sung
2014 J jnl
Model checking approach to automated planning.
Formal Methods Syst. Des.
Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
2014 — ch.
Towards a Consistent Feature Model using OWL.
Semantic Web Enabled Software Engineering
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan
2013 C ed.
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
ICFEM
Lindsay Groves, Jing Sun
2013 B conf
Web Services Testing via Goal and Mutation.
ICECCS
M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu
2012 J jnl
A linear transform scheme for building weighted scoring rules.
Intell. Data Anal.
Tianming Hu, Sam Yuan Sung, Jing Sun, Xiao-Wei Ai, Peter A. Ng
2012 — conf
Model Checking Software Architecture Design.
HASE
Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun
2012 C conf
Planning as Model Checking Tasks.
SEW
Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
2012 B conf
Translating PDDL into CSP# - The PAT Approach.
ICECCS
Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
2011 C conf
Design Software Architecture Models using Ontology.
SEKE
Jing Sun, Hai H. Wang, Tianming Hu
2011 C conf
Semantic Enabled Sensor Network Design.
SEKE
Jing Sun, Hai H. Wang, Hui Gu
2010 C conf
Enhanced Semantic Access to Formal Software Models.
ICFEM
Hai H. Wang, Danica Damljanovic, Jing Sun
2010 C conf
Pairwise Constrained Clustering with Group Similarity-Based Patterns.
ICMLA
Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung, Peter A. Ng
2010 J jnl
Theorem prover approach to semistructured data design.
Formal Methods Syst. Des.
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
2009 J jnl
A semantic web environment for components.
Knowl. Eng. Rev.
Hai H. Wang, Jing Sun
2009 J jnl
Formal Verification of Semistructured Data Models in PVS.
J. Univers. Comput. Sci.
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
2009 J jnl
SCP special issue on the grand challenge - Preface.
Sci. Comput. Program.
Jin Song Dong, Jing Sun
2009 J jnl
Software monitoring through formal specification animation.
Innov. Syst. Softw. Eng.
Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong
2009 — conf
Towards Specification Based Testing for Semantic Web Services.
Australian Software Engineering Conference
M. Shaban Jokhio, Gillian Dobbie, Jing Sun
2009 Misc conf
Verifying Semistructured Data Normalization Using SWRL.
TASE
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang
2008 B conf
A Scalable Approach to Multi-style Architectural Modeling and Verification.
ICECCS
Stephen Wong, Jing Sun, Ian Warren, Jun Sun
2008 Misc conf
Bounded Model Checking of Compositional Processes.
TASE
Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
2008 J jnl
Compositional encoding for bounded model checking.
Frontiers Comput. Sci. China
Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
2008 — conf
Correctness Criteria for Normalization of Semistructured Data.
Australian Software Engineering Conference
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li
2008 C conf
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
ICFEM
Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang
2008 B conf
Verifying Semistructured Data Normalization Using PVS.
ICECCS
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves
2007 C conf
Evolution and Runtime Monitoring of Software Systems.
SEKE
Hui Liang, Jin Song Dong, Jing Sun
2007 C conf
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection.
SEKE
Hui Liang, Jing Sun
2007 Misc conf
Towards Verifying Semistructured Data.
APCCM
Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee
2007 J jnl
Verifying feature models using OWL.
J. Web Semant.
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan
2006 C conf
A PVS Approach to Verifying ORA-SS Data Models.
SEKE
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
2006 A* conf
An Automated Formal Approach to Managing Dynamic Reconfiguration.
ASE
Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe
2006 J jnl
Computer-aided dispatch system family architecture and verification: an integrated formal approach.
IEE Proc. Softw.
Jing Sun, Jin Song Dong, Stan Jarzabek, Hai H. Wang
2006 C conf
Context Awareness Systems Design and Reasoning.
ISoLA
Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun
2006 B conf
Formal Specification-based Online Monitoring.
ICECCS
Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
2006 J jnl
Generic Fault Tolerant Software Architecture Reasoning and Customization.
IEEE Trans. Reliab.
Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit
2006 C conf
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.
APSEC
Ling Yuan, Jin Song Dong, Jing Sun
2006 J jnl
Reasoning About ORA-SS Data Models Using the Semantic Web.
J. Data Semant.
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun
2006 J jnl
Reasoning support for Semantic Web ontology family languages using Alloy.
Multiagent Grid Syst.
Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun
2006 Misc conf
Research into Verifying Semistructured Data.
ICDCIT
Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee
2006 — conf
Validating ORA-SS Data Models using Alloy.
ASWEC
Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves
2006 — conf
Validating Semistructured Data Using OWL.
WAIM
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang
2005 — conf
A Z Approach in Validating ORA-SS Data Models.
SVV@ICFEM
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li
2005 — conf
An Architecture for Developing Aspect-Oriented Web Services.
ECOWS
Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun
2005 B conf
Formal Semantics and Verification for Feature Modeling.
ICECCS
Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang
2005 C conf
Reasoning Support for SWRL-FOL Using Alloy.
SEKE
Hai H. Wang, Jin Song Dong, Jing Sun
2005 C conf
SVG Web Environment for Z Specification Language.
ICFEM
Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik
2005 C conf
TCOZ Approach to OWL-S Process Model Design.
SEKE
Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li
2005 — conf
Verify Feature Models using protegeowl.
WWW (Special interest tracks and posters)
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang
2005 C conf
Visualizing and Simulating Semantic Web Services Ontologies.
ICFEM
Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun
2004 C conf
Reasoning about Semantic Web in Isabelle/HOL.
APSEC
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
2003 — conf
Checking and Reasoning about Semantic Web through Alloy.
FME
Jin Song Dong, Jing Sun, Hai H. Wang
2003 — conf
ZML: XML Support for Standard Z.
ZB
Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
2002 J jnl
A Formal Object Approach to the Design of ZML.
Ann. Softw. Eng.
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
2002 — conf
Semantic Web for Extending and Linking Formalisms.
FME
Jin Song Dong, Jing Sun, Hai H. Wang
2002 C conf
Specifying and Reasoning about Generic Architecture in TCOZ.
APSEC
Jing Sun, Jin Song Dong
2002 C conf
XML-Based Static Type Checking and Dynamic Visualization for TCOZ.
ICFEM
Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang
2002 C conf
Z Approach to Semantic Web.
ICFEM
Jin Song Dong, Jing Sun, Hai H. Wang
2001 C conf
An XML/XSL Approach to Visualize and Animate TCOZ.
APSEC
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
2001 A* conf
Object-Z web environment and projections to UML.
WWW
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
2000 — conf
TRMCS in TCOZ.
IWSSD
Jing Liu, Jin Song Dong, Jing Sun