Jing Sun

Orcid: 0000-0002-1979-6622

Affiliations:
  • The University of Auckland, Department of Electrical and Computer Engineering / Department of Computer Science, New Zealand


According to our database1, Jing Sun authored at least 113 papers between 2000 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automatic refactoring of conditions and substitutions for B state transition models.
Softw. Pract. Exp., November, 2023

Software evolutionary architecture: Automated planning for functional changes.
Sci. Comput. Program., August, 2023

2022
B model quality assessments on automated reachability repair with ISO/IEC 25010.
Sci. Comput. Program., 2022

Editorial.
Innov. Syst. Softw. Eng., 2022

Towards automated deduction in cP systems.
Inf. Sci., 2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput., 2022

cPV - Simulation and Verification for Membrane Computing.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Architectural Refactoring for Functional Properties in Evolutionary Architecture.
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

2021
Software Architectural Migration: An Automated Planning Approach.
ACM Trans. Softw. Eng. Methodol., 2021

Formal security analysis for software architecture design: An expressive framework to emerging architectural styles.
Sci. Comput. Program., 2021

Formal verification of cP systems using Coq.
J. Membr. Comput., 2021

An efficient labelled nested multiset unification algorithm.
J. Membr. Comput., 2021

Leveraging SPARQL Queries for UML Consistency Checking.
Int. J. Softw. Eng. Knowl. Eng., 2021

Silas: A high-performance machine learning foundation for logical reasoning and verification.
Expert Syst. Appl., 2021

A Sublinear Sudoku Solution in cP Systems and its Formal Verification.
Comput. Sci. J. Moldova, 2021

An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures.
CoRR, 2021

2020
A Real-Time Flexible Telecommunication Decoding Architecture Using FPGA Partial Reconfiguration.
IEEE Trans. Circuits Syst. II Express Briefs, 2020

Formal verification of cP systems using PAT3 and ProB.
J. Membr. Comput., 2020

Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng., 2020

Integrated Formal Tools for Software Architecture Smell Detection.
Int. J. Softw. Eng. Knowl. Eng., 2020

Measuring the Quality of B Abstract Machines with ISO/IEC 25010.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Formal Security Analysis for Blockchain-based Software Architecture.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Semantic-based Architecture Smell Analysis.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Automated Security Analysis for Microservice Architecture.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

The Semantic Spreadsheet.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Automated Planning for Software Architectural Migration.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Formal Software Architectural Migration Towards Emerging Architectural Styles.
Proceedings of the Software Architecture - 14th European Conference, 2020

2019
Automatic B-model repair using model checking and machine learning.
Autom. Softw. Eng., 2019

Trainable back-propagated functional transfer matrices.
Appl. Intell., 2019

