Jun Sun

Singapore University of Technology and Design

other persons with the same name:

• Jun Sun
• Jun Sun 0002
• Jun Sun 0003 - Stanford University
• Jun Sun 0004 - Fujitsu R&D Center, Beijing
• Jun Sun 0005 - Shanghai Jiaotong University, Institute of Image Communication and Information Processing
• Jun Sun 0006 - Tsinghua University, Beijing
• Jun Sun 0007 - Massachusetts Institute of Technology
• Jun Sun 0008 - Jiangnan University
• Jun Sun 0009 - Shanghai Jiao Tong University, Dept. of Electronic Engineering

	2013
j11		Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André: Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3 (2013)
c69		Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen: Dynamic synthesis of local time requirement for service composition. ICSE 2013: 542-551
c68		Jin Song Dong, Jun Sun, Yang Liu: Build your own model checker in one month. ICSE 2013: 1481-1483
c67		Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong: Improved Reachability Analysis in DTMC via Divide and Conquer. IFM 2013: 162-176
c66		Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong: A Formal Semantics for Complete UML State Machines with Communications. IFM 2013: 331-346
c65		Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI 2013: 515-535
	2012
j10		Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho: SeVe: automatic tool for verification of security protocols. Frontiers of Computer Science in China 6(1): 57-75 (2012)
j9		Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng: Formal modeling and validation of Stateflow diagrams. STTT 14(6): 653-671 (2012)
c64		Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong: Complexity of the Soundness Problem of Bounded Workflow Nets. Petri Nets 2012: 92-107
c63		Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong: Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC 2012: 644-653
c62		Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong: A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV 2012: 705-711
c61		Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André: Automatic Compositional Verification of Timed Systems. FM 2012: 272-276
c60		Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu: Improved BDD-Based Discrete Analysis of Timed Systems. FM 2012: 326-340
c59		Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun: Model Checking Software Architecture Design. HASE 2012: 193-200
c58		Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari: Formal Analysis of Pervasive Computing Systems. ICECCS 2012: 169-178
c57		Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun: Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249
c56		Étienne André, Yang Liu, Jun Sun, Jin Song Dong: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS 2012: 253-262
c55		Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong: Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229
c54		Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li: More Anti-chain Based Refinement Checking. ICFEM 2012: 364-380
c53		Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho: An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM 2012: 381-397
c52		Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong: Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ICFEM 2012: 398-413
c51		Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-Fung Leung, Jin Song Dong: Analyzing multi-agent systems with probabilistic model checking approach. ICSE 2012: 1337-1340
c50		Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung: Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA 2012: 16-30
c49		Jung-Hyun Jun, Long Cheng, Jun Sun, Yu Gu, Ting Zhu, Tian He: Improving indoor localization with social interactions. SenSys 2012: 323-324
	2011
c48		Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu: An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472
c47		Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong: On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447
c46		Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong: Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114
c45		Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li: PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162
c44		Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM 2011: 372-387
c43		Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong: Differencing Labeled Transition Systems. ICFEM 2011: 537-552
c42		Yang Liu, Jun Sun, Jin Song Dong: PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE 2011: 190-199
c41		Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong: A model checking framework for hierarchical systems. ASE 2011: 633-636
c40		Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu: Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408
	2010
j8		Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin: A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4) (2010)
c39		Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan: Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175
c38		Yang Liu, Jun Sun, Jin Song Dong: Developing Model Checkers Using PAT. ATVA 2010: 371-377
c37		Jun Sun, Songzheng Song, Yang Liu: Model Checking Hierarchical Probabilistic Systems. ICFEM 2010: 388-403
c36		Jun Sun, Yang Liu, Bin Cheng: Model Checking a Model Checker: A Code Contract Combined Approach. ICFEM 2010: 518-533
c35		Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong: SpecDiff: debugging formal specifications. ASE 2010: 353-354
c34		Yang Liu, Jun Sun, Jin Song Dong: Analyzing hierarchical complex real-time systems. SIGSOFT FSE 2010: 365-366
	2009
j7		Chunqing Chen, Jin Song Dong, Jun Sun: A formal framework for modeling and validating Simulink diagrams. Formal Asp. Comput. 21(5): 451-483 (2009)
c33		Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
c32		Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
c31		Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun: Model Checking Linearizability via Refinement. FM 2009: 321-337
c30		Yang Liu, Jun Sun, Jin Song Dong: Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445
c29		Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang: Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600
c28		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
c27		Jin Song Dong, Jun Sun: Towards Expressive Specification and Efficient Model Checking. TASE 2009: 9
c26		Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
c25		Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
	2008
j6		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)
j5		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
c24		Stephen Wong, Jing Sun, Ian Warren, Jun Sun: A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34
c23		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
c22		Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
c21		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
c20		Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
c19		Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
c18		Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
c17		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
	2007
c16		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
c15		Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
c14		Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
	2006
j4		Yang Liu, Jun Sun: Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electr. Notes Theor. Comput. Sci. 151(2): 107-124 (2006)
j3		Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun: Reasoning About ORA-SS Data Models Using the Semantic Web. : 219-241 (2006)
j2		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)
j1		Jun Sun, Jin Song Dong: Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006)
c13		Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
c12		Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
c11		Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340
c10		Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
	2005
c9		Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472
c8		Jun Sun, Jin Song Dong: Synthesis of Distributed Processes from Scenario-Based Specifications. FM 2005: 415-431
c7		Jun Sun, Jin Song Dong: Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105
c6		Jun Sun, Jin Song Dong: Model Checking Live Sequence Charts. ICECCS 2005: 529-538
c5		Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
	2004
c4		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
c3		Jin Song Dong, Shengchao Qin, Jun Sun: Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186
	2003
c2		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
c1		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

Last update Sun May 26 09:51:39 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page