Jing Sun

According to our database1, Jing Sun authored at least 77 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2017
Goal-based testing of semantic web services.
Information & Software Technology, 2017

Formal Approach to Assertion-Based Code Generation.
International Journal of Software Engineering and Knowledge Engineering, 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.
ISSE, 2016

Linking Design Model with Code.
International Journal of Software Engineering and Knowledge Engineering, 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 in System Design, 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 in System Design, 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.
Knowledge Eng. Review, 2009

Formal Verification of Semistructured Data Models in PVS.
J. UCS, 2009

Software monitoring through formal specification animation.
ISSE, 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 Sem., 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. Reliability, 2006

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

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

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

A Z Approach in Validating ORA-SS Data Models.
Electr. Notes Theor. Comput. Sci., 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
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. Software 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...