Jun Sun Vis

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
35	EE	Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
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	EE	Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
32	EE	Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
31	EE	Jin Song Dong, Jun Sun: Towards Expressive Specification and Efficient Model Checking. TASE 2009: 9
	2008
30	EE	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	EE	Stephen Wong, Jing Sun, Ian Warren, Jun Sun: A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34
28	EE	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	EE	Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
26	EE	Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
25	EE	Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
24	EE	Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
23	EE	Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
22	EE	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	EE	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	EE	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	EE	Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
18	EE	Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
	2006
17	EE	Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
16	EE	Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
15	EE	Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340
14	EE	Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
13	EE	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	EE	Jun Sun, Jin Song Dong: Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006)
11	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)
10	EE	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	EE	Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472
8	EE	Jun Sun, Jin Song Dong: Synthesis of Distributed Processes from Scenario-Based Specifications. FM 2005: 415-431
7	EE	Jun Sun, Jin Song Dong: Model Checking Live Sequence Charts. ICECCS 2005: 529-538
6	EE	Jun Sun, Jin Song Dong: Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105
5	EE	Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
	2004
4	EE	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
3	EE	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	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

Coauthor Index

1	Chunqing Chen	[19] [26] [33]
2	Wei Chen	[34]
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] [35]
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	Yanhong A. Liu	[34]
12	Yang Liu	[13] [17] [22] [23] [24] [25] [27] [32] [33] [34] [35]
13	Jun Pang	[32] [35]
14	Terry R. Payne	[20] [30]
15	Shengchao Qin	[3] [4] [18] [21]
16	Ahmed Saleh	[20] [30]
17	Jing Sun	[1] [5] [10] [11] [14] [15] [22] [23] [28] [29]
18	Kenji Taguchi	[28]
19	Hai H. Wang	[1] [2] [5] [10] [11] [14] [18] [20] [27] [30]
20	Ian Warren	[29]
21	Stephen Wong	[29]
22	Wang Yi	[4] [21]
23	Shao Jie Zhang	[34]
24	Xian Zhang	[16] [17] [28]
25	Jianhua Zhao	[32]