Jing Sun

Sanjev Krishnamohan

Thiranjith Weerasinghe

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Context Awareness Systems Design and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Specification-based Online Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Research into Verifying Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2006

Validating ORA-SS Data Models using Alloy.

[BibT_eX]

[DOI]

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.

[BibT_eX]

[DOI]

Ling Yuan

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

A Z Approach in Validating ORA-SS Data Models.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Verify Feature Models using protegeowl.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

TCOZ Approach to OWL-S Process Model Design.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Reasoning Support for SWRL-FOL Using Alloy.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

An Architecture for Developing Aspect-Oriented Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

SVG Web Environment for Z Specification Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

Visualizing and Simulating Semantic Web Services Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

Formal Semantics and Verification for Feature Modeling.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

Reasoning about Semantic Web in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

ZML: XML Support for Standard Z.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Checking and Reasoning about Semantic Web through Alloy.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

2002

A Formal Object Approach to the Design of ZML.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2002

Z Approach to Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

XML-Based Static Type Checking and Dynamic Visualization for TCOZ.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Semantic Web for Extending and Linking Formalisms.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

Specifying and Reasoning about Generic Architecture in TCOZ.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Object-Z web environment and projections to UML.

[BibT_eX]

[DOI]

Proceedings of the Tenth International World Wide Web Conference, 2001

An XML/XSL Approach to Visualize and Animate TCOZ.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

TRMCS in TCOZ.

[BibT_eX]

[DOI]

Jing Liu