Jun Sun

National University of Singapore

other persons with the same name:

• Jun Sun
• Jun Sun - Stanford University
• Jun Sun - Tsinghua University, Beijing
• Jun Sun - Shanghai Jiaotong University
• Jun Sun
• Jun Sun - Fujitsu R&D Center, Beijing
• Jun Sun - Massachusetts Institute of Technology

	2009
37		Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
36		Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
35		Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun: Model Checking Linearizability via Refinement. FM 2009: 321-337
34		Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411
33		Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
32		Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
31		Jin Song Dong, Jun Sun: Towards Expressive Specification and Efficient Model Checking. TASE 2009: 9
	2008
30		Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun: A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS 2008: 111-120
29		Stephen Wong, Jing Sun, Ian Warren, Jun Sun: A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34
28		Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337
27		Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
26		Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
25		Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
24		Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
23		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
22		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Compositional encoding for bounded model checking. Frontiers of Computer Science in China 2(4): 368-379 (2008)
21		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
	2007
20		Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun: A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). ICECCS 2007: 74-86
19		Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
18		Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
	2006
17		Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
16		Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
15		Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340
14		Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
13		Yang Liu, Jun Sun: Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electr. Notes Theor. Comput. Sci. 151(2): 107-124 (2006)
12		Jun Sun, Jin Song Dong: Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006)
11		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)
10		Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent and Grid Systems 2(4): 455-471 (2006)
	2005
9		Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472
8		Jun Sun, Jin Song Dong: Synthesis of Distributed Processes from Scenario-Based Specifications. FM 2005: 415-431
7		Jun Sun, Jin Song Dong: Model Checking Live Sequence Charts. ICECCS 2005: 529-538
6		Jun Sun, Jin Song Dong: Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105
5		Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
	2004
4		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
3		Jin Song Dong, Shengchao Qin, Jun Sun: Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186
	2003
2		Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee: Analysing Web Ontology in Alloy: A Military Case Study. SEKE 2003: 542-546
	2002
1		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

Coauthor Index

1	Chunqing Chen	[19] [26] [33]
2	Wei Chen	[34] [35]
3	Gillian Dobbie	[11] [14]
4	Jin Song Dong	[1] [2] [3] [4] [6] [7] [8] [9] [10] [12] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28] [31] [33] [34] [36] [37]
5	Yuzhang Feng	[9] [15]
6	Nick Gibbins	[20] [30]
7	Ping Hao	[4] [16] [21]
8	Chew Hung Lee	[2]
9	Hian Beng Lee	[2]
10	Yuan-Fang Li	[1] [5] [9] [11] [14]
11	Shanshan Liu	[36]
12	Yanhong A. Liu	[34] [35]
13	Yang Liu	[13] [17] [22] [23] [24] [25] [27] [32] [33] [34] [35] [36] [37]
14	Jun Pang	[32] [37]
15	Terry R. Payne	[20] [30]
16	Shengchao Qin	[3] [4] [18] [21]
17	Abhik Roychoudhury	[36]
18	Ahmed Saleh	[20] [30]
19	Jing Sun	[1] [5] [10] [11] [14] [15] [22] [23] [28] [29]
20	Kenji Taguchi	[28]
21	Hai H. Wang	[1] [2] [5] [10] [11] [14] [18] [20] [27] [30]
22	Ian Warren	[29]
23	Stephen Wong	[29]
24	Wang Yi	[4] [21]
25	Shao Jie Zhang	[34]
26	Xian Zhang	[16] [17] [28]
27	Jianhua Zhao	[32]