Jing Sun

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 43

Top Venues

SEKE

ICECCS

Int. J. Softw. Eng. Knowl. Eng.

Sci. Comput. Program.

Publications

Nacha Chondamrongkul, Jing Sun
Software evolutionary architecture: Automated planning for functional changes. Sci. Comput. Program. 230 (2023)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
Automatic refactoring of conditions and substitutions for B state transition models. Softw. Pract. Exp. 53 (11) (2023)
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) (2022)
Nacha Chondamrongkul, Jing Sun
Architectural Refactoring for Functional Properties in Evolutionary Architecture. ICSA (2022)
Zhé Hóu, Vijay Ganesh, Jing Sun
Editorial. Innov. Syst. Softw. Eng. 18 (3) (2022)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
B model quality assessments on automated reachability repair with ISO/IEC 25010. Sci. Comput. Program. 214 (2022)
Bingyang Wei, Jing Sun
Leveraging SPARQL Queries for UML Consistency Checking. Int. J. Softw. Eng. Knowl. Eng. 31 (4) (2021)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles. Sci. Comput. Program. 206 (2021)
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 (2021)
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 (2021)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Software Architectural Migration: An Automated Planning Approach. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Chenghao Cai, Jing Sun, Gillian Dobbie
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. TASE (2020)
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) (2020)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Formal Software Architectural Migration Towards Emerging Architectural Styles. ECSA (2020)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Formal Security Analysis for Blockchain-based Software Architecture. SEKE (2020)
Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee
Semantic-based Architecture Smell Analysis. FormaliSE@ICSE (2020)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Automated Planning for Software Architectural Migration. ICECCS (2020)
Jing Sun
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 30 (6) (2020)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Automated Security Analysis for Microservice Architecture. ICSA Companion (2020)
Chenghao Cai, Jing Sun, Gillian Dobbie
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. CoRR (2020)
Nacha Chondamrongkul, Jing Sun, Ian Warren
PAT approach to Architecture Behavioural Verification. SEKE (2019)
Chenghao Cai, Jing Sun, Gillian Dobbie
Automatic B-model repair using model checking and machine learning. Autom. Softw. Eng. 26 (3) (2019)
Nacha Chondamrongkul, Jing Sun, Bingyang Wei, Ian Warren
Parallel Verification of Software Architecture Design. HASE (2019)
Chenghao Cai, Jing Sun, Gillian Dobbie
Design Model Repair with Formal Verification. ICFEM (2019)
Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. APSEC (2019)
Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei
Semantic Rule Based Program Monitoring (S). SEKE (2019)
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
Trainable back-propagated functional transfer matrices. Appl. Intell. 49 (2) (2019)
Chenghao Cai, Jing Sun, Gillian Dobbie
B-Repair: Repairing B-Models Using Machine Learning. ICECCS (2018)
Nacha Chondamrongkul, Jing Sun, Ian Warren
Ontology-based Software Architectural Pattern Recognition and Reasoning (S). SEKE (2018)
Bingyang Wei, Jing Sun, Yi Wang
A Knowledge Engineering Approach to UML Modeling (S). SEKE (2018)
Catherine Shanly, Michael Ieti, Ian Warren, Jing Sun
BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S). SEKE (2018)
Pengyi Li, Jing Sun, Hai Wang
Towards Code Generation from Design Models. SEKE (2017)
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)
Pengyi Li, Jing Sun, Hai Wang
Formal Approach to Assertion-Based Code Generation. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)
Anmol Desai, Nicholas Molloy, Jing Sun, Gillian Dobbie
Visual Development Platform for Ruby on Rails. SEKE (2017)
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
Trainable back-propagated functional transfer matrices. CoRR (2017)
M. Shaban Jokhio, Jing Sun, Gillian Dobbie, Tianming Hu
Goal-based testing of semantic web services. Inf. Softw. Technol. 83 (2017)
Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong
Service Adaptation with Probabilistic Partial Models. ICFEM (2016)
Candice Eckert, Brian Cham, Jing Sun, Gillian Dobbie
From Design to Code: An Educational Approach. SEKE (2016)
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) (2016)
Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan
From Code to Design: A Reverse Engineering Approach. ICECCS (2016)
Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan
A Collaborative Code Review Platform for GitHub. ICECCS (2016)
Candice Eckert, Brian Cham, Pengyi Li, Jing Sun, Gillian Dobbie
Linking Design Model with Code. Int. J. Softw. Eng. Knowl. Eng. 26 (9-10) (2016)
Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun
Sports Strategy Analytics Using Probabilistic Reasoning. ICECCS (2015)
Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi
Event and Strategy Analytics. TASE (2015)
M. Shaban Jokhio, Gillian Dobbie, Tianming Hu, Jing Sun
Automated Mutation-Based Test Case Evaluation for Semantic Web Services. Australian Software Engineering Conference (2014)
Hai H. Wang, Danica Damljanovic, Jing Sun
An automated tool for semantic accessing to formal software models. Sci. Comput. Program. 95 (2014)
Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
Model checking approach to automated planning. Formal Methods Syst. Des. 44 (2) (2014)
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) (2014)
M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu
Web Services Testing via Goal and Mutation. ICECCS (2013)
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) (2012)
Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun
Model Checking Software Architecture Design. HASE (2012)
Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
Translating PDDL into CSP# - The PAT Approach. ICECCS (2012)
Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
Planning as Model Checking Tasks. SEW (2012)
Jing Sun, Hai H. Wang, Tianming Hu
Design Software Architecture Models using Ontology. SEKE (2011)
Jing Sun, Hai H. Wang, Hui Gu
Semantic Enabled Sensor Network Design. SEKE (2011)
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
Theorem prover approach to semistructured data design. Formal Methods Syst. Des. 37 (1) (2010)
Hai H. Wang, Danica Damljanovic, Jing Sun
Enhanced Semantic Access to Formal Software Models. ICFEM (2010)
Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung, Peter A. Ng
Pairwise Constrained Clustering with Group Similarity-Based Patterns. ICMLA (2010)
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
Formal Verification of Semistructured Data Models in PVS. J. Univers. Comput. Sci. 15 (1) (2009)
M. Shaban Jokhio, Gillian Dobbie, Jing Sun
Towards Specification Based Testing for Semantic Web Services. Australian Software Engineering Conference (2009)
Jin Song Dong, Jing Sun
SCP special issue on the grand challenge - Preface. Sci. Comput. Program. 74 (4) (2009)
Hai H. Wang, Jing Sun
A semantic web environment for components. Knowl. Eng. Rev. 24 (1) (2009)
Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong
Software monitoring through formal specification animation. Innov. Syst. Softw. Eng. 5 (4) (2009)
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang
Verifying Semistructured Data Normalization Using SWRL. TASE (2009)
Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
Bounded Model Checking of Compositional Processes. TASE (2008)
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves
Verifying Semistructured Data Normalization Using PVS. ICECCS (2008)
Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM (2008)
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)
Stephen Wong, Jing Sun, Ian Warren, Jun Sun
A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS (2008)
Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
Compositional encoding for bounded model checking. Frontiers Comput. Sci. China 2 (4) (2008)
Hui Liang, Jing Sun
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. SEKE (2007)
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan
Verifying feature models using OWL. J. Web Semant. 5 (2) (2007)
Hui Liang, Jin Song Dong, Jing Sun
Evolution and Runtime Monitoring of Software Systems. SEKE (2007)
Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee
Towards Verifying Semistructured Data. APCCM (2007)
Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun
Context Awareness Systems Design and Reasoning. ISoLA (2006)
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li
A Z Approach in Validating ORA-SS Data Models. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe
An Automated Formal Approach to Managing Dynamic Reconfiguration. ASE (2006)
Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves
Validating ORA-SS Data Models using Alloy. ASWEC (2006)
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang
Validating Semistructured Data Using OWL. WAIM (2006)
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. (2006)
Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit
Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Trans. Reliab. 55 (3) (2006)
Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
Formal Specification-based Online Monitoring. ICECCS (2006)
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) (2006)
Ling Yuan, Jin Song Dong, Jing Sun
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC (2006)
Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee
Research into Verifying Semistructured Data. ICDCIT (2006)
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
A PVS Approach to Verifying ORA-SS Data Models. SEKE (2006)
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) (2006)
Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang
Formal Semantics and Verification for Feature Modeling. ICECCS (2005)
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang
Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) (2005)
Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li
TCOZ Approach to OWL-S Process Model Design. SEKE (2005)
Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun
Visualizing and Simulating Semantic Web Services Ontologies. ICFEM (2005)
Hai H. Wang, Jin Song Dong, Jing Sun
Reasoning Support for SWRL-FOL Using Alloy. SEKE (2005)
Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun
An Architecture for Developing Aspect-Oriented Web Services. ECOWS (2005)
Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik
SVG Web Environment for Z Specification Language. ICFEM (2005)
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
Reasoning about Semantic Web in Isabelle/HOL. APSEC (2004)
Jin Song Dong, Jing Sun, Hai H. Wang
Checking and Reasoning about Semantic Web through Alloy. FME (2003)
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)
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) (2002)
Jin Song Dong, Jing Sun, Hai H. Wang
Z Approach to Semantic Web. ICFEM (2002)

Jing Sun.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jing Sun