Semantic Rule Based Program Monitoring (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

PAT approach to Architecture Behavioural Verification.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Design Model Repair with Formal Verification.
Proceedings of the Formal Methods and Software Engineering, 2019

Parallel Verification of Software Architecture Design.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
A Knowledge Engineering Approach to UML Modeling (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Ontology-based Software Architectural Pattern Recognition and Reasoning (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

B-Repair: Repairing B-Models Using Machine Learning.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017
Goal-based testing of semantic web services.
Inf. Softw. Technol., 2017

Formal Approach to Assertion-Based Code Generation.
Int. J. Softw. Eng. Knowl. Eng., 2017

Named Entity Extraction and Classification in Digital Publications.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Towards Code Generation from Design Models.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Visual Development Platform for Ruby on Rails.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016
From verified model to executable program: the PAT approach.
Innov. Syst. Softw. Eng., 2016

Linking Design Model with Code.
Int. J. Softw. Eng. Knowl. Eng., 2016

From Design to Code: An Educational Approach.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Service Adaptation with Probabilistic Partial Models.
Proceedings of the Formal Methods and Software Engineering, 2016

From Code to Design: A Reverse Engineering Approach.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

A Collaborative Code Review Platform for GitHub.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015
Event and Strategy Analytics.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Sports Strategy Analytics Using Probabilistic Reasoning.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014
An automated tool for semantic accessing to formal software models.
Sci. Comput. Program., 2014

High-dimensional clustering: a clique-based hypergraph partitioning framework.
Knowl. Inf. Syst., 2014

Model checking approach to automated planning.
Formal Methods Syst. Des., 2014

Automated Mutation-Based Test Case Evaluation for Semantic Web Services.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

Towards a Consistent Feature Model using OWL.
Proceedings of the Semantic Web Enabled Software Engineering, 2014

2013
Web Services Testing via Goal and Mutation.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012
A linear transform scheme for building weighted scoring rules.
Intell. Data Anal., 2012

Planning as Model Checking Tasks.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Translating PDDL into CSP# - The PAT Approach.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model Checking Software Architecture Design.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011
Design Software Architecture Models using Ontology.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Semantic Enabled Sensor Network Design.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

2010
Theorem prover approach to semistructured data design.
Formal Methods Syst. Des., 2010

Pairwise Constrained Clustering with Group Similarity-Based Patterns.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

Enhanced Semantic Access to Formal Software Models.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
SCP special issue on the grand challenge - Preface.
Sci. Comput. Program., 2009

A semantic web environment for components.
Knowl. Eng. Rev., 2009

Formal Verification of Semistructured Data Models in PVS.
J. Univers. Comput. Sci., 2009

Software monitoring through formal specification animation.
Innov. Syst. Softw. Eng., 2009

Verifying Semistructured Data Normalization Using SWRL.
Proceedings of the TASE 2009, 2009

Towards Specification Based Testing for Semantic Web Services.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Compositional encoding for bounded model checking.
Frontiers Comput. Sci. China, 2008

Bounded Model Checking of Compositional Processes.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
Proceedings of the Formal Methods and Software Engineering, 2008

A Scalable Approach to Multi-style Architectural Modeling and Verification.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Verifying Semistructured Data Normalization Using PVS.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Correctness Criteria for Normalization of Semistructured Data.
Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2007
Verifying feature models using OWL.
J. Web Semant., 2007

Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Evolution and Runtime Monitoring of Software Systems.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Towards Verifying Semistructured Data.
Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

2006
Generic Fault Tolerant Software Architecture Reasoning and Customization.
IEEE Trans. Reliab., 2006

Reasoning support for Semantic Web ontology family languages using Alloy.
Multiagent Grid Syst., 2006

Reasoning About ORA-SS Data Models Using the Semantic Web.
J. Data Semant., 2006

Computer-aided dispatch system family architecture and verification: an integrated formal approach.
IEE Proc. Softw., 2006

Validating Semistructured Data Using OWL.
Proceedings of the Advances in Web-Age Information Management, 2006

A PVS Approach to Verifying ORA-SS Data Models.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

An Automated Formal Approach to Managing Dynamic Reconfiguration.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Context Awareness Systems Design and Reasoning.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Specification-based Online Monitoring.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Research into Verifying Semistructured Data.
Proceedings of the Distributed Computing and Internet Technology, 2006

Validating ORA-SS Data Models using Alloy.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
A Z Approach in Validating ORA-SS Data Models.
Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Verify Feature Models using protegeowl.
Proceedings of the 14th international conference on World Wide Web, 2005

TCOZ Approach to OWL-S Process Model Design.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Reasoning Support for SWRL-FOL Using Alloy.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

An Architecture for Developing Aspect-Oriented Web Services.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

SVG Web Environment for Z Specification Language.
Proceedings of the Formal Methods and Software Engineering, 2005

Visualizing and Simulating Semantic Web Services Ontologies.
Proceedings of the Formal Methods and Software Engineering, 2005

Formal Semantics and Verification for Feature Modeling.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004
Reasoning about Semantic Web in Isabelle/HOL.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
ZML: XML Support for Standard Z.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Checking and Reasoning about Semantic Web through Alloy.
Proceedings of the FME 2003: Formal Methods, 2003

2002
A Formal Object Approach to the Design of ZML.
Ann. Softw. Eng., 2002

Z Approach to Semantic Web.
Proceedings of the Formal Methods and Software Engineering, 2002

XML-Based Static Type Checking and Dynamic Visualization for TCOZ.
Proceedings of the Formal Methods and Software Engineering, 2002

Semantic Web for Extending and Linking Formalisms.
Proceedings of the FME 2002: Formal Methods, 2002

Specifying and Reasoning about Generic Architecture in TCOZ.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
Object-Z web environment and projections to UML.
Proceedings of the Tenth International World Wide Web Conference, 2001

An XML/XSL Approach to Visualize and Animate TCOZ.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
TRMCS in TCOZ.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000


  Loading...