Publication

Refer to the listing below or DBLP or Google Scholar for their listing.

2017

Quang Loc Le, Tatsuta Makoto, Jun Sun and Wei-Ngan Chin: A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV 2017. [PDF, Bibtex]

Yun Lin, Jun Sun, Yinxing Xue, Yang Liu and Jinsong Dong: Feedback-Based Debugging. ICSE 2017. [PDF, Bibtex]

Jingyi Wang, Jun Sun, Qixia Yuan and Jun Pang: Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study. FASE 2017. [PDF, Bibtex]

Hoang Gia Nguyen, Étienne André, Laure Petrucci and Jun Sun: Parametric Model Checking Timed Automata under Non-Zenoness Assumption. NFM 2017. [PDF, Bibtex] 

Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong: A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 2017. [PDF, Bibtex]

Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila van der Merwe, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser: Towards Model Checking Android Applications. IEEE Trans. Software Eng. 2017. [PDF, Bibtex] 

Xinyu Wang, Jun Sun, Ting Wang and Shengchao Qin: Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. 2017. [PDF, Bibtex]

Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, and Jie Zhang: Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading TechniqueIEEE Transactions on Information Forensics & Security, 2017. [PDF, Bibtex]

2016

Quang Loc Le, Jun Sun, Wei-Ngan Chin: Satisfiability Modulo Heap-Based ProgramsCAV 2016. [PDF, Bibtex]

Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne Andre, Yinxing Xue and Jin Song Dong: Optimizing Selection of Competing Services with Probabilistic Hierarchical RefinementICSE 2016. [PDF, Bibtex]

Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson: Designing Minimal Effective Normative Systems with the Help of Lightweight Formal Methods. SIGSOFT FSE 2016: 50-60. [PDF, Bibtex]

Li Li, Jun Sun and Jin Song Dong: Automated Verification of Timed Security Protocols with Clock Drift. FM 2016. [PDF, Bibtex]

Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang: Towards Concolic Testing for Hybrid Systems. FM 2016. [PDF, Bibtex]

Yuqi Chen, Christopher M. Poskitt and Jun Sun: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM 2016. [PDF, Bibtex]

Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun: IBED: Combining IBEA and DE for Optimal Feature Selection in Software Product Line Engineering. Appl. Soft Comput. 49: 1215-1231 (2016). [PDF, Bibtex]

Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao: CrowdService: Serving the Individuals through Mobile Crowdsourcing and Service Composition. ASE 2016: 214-219. [PDF, Bibtex]

Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong: Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140. [PDF, Bibtex]

Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong and Tieming Chen. Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix. Software and System Modelling, 2014. [PDF, Bibtex]

Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong: Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM 2016: 363-382. [PDF, Bibtex]

Anthony Widjaja Lin, Truong Khanh Nguyen, Philipp Ruemmer and Jun Sun: Regular Symmetry Patterns. VMCAI 2016. [PDF, Bibtex]

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang: Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE Trans. Human-Machine Systems 46(2): 197-208 (2016). [PDF, Bibtex]

2015

Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu and Jin Song Dong: Interpolation Guided Compositional Verification. ASE 2015. [PDF, Bibtex]

Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, and Shengchao Qin: TLV: Abstraction through Testing, Learning, and Validation. FSE 2015. [PDF, Bibtex]

Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li: A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41(1): 3-18 (2015). [PDF, Bibtex]

Jianye Hao, Jun Sun, Dongping Huang, Yi Cai, Chao Yu: Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms. AAMAS 2015: 1647-1648. [PDF, Bibtex]

Li Li, Jun Sun, Yang Liu, Jin Song Dong: Verifying Parameterized Timed Security Protocols. FM 2015: 342-359. [PDF, Bibtex]

Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan: Detection and classification of malicious JavaScript via attack behavior modelling. ISSTA 2015: 48-59. [PDF, Bibtex]

Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong: Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256. [PDF, Bibtex]

