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

2008
27	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
26	EE	Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
25	EE	Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
24	EE	Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
23	EE	Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
22	EE	Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
21	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)
20	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
19	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
18	EE	Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
17	EE	Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
2006
16	EE	Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
15	EE	Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
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	[18] [25]
2	Gillian Dobbie	[11] [14]
3	Jin Song Dong	[1] [2] [3] [4] [6] [7] [8] [9] [10] [12] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27]
4	Yuzhang Feng	[9]
5	Nick Gibbins	[19]
6	Ping Hao	[4] [15] [20]
7	Chew Hung Lee	[2]
8	Hian Beng Lee	[2]
9	Yuan-Fang Li	[1] [5] [9] [11] [14]
10	Yang Liu	[13] [16] [21] [22] [23] [24] [26]
11	Terry R. Payne	[19]
12	Shengchao Qin	[3] [4] [17] [20]
13	Ahmed Saleh	[19]
14	Jing Sun	[1] [5] [10] [11] [14] [21] [22] [27]
15	Kenji Taguchi	[27]
16	Hai H. Wang	[1] [2] [5] [10] [11] [14] [17] [19] [26]
17	Wang Yi	[4] [20]
18	Xian Zhang	[15] [16] [27]