|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 50 occurrences of 30 keywords
|
|
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jing Sun 0002, Hai H. Wang, Tianming Hu |
Design Software Architecture Models using Ontology.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jing Sun 0002, Hai H. Wang, Hui Gu |
Semantic Enabled Sensor Network Design. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Theorem prover approach to semistructured data design. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Danica Damljanovic, Jing Sun 0002 |
Enhanced Semantic Access to Formal Software Models. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianming Hu, Chuanren Liu, Jing Sun 0002, Sam Yuan Sung, Peter A. Ng |
Pairwise Constrained Clustering with Group Similarity-Based Patterns. |
ICMLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002 |
SCP special issue on the grand challenge - Preface. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002, W. Eric Wong |
Software monitoring through formal specification animation. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Jing Sun 0002 |
A semantic web environment for components. |
Knowledge Eng. Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Formal Verification of Semistructured Data Models in PVS. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | M. Shaban Jokhio, Gillian Dobbie, Jing Sun 0002 |
Towards Specification Based Testing for Semantic Web Services. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang |
Verifying Semistructured Data Normalization Using SWRL. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Compositional encoding for bounded model checking. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking |
| 1 | Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi, Xian Zhang |
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li |
Correctness Criteria for Normalization of Semistructured Data. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
ORA-SS, Formal Specification, Normalization, Z, Semistructured Data |
| 1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves |
Verifying Semistructured Data Normalization Using PVS. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Wong, Jing Sun 0002, Ian Warren, Jun Sun 0001 |
A Scalable Approach to Multi-style Architectural Modeling and Verification. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Bounded Model Checking of Compositional Processes. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Compositional Processes, Tool, Bounded Model Checking |
| 1 | Hai H. Wang, Yuan-Fang Li, Jing Sun 0002, Hongyu Zhang, Jeff Z. Pan |
Verifying feature models using OWL. |
J. Web Sem. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liang, Jing Sun 0002 |
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002 |
Evolution and Runtime Monitoring of Software Systems. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gillian Dobbie, Jing Sun 0002, Yuan-Fang Li, Scott Uk-Jin Lee |
Towards Verifying Semistructured Data. |
APCCM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ling Yuan, Jin Song Dong, Jing Sun 0002, Hamid Abdul Basit |
Generic Fault Tolerant Software Architecture Reasoning and Customization. |
IEEE Transactions on Reliability |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Yuan-Fang Li |
A Z Approach in Validating ORA-SS Data Models. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Hai H. Wang, Jun Sun 0001 |
Reasoning About ORA-SS Data Models Using the Semantic Web. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
ORA-SS, Semantic Web, Formal Verification, Semistructured Data, Ontology Web Language |
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002, Jun Sun 0001 |
Reasoning support for Semantic Web ontology family languages using Alloy. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ling Yuan, Jin Song Dong, Jing Sun 0002 |
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Wang, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Validating ORA-SS Data Models using Alloy. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
ORA-SS, Modeling language semantics, Formal verification and validation, Semistructured data |
| 1 | Ian Warren, Jing Sun 0002, Sanjev Krishnamohan, Thiranjith Weerasinghe |
An Automated Formal Approach to Managing Dynamic Reconfiguration. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gillian Dobbie, Jing Sun 0002, Yuan-Fang Li, Scott Uk-Jin Lee |
Research into Verifying Semistructured Data. |
ICDCIT |
2006 |
DBLP DOI BibTeX RDF |
data model, semistructured data, automatic verification |
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
A PVS Approach to Verifying ORA-SS Data Models. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jin Song Dong, Yuzhang Feng, Jing Sun 0002, Jun Sun 0001 |
Context Awareness Systems Design and Reasoning. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Jun Sun 0001, Hai H. Wang |
Validating Semistructured Data Using OWL. |
WAIM |
2006 |
DBLP DOI BibTeX RDF |
Semantic Web, Formal Verification, OWL, Semistructured Data |
| 1 | Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
SVG Web Environment for Z Specification Language. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Z formal specification language, Web based tool support, Scalable Vector Graphics |
| 1 | Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun 0002 |
Visualizing and Simulating Semantic Web Services Ontologies. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Play-Engine, Semantic Web Services, OWL-S, LSC |
| 1 | Hai H. Wang, Yuan-Fang Li, Jing Sun 0002, Hongyu Zhang |
Verify Feature Models using protegeowl. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, OWL, feature modeling |
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002, Yuan-Fang Li |
TCOZ Approach to OWL-S Process Model Design. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002 |
Reasoning Support for SWRL-FOL Using Alloy. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jing Sun 0002, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang |
Formal Semantics and Verification for Feature Modeling. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy |
| 1 | Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun 0002 |
An Architecture for Developing Aspect-Oriented Web Services. |
ECOWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Tang, Jin Song Dong, Jing Sun 0002, Brendan P. Mahony |
Reasoning about Semantic Web in Isabelle/HOL. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Utting, Ian Toyn, Jing Sun 0002, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie |
ZML: XML Support for Standard Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Checking and Reasoning about Semantic Web through Alloy. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Semantic Web, Alloy |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
A Formal Object Approach to the Design of ZML. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
| 1 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
| 1 | Jing Sun 0002, Jin Song Dong |
Specifying and Reasoning about Generic Architecture in TCOZ. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
integrated formal specification and verification |
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Semantic Web for Extending and Linking Formalisms. |
FME |
2002 |
DBLP DOI BibTeX RDF |
specification environment, Semantic Web |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
An XML/XSL Approach to Visualize and Animate TCOZ. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
Object-Z web environment and projections to UML. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
XML/XSL/XMI, XML, UML, UML, WEB, object-Z |
| 1 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ. |
IWSSD |
2000 |
DBLP BibTeX RDF |
formal specification, CSP, Z, TCOZ, real-time modeling |
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")