Lin Gui, Jun Sun, Yang Liu, Jin Song Dong: Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA 2015: 293-304. [PDF, Bibtex]

Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo: All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS 2015: 60-69. [PDF, Bibtex]

Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin: GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109. [PDF, Bibtex]

Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, Jun Sun: An Adaptive Markov Strategy for Effective Network Intrusion Detection. ICTAI 2015: 1085-1092. [PDF, Bibtex]

Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi: Event and Strategy Analytics. TASE 2015: 4-6. [PDF, Bibtex]

2014

Etienne Andre, Yang Liu, Jun Sun, Jin-Song Dong. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-Time Systems, 2014. [PDF, Bibtex]

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen and Jun Sun. Diamonds are a Girl’s Best Friend: Partial Order Reduction for Timed Automata With Abstractions. 26th International Conference on Computer-Aided Verification (CAV 2014). [PDF, Bibtex]

Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, and Wenyun Zhao. Detecting and Summarizing Differences across Multiple Instances of Code Clones. 36th International Conference on Software Engineering (ICSE 2014). [PDF, Bibtex]

Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu and Jin Song Dong. Automated Runtime Recovery for QoS-based Service Composition. International World Wide Web Conference (WWW), 2014. [PDF, Bibtex]

Ting Wang, Jun Sun, Yang Liu, Xinyu Wang and Shanping Li. Language Inclusion Checking for Timed Automata. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014. [PDF, Bibtex]

Shang-Wei Lin, Etienne Andre, Yang Liu, Jun Sun, and Jin Song Dong. Learning Assumptions for Compositional Verification of Timed SystemsIEEE Transactions on Software Engineering, 2014. [PDF, Bibtex]

Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Towards verification of computation orchestration. Formal Asp. Comput. 26(4): 729-759 (2014). [PDF, Bibtex]

Guan Jun Liu, Jun Sun, Yang Liu and Jin Song Dong. Complexity of the Soundness Problem of Bounded Workflow NetsFundamenta Informaticae, 2014. [PDF, Bibtex]

Yi Li, Jin Song Dong, Jing Sun, Yang Liu and Jun Sun. Model Checking Approach to Automated PlanningFormal Methods in System Design (FMSD), 2014. [PDF, Bibtex]

Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Wenyun Zhao, Jun Sun and Jin Song Dong. Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. 30th International Conference on Software Maintenance and Evolution (ICSME 2014). [PDF, Bibtex]

Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari: Towards Formal Modelling and Verification of Pervasive Computing Systems. T. Computational Collective Intelligence 16: 62-91 (2014) [PDF, Bibtex]

Lin Gui, Jun Sun, Songzheng Song, Yang Liu and Jin Song Dong. SCC-based Improved Reachability Analysis for Markov Decision Processes. 16th International Conference on Formal Engineering Methods (ICFEM 2014). [PDF, Bibtex]

Li Li, Hong Hu, Jun Sun, Yang Liu and Jin Song Dong. Practical Analysis Framework for Software-based Attestation Scheme. 16th International Conference on Formal Engineering Methods (ICFEM 2014). [PDF, Bibtex]

Xiaohong Chen, Jun Sun and Meng Sun. A Hybrid Model of Connectors in Cyber-Physical Systems. 16th International Conference on Formal Engineering Methods (ICFEM 2014). [PDF, Bibtex]

Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun: Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS 2014: 23-30. [PDF, Bibtex]

Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong: Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS 2014: 11-18. [PDF, Bibtex]

Li Li, Jun Sun, Yang Liu, Jin Song Dong: TAuth: Verifying Timed Security Protocols. ICFEM 2014: 300-315. [PDF, Bibtex]

Zhimin Wu, Yang Liu, Yun Liang, Jun Sun: GPU Accelerated Counterexample Generation in LTL Model Checking. ICFEM 2014: 413-429. [PDF, Bibtex]

Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang: Automatic Early Defects Detection in Use Case Documents. ASE 2014: 785-790. [PDF, Bibtex]

