Jing Sun

2008
44	EE	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: 248-257
2007
43	EE	Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Towards Verifying Semistructured Data. APCCM 2007: 11-14
42	EE	Weijun Wang, Rui Xiong, Jing Sun: Design of a Web2.0-based Knowledge Management Platform. I3E (2) 2007: 237-245
41		Hui Liang, Jin Song Dong, Jing Sun: Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348
40		Hui Liang, Jing Sun: Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. SEKE 2007: 77-80
39	EE	Jing Sun, Ilya V. Kolmanovsky, Reza Ghaemi, Shuhao Chen: A stable block model predictive control with variable implementation horizon. Automatica 43(11): 1945-1953 (2007)
38	EE	Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan: Verifying feature models using OWL. J. Web Sem. 5(2): 117-129 (2007)
2006
37	EE	Ling Yuan, Jin Song Dong, Jing Sun: Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216
36	EE	Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe: An Automated Formal Approach to Managing Dynamic Reconfiguration. ASE 2006: 37-46
35	EE	Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves: Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242
34	EE	Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Research into Verifying Semistructured Data. ICDCIT 2006: 361-374
33	EE	Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162
32		Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131
31	EE	Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
30	EE	Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li: A Z Approach in Validating ORA-SS Data Models. Electr. Notes Theor. Comput. Sci. 157(1): 95-109 (2006)
29	EE	Bernard Anthony Mair, David R. Gilland, Jing Sun: Estimation of images and nonrigid deformations in gated emission CT. IEEE Trans. Med. Imaging 25(9): 1130-1144 (2006)
28	EE	Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit: Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability 55(3): 421-435 (2006)
27	EE	Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun: Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semantics VII: 219-241 (2006)
2005
26	EE	Qi Guo, Hang Guo, Zhiqiang Zhang, Jing Sun, Jianhua Feng: Schema Driven and Topic Specific Web Crawling. DASFAA 2005: 594-599
25	EE	Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun: An Architecture for Developing Aspect-Oriented Web Services. ECOWS 2005: 72-82
24	EE	Chongnan Gao, Jing Sun, Jinfeng Hu, Ning Ning, Weimin Zheng: ImDeploy: A Tool for Global-Scale Service Deployment on Peer-to-Peer Networks. ICDCS Workshops 2005: 856-860
23	EE	Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312
22	EE	Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
21	EE	Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494
20	EE	Ning Ning, Dongsheng Wang, Yongquan Ma, Jinfeng Hu, Jing Sun, Chongnan Gao, Weimin Zheng: Genius: Peer-to-Peer Location-Aware Gossip Using Network Coordinates. International Conference on Computational Science (3) 2005: 163-170
19		Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359
18		Hai Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631
17	EE	Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang: Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039
16	EE	Jing Sun, Oscar Y. Takeshita: On maximum-length linear congruential-sequences-based low-density parity-check codes. IEEE Transactions on Communications 53(12): 1977-1980 (2005)
15	EE	Jing Sun, Oscar Y. Takeshita: Interleavers for turbo codes using permutation polynomials over integer rings. IEEE Transactions on Information Theory 51(1): 101-119 (2005)
2004
14	EE	Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony: Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53
13	EE	Jing Sun, George Baciu, Xiaobo Yu, Mark Green: Image-Based Template Generation Of Road Networks For Virtual Maps. Int. J. Image Graphics 4(4): 701-720 (2004)
2003
12	EE	Jin Song Dong, Jing Sun, Hai Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813
11	EE	Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456
2002
10	EE	Jing Sun, Jin Song Dong: Specifying and Reasoning about Generic Architecture in TCOZ. APSEC 2002: 405-
9	EE	Jin Song Dong, Jing Sun, Hai Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606
8	EE	Jin Song Dong, Jing Sun, Hai Wang: Z Approach to Semantic Web. ICFEM 2002: 156-167
7	EE	Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang: XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322
6	EE	Jing Sun, Xiaobo Yu, George Baciu, Mark Green: Template-based generation of road networks for virtual city modeling. VRST 2002: 33-40
5		Jing Sun, Jin Song Dong, Jing Liu, Hai Wang: A Formal Object Approach to the Design of ZML. Ann. Software Eng. 13(1-4): 329-356 (2002)
2001
4	EE	Jing Sun, Jin Song Dong, Jing Liu, Hai Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460
3	EE	Jing Sun, Jin Song Dong, Jing Liu, Hai Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734
2000
2	EE	Jing Liu, Jin Song Dong, Jing Sun: TRMCS in TCOZ. IWSSD 2000: 63-74
1998
1		Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashankar: Hybrid Control of Automotive Powertrain Systems: A Case Study. HSCC 1998: 33-48

Coauthor Index

1	Sasanka Athauda	[21]
2	George Baciu	[6] [13]
3	Hamid Abdul Basit	[28]
4	Ali Beydoun	[1]
5	Shuhao Chen	[39]
6	David W. Currie	[11]
7	Nicholas Daley	[11]
8	Gillian Dobbie	[27] [30] [31] [32] [34] [35] [43] [44]
9	Jin Song Dong	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [14] [18] [19] [28] [33] [37] [41]
10	Roger Duke	[33]
11	Jianhua Feng	[26]
12	Chongnan Gao	[20] [24]
13	Reza Ghaemi	[39]
14	David R. Gilland	[29]
15	Mark Green	[6] [13]
16	Lindsay Groves	[32] [35] [44]
17	John C. Grundy	[25]
18	Hang Guo	[26]
19	Qi Guo	[26]
20	John G. Hosking	[25]
21	Jinfeng Hu	[20] [24]
22	Ilya V. Kolmanovsky	[39]
23	Sanjev Krishnamohan	[36]
24	Scott Uk-Jin Lee	[30] [32] [34] [43] [44]
25	Yuan-Fang Li	[7] [17] [19] [22] [23] [27] [30] [31] [34] [38] [43] [44]
26	Hui Liang	[33] [40] [41]
27	Jing Liu	[2] [3] [4] [5]
28	Yongquan Ma	[20]
29	Brendan P. Mahony	[14]
30	Bernard Anthony Mair	[29]
31	Andrew Martin	[11]
32	Ning Ning	[20] [24]
33	Jeff Pan	[38]
34	Rudolph E. Seviora	[33]
35	Tazkiya Sheik	[21]
36	Santokh Singh	[25]
37	Shiva Sivashankar	[1]
38	Jun Sun	[7] [22] [27] [31]
39	Oscar Y. Takeshita	[15] [16]
40	Yue Tang	[14]
41	Ian Toyn	[11]
42	Mark Utting	[11]
43	Dongsheng Wang	[20]
44	Hai Wang	[3] [4] [5] [8] [9] [12] [18] [21]
45	Hai H. Wang	[7] [17] [19] [22] [23] [27] [31] [38]
46	Le Yi Wang	[1]
47	Lin Wang	[35]
48	Weijun Wang	[42]
49	Ian Warren	[36]
50	Thiranjith Weerasinghe	[36]
51	Rui Xiong	[42]
52	Xiaobo Yu	[6] [13]
53	Ling Yuan	[28] [37]
54	Hongyu Zhang	[17] [23] [38]
55	Zhiqiang Zhang	[26]
56	Weimin Zheng	[20] [24]

Colors in the list of coauthors