[Tool Demo] Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu and Jin Song Dong. VeriWS: A Tool for Verification of Combined Functional and Non-functional Requirements of Web Service Composition. ICSE 2014. [PDF, Bibtex] 

[Tool Demo] Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong: RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE 2014: 727-730. [PDF, Bibtex]

[Tool Demo] Songzheng Song, Yang Liu, Jie Zhang and Jun Sun. An Extensive Model Checking Framework for Multi-agent Systems. AAMAS 2014. [PDF, Bibtex]

Jin Song Dong, Yang Liu, Jun Sun and Xian Zhang. Towards Verification of Computation Orchestration. Formal Aspects of Computing, 2014. [PDF, Bibtex]

2013

Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong and Xinyu Wang. Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution.  International Symposium on Software Testing and Analysis (ISSTA), 2013. [PDF, Bibtex]

Shaojie Zhang, Jun Sun, Cheng-Nian Sun, Yang Liu, Junwei Ma and Jin Song Dong. Constraint-based Automatic Symmetry Detection28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013. [PDF, Bibtex]

Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong. Automatically Partition Software into Least Privilege Components Using Dynamic Data Dependency Analysis28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013. [PDF, Bibtex]

Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin and Cheng-Nian Sun. TzuYu: Learning Stateful Typestates28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013. [PDF, Bibtex]

Junghyun Jun, Yu Gu, Long Cheng, Banghui Lu, Jun Sun, Ting Zhu and Jianwei Niu. Social-Loc: Improving Indoor Localization with Social Sensing. 11th ACM Conference on Embedded Networked Sensor System (SenSys), Rome, Italy, November, 2013. [PDF, Bibtex]

Guangdong Bai, Guozhu Meng, Jike Lei, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, and Jin Song Dong. AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.  Annual Network & Distributed System Security Symposium (NDSS), 2013. [PDF, Bibtex]

Tian Huat Tan, Etienne Andre, Jun Sun, Yang Liu, Jin Song Dong and Manman Chen. Dynamic Synthesis of Local Time Requirement for Service Composition. 35th International Conference on Software Engineering (ICSE), 2013. [PDF, Bibtex]

[Tutorial] Jin Song Dong, Jun Sun and Yang Liu. Build Your Own Model Checker in One Month. 35th International Conference on Software Engineering (ICSE 2013), Tutorial, San Francisco, CA, USA, May 18th – 26th, 2013. [PDF, Bibtex].

[Formal Tool] Étienne André, Yang Liu, Jun Sun, Jin Song Dong and Shang-Wei Lin. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. 25th International Conference on Computer Aided Verification (CAV 2013), Saint Petersburg, Russia, July 13-19, 2013. [PDF, Bibtex]

Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong and Yu Gu. State Space Reduction for Sensor Networks using Two-level Partial Order Reduction. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013. [PDF, Bibtex]

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang and Jin Song Dong. Verifying Linearizability via Optimized Refinement Checking. IEEE Transactions on Software Engineerng, 2013. [PDF, Bibtex]

Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi and Etienne Andrew. Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology, 2013. [PDFBibtex]

Songzheng Song, Lin Gui, Jun Sun, Yang Liu and Jin Song Dong. Speed Up Verification in DTMC via Divide and Conquer. Integrated Formal Methods (iFM), 2013. [PDF, Bibtex]

Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa and Jin Song Dong. A Formal Semantics for the Complete Syntax of UML State Machines with Communications. Integrated Formal Methods (iFM), 2013. [PDF, Bibtex]

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa and Jin Song Dong. USMMC: A Self-Contained Model Checker for UML State Machines.  9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2013) , August 21-23, 2013, Saint Petersburg, Russia. [PDF, Bibtex]

Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai and Jun Sun. vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. 15th International Conference on Formal Engineering Methods (ICFEM 2013), Oct 29 – Nov 1, Queenstown, New Zealand. [PDF, Bibtex]

Yuanjie Si, Jun Sun, Yang Liu and Ting Wang. Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. 15th International Conference on Formal Engineering Methods (ICFEM 2013), Oct 29 – Nov 1, Queenstown, New Zealand. [PDF, Bibtex]

Manman Chen, Tian Huat Tan, Jun Sun and Yang Liu. Verification of Functional and Non-functional Requirements of Web Service Composition. 15th International Conference on Formal Engineering Methods (ICFEM 2013), Oct 29 – Nov 1, Queenstown, New Zealand. [PDF, Bibtex]

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong and Shengchao Qin. A UTP Semantics for Communicating Processes with Shared Variables. 15th International Conference on Formal Engineering Methods (ICFEM 2013), Oct 29 – Nov 1, Queenstown, New Zealand. [PDF, Bibtex]

Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong and Truong Khanh Nguyen. CELL: A Compositional Verification Framework. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) , October 15 – 18, 2013, Hanoi, Vietnam. [PDF, Bibtex]

Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong and Manchun Zheng. Formal Modeling and Validation of Stateflow Diagrams. International Journal on Software Tools for Technology Transfer (STTT), 2012. [PDFBibtex]

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong and Yan Liu. Improved BDD-based Discrete Analysis of Timed Systems. International Symposium on Formal Methods (FM 2012). [PDFBibtex]

Shangwei Lin, Yang Liu, Jun Sun, Jin Song Dong and Étienne André. Automatic Compositional Verification of Timed Systems. International Symposium on Formal Methods (FM 2012). [PDFBibtex]

Songzheng Song, Jun Sun, Yang Liu, and Jin Song Dong. A Model Checker for Hierarchical Probabilistic Real-time SystemsInternational Conference on Computer Aided Verification (CAV 2012). [PDFBibtex]

Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang and Shanping Li. More Anti-Chain Based Refinement CheckingInternational Conference on Formal Engineering Methods (ICFEM 2012). [PDFBibtex]

Shang Wei Lin, Yang Liu, Pao Ann Hsiung, Jun Sun and Jin Song Dong. Automatic Generation of Provably Correct Embedded Systems. International Conference on Formal Engineering Methods (ICFEM 2012). [PDFBibtex]

Ling Shi, Yang Liu, Jun Sun, Jin Song Dong and Gustavo Carvalho. An Analytical and Experimental Comparison of CSP Extensions and Tools. International Conference on Formal Engineering Methods (ICFEM 2012). [PDFBibtex]

Truong Khanh Nguyen, Jun Sun, Yang Liu and Jin Song Dong. Symbolic Model Checking of Stateful Timed CSP using BDD and Digitization. International Conference on Formal Engineering Methods (ICFEM 2012). [PDFBibtex]

Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Liu Gui, Jin Song Dong and Ho Fung Leung. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2012). [PDFBibtex]

Yan Liu, Xian Zhang, Yang Liu, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari. Formal Analysis of Pervasive Computing SystemsIEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012).[PDFBibtex] (best paper)

Étienne André, Yang Liu, Jun Sun and Jin Song Dong. Parameter Synthesis for Hierarchical Concurrent Real-time Systems. IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012). [PDF,Bibtex]

i Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun. Translating PDDL into CSP# – the PAT Approach. IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012). [PDFBibtex]

Guanjun Liu, Jun Sun, Yang Liu, and Jin Song Dong. Complexity of the Soundness Problem of Bounded Workflow NetsInternational Conference on Application and Theory of Petri Nets and Concurrency (PN 2012).  [PDFBibtex]

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho Fung Leung, and Jin Song Dong. Analyzing Multi-agent Systems with Probabilistic Model Checking Approach.  International Conference on Software Engineering (ICSE 2012), New Ideas and Emerging Results (NIER).  [PDFBibtex]

Jie Xin Zhang, Yang Liu, Jing Sun, Jin Song Dong and Jun Sun. Model Checking Software Architecture Design. 14th International Symposium on High-Assurance Systems Engineering (HASE), 2012 [Pdf, Bibtex]

Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun and Jin Song Dong. Using Monterey Phoenix to Formalize and Verify System Architectures. The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), 2012 [Pdf, Bibtex]

Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu and Jin Song Dong. On Combining State Space Reductions with Global Fairness Assumptions. International Symposium on Formal Methods (FM 2011). [PDFBibtex]

[tool] Manchun Zheng, David Sanan, Jun Sun, Yang Liu, Jin Song Dong and Yu Gu. Demo: Towards Bug-free Implementation for Wireless Sensor Networks. ACM Conference on Embeded Networked Sensor Systems (SenSys 2011). [PDFBibtex]

Yang Liu, Jun Sun, and Jin Song Dong. PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers.International Conference on Software Reliability Engineering (ISSRE 2011). [PDFBibtex]

Tian Huat Tan, Yang Liu, Jun Sun and Jin Song Dong. Verification of Computation Orchestration System with Compositional Partial Order Reduction. International Conference on Formal Engineering Methods (ICFEM 2011). [PDF,Bibtex]

Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong and Xiaohong Li. PRTS: An Approach for Model Checking Probabilistic Real-time Hierarchical Systems. International Conference on Formal Engineering Methods (ICFEM 2011). [PDFBibtex]

Zhenchang Xing, Jun Sun, Yang Liu and Jin Song Dong. Differencing Labeled Transition Systems. International Conference on Formal Engineering Methods (ICFEM 2011). [PDFBibtex]

Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, and Yu Gu. Towards a Model Checker for NesC andWireless Sensor Networks. International Conference on Formal Engineering Methods (ICFEM 2011). [PDFBibtex]

Shang Wei Lin, Étienne André, Jin Song Dong, Jun Sun, and Yang Liu. Efficient Algorithm for Learning Event-Recording Automata. International Symposium on Automated Technology for Verification and Analysis (ATVA 2011). [PDFBibtex]

Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong. A Symbolic Model Checking Framework for Hierarchical Systems. International Conference on Automated Software Engineering (ASE 2011). [PDFBibtex]

[tool] Yang Liu, Jun Sun and Jin Song Dong. Analyzing Hierarchical Complex Real-time Systems. International Conference on Foundation of Software Engineering (FSE 2010). [PDFBibtex]

Yang Liu, Jun Sun and Jin Song Dong. Developing Model Checkers Using PATInternational Symposium on Automated Technology for Verification and Analysis (ATVA 2010). [PDFBibtex]

Chun Qing Chen, Jin Song Dong, Jun Sun and Andrew Martin. A Verification Framework for Interval-based Specifications. ACM Transactions on Software Engineering and Methodology, vol 19, no. 4, 2010. [PDFBibtex]

Zhenchang Xing, Jun Sun, Yang Liu and Jin Song Dong. SpecDiff: Debugging Formal Specifications. International Conference on Automated Software Engineering (ASE 2010). [PDFBibtex]

Jun Sun, Yang Liu and Bin Cheng. Model Checking a Model Checker: A Code Contract Combined Approach.International Conference on Formal Engineering Methods (ICFEM 2010). [PDFBibtex]

Jun Sun, Songzheng Song and Yang Liu. Model Checking Hierarchical Probabilistic Systems. International Conference on Formal Engineering Methods (ICFEM 2010). [PDFBibtex]

Jun Sun, Yang Liu, Geguang Pu and Tian Huat Tan. Model-based Methods for Linking Web Service Choreography and Orchestration. Asian Pacfic Software Engineering Conference (APSEC 2010). [PDFBibtex]

Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong. Fair Model Checking with Process Counter Abstraction. International Symposium on Formal Methods (FM 2009). [PDFBibtex]

Yang Liu, Wei Chen, Yanhong A. Liu and Jun Sun. Model Checking Lineariability via Refinement. International Symposium on Formal Methods (FM 2009). [PDFBibtex]

Jun Sun, Yang Liu, Jin Song Dong and Jun Pang. PAT: Towards Flexible Verification under Fairness. International Conference on Computer Aided Verification (CAV 2009). [PDFBibtex]

Jun Sun, Yang Liu, Jin Song Dong and Xian Zhang. Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction. International Conference on Formal Engineering Methods (ICFEM 2009). [PDFBibtex]

Yang Liu, Jun Sun and Jin Song Dong. Scalable Multi-Core Model Checking Fairness Enhanced Systems. International Conference on Formal Engineering Methods (ICFEM 2009). [PDFBibtex]

Yang Liu, Jun Pang, Jun Sun and Jianhua Zhao. Verification of Population Ring Protocols in PAT. International Conference on Theoretical Aspects of Software Engineering (TASE 2009). [PDFBibtex]

Jun Sun, Yang Liu, Jin Song Dong and Chun Qing Chen. Integrating Specification and Programs for System Modeling and Verification. International Conference on Theoretical Aspects of Software Engineering (TASE 2009). [PDFBibtex]

Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen and Yanhong A. Liu. Formal Verification of Scalable NonZero Indicators. International Conference on Software Engineering and Knowledge Engineering (SEKE 2009). [PDF,Bibtex]

Chun Qing Chen, Jin Song Dong and Jun Sun. A Formal Framework for Modeling and Validating Simulink Diagrams.Formal Aspects of Computing, vol. 21, no. 5, pp 451-483, 2009. [PDFBibtex]

Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun and Wang Yi. Timed Automata Patterns. IEEE Transactions on Software Engineering, vol. 34, no. 6, pp 844-859, Nov/Dec 2008. [PDFBibtex]

Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science in China, volume 2, number 4, papges 368-379, 2008. PDFBibtex]

Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Bounded Model Checking of Compositional Processes. International Conference on Theoretical Aspects of Software Engineering (TASE 2008). [PDFBibtex] Remarks: the experimental results presented in this paper on FDR can be improved significantly with a slightly different modeling.

Chun Qing Chen, Jin Song Dong and Jun Sun. A Verification System for Timed Interval Calculus. International Conference on Software Engineering )(ICSE 2008). [PDFBibtex]

[tool] Yang Liu, Jun Sun and Jin Song Dong. An Analyzer for Extended Compositional Processes. International Conference on Software Engineering Companion Volume (ICSE 2008). [Bibtex]

Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi and Xian Zhang. Specifying and Verifying Sensor Networks: an Experiment of Formal Methods. International Conference on Formal Engineering Methods (ICFEM 2008). [PDFBibtex]

Jun Sun, Yang Liu, Jin Song Dong and Hai H. Wang. Specifying and Verifying Event-based Fairness Enhanced Systems. International Conference on Formal Engineering Methods (ICFEM 2008). [PDFBibtex]

Jun Sun, Yang Liu and Jin Song Dong. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (SoLA 2008). [PDF,Bibtex]

Stephen Wong, Jing Sun, Ian Warren and Jun Sun. A Scalable Approach to Multi-Style Architectural Modeling and Verification. International Conference on Engineering of Complex Computer Systems (ICECCS 2008). [PDFBibtex]

Hai H. Wang and Nick Gibbins and Terry Payne and Ahmed Saleh and Jun Sun. A Formal Model of Semantic Web Service Ontology (WSMO) Execution. International Conference on Engineering of Complex Computer Systems (ICECCS 2008). [PDFBibtex]

Chun Qing Chen, Jin Song Dong and Jun Sun. A Machine-Assisted Proof Support for Validation Beyond Simulink.International Conference on Formal Engineering Methods (ICFEM 2007). [PDFBibtex]

Hai H. Wang, Shen Chao Qin, Jun Sun, Jin Song Dong. Realizing Live Sequence Charts in SystemVerilog. International Conference on Theoretical Aspects of Software Engineering (TASE 2007). [PDFBibtex]

Hai Wang, Nick Gibbins, Terry Payne, Ahmed Saleh and Jun Sun. A Formal Semantics Model of the Semantic Web Service Ontology (WSMO). International Conference on Engineering of Complex Computer Systems (ICECCS 2007). [PDFBibtex]

Jin Song Dong, Yu Zhang Feng, Jing Sun and Jun Sun. Context Awareness Systems Design and Reasoning.International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). [PDF,Bibtex]

Jin Song Dong, Yang Liu, Jun Sun and Xian Zhang. Verification of Computation Orchestration via Timed Automata.International Conference on Formal Engineering Methods (ICFEM 2006). [PDF,Bibtex]

Jin Song Dong, Ping Hao, Jun Sun and Xian Zhang. A Reasoning Method for Timed CSP based on Constraint Solving.International Conference on Formal Engineering Methods (ICFEM 2006). [PDFBibtex]

Yuan Fang Li, Jing Sun, G. Dobbie, Jun Sun and Hai H. Wang. Validating Semistructured Data using OWL. Web-Age Information Management Conference (WAIM 2006). [PDFBibtex]

Jun Sun and Jin Song Dong. Synthesis of Distributed Processes from Scenario-based Specifications. International Symposium on Formal Methods (FM 2005) [PSBibtex]

Yuan Fang Li, Jing Sun, G. Dobbie, Hai H. Wang and Jun Sun. Reasoning about ORA-SS Data Models using the Semantic Web. Journal of Data Semantics VII, Lecture Notes in Computer Science, Springer, 2006. [PDFBibtex]

Yang Liu and Jun Sun. Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electronic Notes in Theoretical Computer Science, vol 151, issue 2, pp. 107-124, May, 2006. An early version appeared at International Workshop on Web Languages and Formal Methods (WLFM’05). [PSBibtex]

Hai H. Wang, Jin Song Dong, Jing Sun and Jun Sun. Reasoning Support for Semantic Web Ontology Family Languages Using AlloyMulti-Agent and Grid Systems – An International Journal, vol. 2, no. 4, 2006. [PDFBibtex]

Jun Sun and Jin Song Dong. Design Synthesis from Interaction and State-Based Specifications. IEEE Transactions on Software Engineering, vol. 32, no. 6, pp. 349-364, 2006. [PDFBibtex]

Jun Sun, Yuan Fang Li, Jing Sun and Hai Wang. Visualizing and Simulating Semantics Web Services Ontologies. International Conference on Formal Engineering Methods (ICFEM 2005). [PDFBibtex]

Jin Song Dong, Yu Zhang Feng, Yuan Fang Li and Jun Sun. A Tools Environment for Developing and Reasoning about Ontologies. Asian Pacfic Software Engineering Conference (APSEC 2005). [PDFBibtex]

Jun Sun and Jin Song Dong. Extracting FSMs from Object-Z Specifications with History Invariants. International Conference on Engineering of Complex Computer Systems (ICECCS 2005). [PDFBibtex]

Jun Sun and Jin Song Dong. Model Checking Live Sequence Charts. International Conference on Engineering of Complex Computer Systems (ICECCS 2005). [PDFBibtex]

Jin Song Dong, Ping Hao, Shen Chao Qin, Jun Sun and Yi Wang. Timed Patterns: TCOZ to Timed Automata.International Conference on Formal Engineering Methods (ICFEM 2004). [PDFBibtex]

Jin Song Dong, Shen Chao Qin and Jun Sun. Generating Message Sequence Charts from an Integrated Formal Specification Language. International Conference on Integrated Formal Methods (IFM 2004). [PDFBibtex]

Jin Song Dong, Jun Sun, Hai H. Wang. C. H. Lee and H. B. Lee. Analyzing Semantic Web Ontology: A Military Case Study. International Conference on Software Engineering and Knowledge Engineering (SEKE 2003). [PDFBibtex]

Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun and Hai H. Wang. XML-based Static Type Checking and Dynamic Visualization for TCOZ. International Conference on Formal Engineering Methods (ICFEM 2002). [PDFBibtex]