Publications

2022	Causality-Based Neural Network Repair. Bing Sun, Jun Sun, Long H. Pham, and Jie Shi. 44th International Conference on Software Engineering.
	"More Than Deep Learning": post-processing for API sequence recommendation. Chi Chen, Xin Peng, Bihuan Chen, Jun Sun, Zhenchang Xing, Xin Wang, and Wenyun Zhao. Empir. Softw. Eng. 27(1).
	Enjoy your observability: an industrial survey of microservice tracing and analysis. Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, and Xuanzhe Liu. Empir. Softw. Eng. 27(1).
	Preface. Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, and Ge Li. J. Comput. Sci. Technol. 37(1).
	A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Xuan-Bach Le, Shang-Wei Lin, Jun Sun, and David Sanán. Proc. ACM Program. Lang. 6(POPL).
	Delta Debugging Microservice Systems with Parallel Optimization. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, and Dan Ding. IEEE Trans. Serv. Comput. 15(1).
	Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, and Christopher M. Poskitt. 55th Hawaii International Conference on System Sciences, HICSS 2022, Virtual Event / Maui, Hawaii, USA, January 4-7, 2022.
	Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, and Hong Seng Ong. 55th Hawaii International Conference on System Sciences, HICSS 2022, Virtual Event / Maui, Hawaii, USA, January 4-7, 2022.
	XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, and Li Ying Leonard Wong. Proc. ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'22).
2021	Deriving invariant checkers for critical infrastructure using axiomatic design principles. Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, and Christopher M. Poskitt. Cybersecur. 4(1).
	Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, and Yuqi Chen. Int. J. Crit. Infrastructure Prot..
	hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave. Fan Zhang, Ziyuan Liang, Cong Zuo, Jun Shao, Jianting Ning, Jun Sun, Joseph K. Liu, and Yibao Bao. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(6).
	Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. Jingyi Wang, Jun Sun, Shengchao Qin, and Cyrille Jégourel. IEEE Trans. Software Eng. 47(1).
	Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, and Dan Ding. IEEE Trans. Software Eng. 47(2).
	Explaining Regressions via Alignment Slicing and Mending. Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, and Ting Liu. IEEE Trans. Software Eng. 47(11).
	Verification Assisted Gas Reduction for Smart Contracts. Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, and Lei Bu. 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021.
	Microservices Orchestration vs. Choreography: A Decision Framework. Alan Megargel, Christopher M. Poskitt, and Venky Shankararaman. 25th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2021, Gold Coast, Australia, October 25-29, 2021.
	SpecTest: Specification-Based Compiler Testing. Richard Schumi and Jun Sun. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (Lecture Notes in Computer Science).
	Probabilistic Verification of Neural Networks Against Group Fairness. Bing Sun, Jun Sun, Ting Dai, and Lijun Zhang. Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Lecture Notes in Computer Science).
	Incorrectness Logic for Graph Programs. Christopher M. Poskitt. Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Lecture Notes in Computer Science).
	Route Coverage Testing for Autonomous Vehicles via Map Modeling. Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, and Gang Wang. IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021.
	RobOT: Robustness-Oriented Testing for Deep Learning Systems. Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, and Peng Cheng. 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021.
	sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, and Zijiang Yang. Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings (Lecture Notes in Computer Science).
	Attack as defense: characterizing adversarial examples using robustness. Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun. ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021.
	Type and interval aware array constraint solving for symbolic execution. Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, and Ji Wang. ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021.
	Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, and Gang Wang. IEEE Intelligent Vehicles Symposium, IV 2021, Nagoya, Japan, July 11-17, 2021.
	FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, and Jianye Hao. 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021.
	HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, and Xiang Chen. 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021.
	Towards Repairing Neural Networks Correctly. Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, and Ting Dai. 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021.
	Code integrity attestation for PLCs using black box neural network predictions. Yuqi Chen, Christopher M. Poskitt, and Jun Sun. ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021.
	Graph-based seed object synthesis for search-based unit testing. Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, and Jin Song Dong. ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021.
	SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. Tai D. Nguyen, Long H. Pham, and Jun Sun. 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021.
	Improving Neural Network Verification through Spurious Region Guided Refinement. Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science).
	Assessing Code Clone Harmfulness: Indicators, Factors, and Counter Measures. Bin Hu, Yijian Wu, Xin Peng, Jun Sun, Nanjie Zhan, and Jun Wu. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2021, Honolulu, HI, USA, March 9-12, 2021.
2020	Automated synthesis of local time requirement for service composition. Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, and Jin Song Dong. Softw. Syst. Model. 19(4).
	CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies. Qingze Hum, Wei Jin Tan, Shi Ying Tey, Latasha Lenus, Ivan Homoliak, Yun Lin, and Jun Sun. IEEE International Conference on Blockchain, Blockchain 2020, Rhodes, Greece, November 2-6, 2020.
	Global PAC Bounds for Learning Discrete Time Markov Chains. Hugo Bazille, Blaise Genest, Cyrille Jégourel, and Jun Sun. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II.
	Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, and Christopher M. Poskitt. Proceedings of the 6th ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2020, Taipei, Taiwan, October 6, 2020.
	Provably Robust Decisions based on Potentially Malicious Sources of Information. Tim Muller, Dongxia Wang, and Jun Sun. 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020.
	A Generalized Formal Semantic Framework for Smart Contracts. Jiao Jiao, Shang-Wei Lin, and Jun Sun. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.
	Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. Xuan-Bach Le, David Sanán, Jun Sun, and Shang-Wei Lin. 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020.
	Learning Fault Models of Cyber Physical Systems. Teck Ping Khoo, Jun Sun, and Sudipta Chattopadhyay. Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings.
	sFuzz: an efficient adaptive fuzzer for solidity smart contracts. Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, and Quang Tran Minh. ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020.
	White-box fairness testing through adversarial sampling. Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, and Ting Dai. ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020.
	Symbolic verification of message passing interface programs. Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, and Wei Dong. ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020.
	ObjSim: efficient testing of cyber-physical systems. Jun Sun and Zijiang Yang. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020.
	Active fuzzing for testing and securing cyber-physical systems. Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020.
	Recovering fitness gradients for interprocedural Boolean flags in search-based testing. Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020.
	Accelerating All-SAT Computation with Short Blocking Clauses. Yueling Zhang, Geguang Pu, and Jun Sun. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020.
	Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, and Xingen Wang. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020.
	Towards Generating Thread-Safe Classes Automatically. Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, and Yuan-Fang Li. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020.
	Securing Bring-Your-Own-Device (BYOD) Programming Exams. Oka Kurniawan, Norman Tiong Seng Lee, and Christopher M. Poskitt. Proceedings of the 51st ACM Technical Symposium on Computer Science Education, SIGCSE 2020, Portland, OR, USA, March 11-14, 2020.
	Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, and Jun Sun. 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020.
	SAGA: Efficient and Large-Scale Detection of Near-Miss Clones with GPU Acceleration. Guanhua Li, Yijian Wu, Chanchal K. Roy, Jun Sun, Xin Peng, Nanjie Zhan, Bin Hu, and Jingyi Ma. 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020.
2019	Generative API usage code recommendation with parameter concretization. Chi Chen, Xin Peng, Jun Sun, Zhenchang Xing, Xin Wang, Yifan Zhao, Hairui Zhang, and Wenyun Zhao. Sci. China Inf. Sci. 62(9).
	AI-boosted software automation: learning from human pair programmers. Xin Peng, Zhenchang Xing, and Jun Sun. Sci. China Inf. Sci. 62(10).
	Practical static analysis of context leaks in Android applications. Flavio Toffalini, Jun Sun, and Martín Ochoa. Softw. Pract. Exp. 49(2).
	Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. Cyrille Jégourel, Jun Sun, and Jin Song Dong. ACM Trans. Model. Comput. Simul. 29(4).
	Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. Long H. Pham, Jun Sun, and Quang Loc Le. Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings.
	Parametric Timed Model Checking for Guaranteeing Timed Opacity. Étienne André and Jun Sun. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings.
	Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings.
	Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing. Flavio Toffalini, Martín Ochoa, Jun Sun, and Jianying Zhou. Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, CODASPY 2019, Richardson, TX, USA, March 25-27, 2019.
	Concolic Testing Heap-Manipulating Programs. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, and Jun Sun. Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings.
	Adaptive Randomized Scheduling for Concurrency Bug Detection. Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, and Yingquan Zhao. 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019.
	sCompile: Critical Path Identification and Analysis for Smart Contracts. Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, and Zijiang Yang. Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings.
	Adversarial sample detection for deep neural network through model mutation testing. Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, and Peixin Zhang. Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019.
	MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, and Huarui Lin. 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019.
	Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, and Fan Zhang. 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019.
	Latent error prediction and fault localization for microservice applications by learning from system trace logs. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, and Chuan He. Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019.
2018	A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Claudio Corrodi, Alexander Heußner, and Christopher M. Poskitt. Formal Aspects Comput. 30(1).
	A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, and Shengchao Qin. Formal Aspects Comput. 30(3-4).
	Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Jingyi Wang, Jun Sun, Qixia Yuan, and Jun Pang. Int. J. Softw. Tools Technol. Transf. 20(6).
	Efficient and Robust Emergence of Norms through Heuristic Collective Learning. Jianye Hao, Jun Sun, Guangyong Chen, Zan Wang, Chao Yu, and Zhong Ming. ACM Trans. Auton. Adapt. Syst. 12(4).
	CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao. ACM Trans. Internet Techn. 18(2).
	Towards Model Checking Android Applications. Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, and Willem Visser. IEEE Trans. Software Eng. 44(6).
	A Formal Specification and Verification Framework for Timed Security Protocols. Li Li, Jun Sun, Yang Liu, Meng Sun, and Jin Song Dong. IEEE Trans. Software Eng. 44(8).
	An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, and Zhong Ming. IEEE Trans. Smart Grid 9(4).
	Importance Sampling of Interval Markov Chains. Cyrille Jégourel, Jingyi Wang, and Jun Sun. 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018.
	Towards 'Verifying' a Water Treatment System. Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, and Zhiwu Xu. Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings.
	Compositional Reasoning for Shared-Variable Concurrent Programs. Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, and Jun Sun. Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings.
	The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. Teck Ping Khoo and Jun Sun. Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings.
	Static analysis of context leaks in android applications. Flavio Toffalini, Jun Sun, and Martín Ochoa. Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2018, Gothenburg, Sweden, May 27 - June 03, 2018.
	Testing heap-based programs with Java StarFinder. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.
	Towards optimal concolic testing. Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, and Yun Lin. Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.
	Benchmarking microservice systems for software engineering research. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, and Wenyun Zhao. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.
	On the Sequential Massart Algorithm for Statistical Model Checking. Cyrille Jégourel, Jun Sun, and Jin Song Dong. Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II.
	Break the dead end of dynamic slicing: localizing data and control omission bug. Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jin Song Dong. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018.
	PFix: fixing concurrency bugs based on memory access patterns. Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018.
	Delta debugging microservice systems. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018.
	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. Yuqi Chen, Christopher M. Poskitt, and Jun Sun. 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA.
	Frame Inference for Inductive Entailment Proofs in Separation Logic. Quang Loc Le, Jun Sun, and Shengchao Qin. Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I.
2017	SafeGPU: Contract- and library-based GPGPU for object-oriented languages. Alexey Kolesnichenko, Christopher M. Poskitt, and Sebastian Nanz. Comput. Lang. Syst. Struct..
	Detecting Steganography of Adaptive Multirate Speech with Unknown Embedding Rate. Hui Tian, Jun Sun, Yongfeng Huang, Tian Wang, Yonghong Chen, and Yiqiao Cai. Mob. Inf. Syst..
	Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, and Jie Zhang. IEEE Trans. Inf. Forensics Secur. 12(7).
	Battery-Aware Mobile Data Service. Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, Yang Liu, and Kang G. Shin. IEEE Trans. Mob. Comput. 16(6).
	Language Inclusion Checking of Timed Automata with Non-Zenoness. Xinyu Wang, Jun Sun, Ting Wang, and Shengchao Qin. IEEE Trans. Software Eng. 43(11).
	A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. Quang Loc Le, Makoto Tatsuta, Jun Sun, and Wei-Ngan Chin. Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II.
	Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. Jingyi Wang, Jun Sun, Qixia Yuan, and Jun Pang. Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
	Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, and Jun Sun. 2017 IEEE International Conference on Data Mining Workshops, ICDM Workshops 2017, New Orleans, LA, USA, November 18-21, 2017.
	Learning Likely Invariants to Explain Why a Program Fails. Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, and Xin Peng. 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017.
	Assertion Generation Through Active Learning. Long H. Pham, Lyly Tran Thi, and Jun Sun. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings.
	Classification-Based Parameter Synthesis for Parametric Timed Automata. Jiaying Li, Jun Sun, Bo Gao, and Étienne André. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings.
	A Verification Framework for Stateful Security Protocols. Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, and Jin Song Dong. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings.
	Improving Probability Estimation Through Active Probabilistic Model Learning. Jingyi Wang, Xiaohong Chen, Jun Sun, and Shengchao Qin. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings.
	Assertion generation through active learning. Long H. Pham, Lyly Tran Thi, and Jun Sun. Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume.
	JSFox: integrating static and dynamic type analysis of JavaScript programs. Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, and Jun Sun. Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume.
	Feedback-based debugging. Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, and Jin Song Dong. Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017.
	Mining implicit design templates for actionable code reuse. Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jin Song Dong. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017.
	O2O service composition with social collaboration. Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017.
	Automatic loop-invariant generation and refinement through selective sampling. Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017.
	FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017.
	Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. Étienne André, Hoang Gia Nguyen, Laure Petrucci, and Jun Sun. NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings.
	Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. Cyrille Jégourel, Jun Sun, and Jin Song Dong. Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings.
2016	IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, and Jun Sun. Appl. Soft Comput..
	Formalizing and verifying stochastic system architectures using Monterey Phoenix. Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen. Softw. Syst. Model. 15(2).
	Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, and Jie Zhang. IEEE Trans. Hum. Mach. Syst. 46(2).
	Satisfiability Modulo Heap-Based Programs. Quang Loc Le, Jun Sun, and Wei-Ngan Chin. Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I.
	An Interference-Free Programming Model for Network Objects. Mischael Schill, Christopher M. Poskitt, and Bertrand Meyer. Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (LNCS).
	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. Claudio Corrodi, Alexander Heußner, and Christopher M. Poskitt. Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (LNCS).
	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. Yuqi Chen, Christopher M. Poskitt, and Jun Sun. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings.
	Towards Concolic Testing for Hybrid Systems. Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, and Jingyi Wang. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings.
	Automated Verification of Timed Security Protocols with Clock Drift. Li Li, Jun Sun, and Jin Song Dong. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings.
	Improving Quality of Use Case Documents through Learning and User Interaction. Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, and Xinyu Wang. 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016.
	Towards Using Concurrent Java API Correctly. Shuang Liu, Guangdong Bai, Jun Sun, and Jin Song Dong. 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016.
	Service Adaptation with Probabilistic Partial Models. Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, and Jin Song Dong. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings.
	Scaling BDD-based Timed Verification with Simulation Reduction. Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, and Jin Song Dong. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings.
	Optimizing selection of competing services with probabilistic hierarchical refinement. Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, and Jin Song Dong. Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016.
	CrowdService: serving the individuals through mobile crowdsourcing and service composition. Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
	Designing minimal effective normative systems with the help of lightweight formal methods. Jianye Hao, Eunsuk Kang, Jun Sun, and Daniel Jackson. Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016.
	Regular Symmetry Patterns. Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, and Jun Sun. Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings.
2015	A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, and Xiaohong Li. IEEE Trans. Software Eng. 41(1).
	Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms. Jianye Hao, Jun Sun, Dongping Huang, Yi Cai, and Chao Yu. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015.
	Verifying Parameterized Timed Security Protocols. Li Li, Jun Sun, Yang Liu, and Jin Song Dong. FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings.
	All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, and Shanqing Guo. 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015.
	GPU Accelerated On-the-Fly Reachability Checking. Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, and Shengchao Qin. 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015.
	An Adaptive Markov Strategy for Effective Network Intrusion Detection. Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, and Jun Sun. 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015.
	Detection and classification of malicious JavaScript via attack behavior modelling. Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan. Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015.
	Optimizing selection of competing features via feedback-directed evolutionary algorithms. Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong. Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015.
	Reliability assessment for distributed systems via communication abstraction and refinement. Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong. Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015.
	Interpolation Guided Compositional Verification (T). Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, and Jin Song Dong. 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015.
	Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015.
	TLV: abstraction through testing, learning, and validation. Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, and Shengchao Qin. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015.
	Event and Strategy Analytics. Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, and Ling Shi. 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015.
2014	Towards verification of computation orchestration. Jin Song Dong, Yang Liu, Jun Sun, and Xian Zhang. Formal Aspects Comput. 26(4).
	Model checking with fairness assumptions using PAT. Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, and Xiaohu Yang. Frontiers Comput. Sci. 8(1).
	Model checking approach to automated planning. Yi Li, Jin Song Dong, Jing Sun, Yang Liu, and Jun Sun. Formal Methods Syst. Des. 44(2).
	Complexity of the Soundness Problem of Workflow Nets. Guan Jun Liu, Jun Sun, Yang Liu, and Jin Song Dong. Fundam. Informaticae 131(1).
	Parameter synthesis for hierarchical concurrent real-time systems. Étienne André, Yang Liu, Jun Sun, and Jin Song Dong. Real Time Syst. 50(5-6).
	Towards Formal Modelling and Verification of Pervasive Computing Systems. Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, and Mounir Mokhtari. Trans. Comput. Collect. Intell..
	Learning Assumptions for CompositionalVerification of Timed Systems. Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, and Jin Song Dong. IEEE Trans. Software Eng. 40(2).
	An extensive model checking framework for multi-agent systems. Songzheng Song, Yang Liu, Jie Zhang, and Jun Sun. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014.
	Towards a Combination of CafeOBJ and PAT. Yongxin Zhao, Jin Song Dong, Yang Liu, and Jun Sun. Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi.
	Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, and Jun Sun. Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings.
	Adaptive Defending Strategy for Smart Grid Attacks. Jianye Hao, Eunsuk Kang, Daniel Jackson, and Jun Sun. Proceedings of the 2nd Workshop on Smart Energy Grid Security, SEGS@CCS 2014, Scottsdale, AZ, USA, November 7, 2014.
	Symbolic Analysis of an Electric Vehicle Charging Protocol. Li Li, Jun Pang, Yang Liu, Jun Sun, and Jin Song Dong. 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014.
	A Hybrid Model of Connectors in Cyber-Physical Systems. Xiaohong Chen, Jun Sun, and Meng Sun. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings.
	SCC-Based Improved Reachability Analysis for Markov Decision Processes. Lin Gui, Jun Sun, Songzheng Song, Yang Liu, and Jin Song Dong. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings.
	Practical Analysis Framework for Software-Based Attestation Scheme. Li Li, Hong Hu, Jun Sun, Yang Liu, and Jin Song Dong. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings.
	TAuth: Verifying Timed Security Protocols. Li Li, Jun Sun, Yang Liu, and Jin Song Dong. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings.
	GPU Accelerated Counterexample Generation in LTL Model Checking. Zhimin Wu, Yang Liu, Yun Liang, and Jun Sun. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings.
	Detecting differences across multiple instances of code clones. Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, and Wenyun Zhao. 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014.
	VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, and Jin Song Dong. 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014.
	Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, and Jin Song Dong. 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014.
	Event Analytics. Jin Song Dong, Jun Sun, Yang Liu, and Yuan-Fang Li. Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings.
	Automatic early defects detection in use case documents. Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, and Xinyu Wang. ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014.
	RaPiD: a toolkit for reliability analysis of non-deterministic systems. Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong. Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014.
	Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, and Shanping Li. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings.
	Automated runtime recovery for QoS-based service composition. Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, and Jin Song Dong. 23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014.
2013	Modeling and verifying hierarchical real-time systems using stateful timed CSP. Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, and Étienne André. ACM Trans. Softw. Eng. Methodol. 22(1).
	Verifying Linearizability via Optimized Refinement Checking. Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, and Jin Song Dong. IEEE Trans. Software Eng. 39(7).
	Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, and Jun Sun. 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1.
	CELL: A Compositional Verification Framework. Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, and Truong Khanh Nguyen. Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings.
	PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Étienne André, Yang Liu, Jun Sun, Jin Song Dong, and Shang-Wei Lin. Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings.
	TTM/PAT: Specifying and Verifying Timed Transition Models. Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, and Jun Sun. Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers.
	Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. Yuanjie Si, Jun Sun, Yang Liu, and Ting Wang. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings.
	A UTP Semantics for Communicating Processes with Shared Variables. Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, and Shengchao Qin. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings.
	Verification of Functional and Non-functional Requirements of Web Service Composition. Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, and Xiaohong Li. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings.
	vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, and Jun Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings.
	Dynamic synthesis of local time requirement for service composition. Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, and Manman Chen. 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013.
	Build your own model checker in one month. Jin Song Dong, Jun Sun, and Yang Liu. 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013.
	Improved Reachability Analysis in DTMC via Divide and Conquer. Songzheng Song, Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong. Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings.
	A Formal Semantics for Complete UML State Machines with Communications. Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, and Jin Song Dong. Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings.
	Combining model checking and testing with an application to reliability prediction and distribution. Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, and Xinyu Wang. International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013.
	Constraint-based automatic symmetry detection. Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013.
	Automatically partition software into least privilege components using dynamic data dependency analysis. Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013.
	TzuYu: Learning stateful typestates. Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013.
	AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, and Jin Song Dong. 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013.
	Social-Loc: improving indoor localization with social sensing. Jung-Hyun Jun, Yu Gu, Long Cheng, Banghui Lu, Jun Sun, Ting Zhu, and Jianwei Niu. The 11th ACM Conference on Embedded Network Sensor Systems, SenSys '13, Roma, Italy, November 11-15, 2013.
	Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, and Rajaraman Kanagasabai. IEEE Ninth World Congress on Services, SERVICES 2013, Santa Clara, CA, USA, June 28 - July 3, 2013.
	USMMC: a self-contained model checker for UML state machines. Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong. Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013.
	State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, and Yu Gu. Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings.
2012	SeVe: automatic tool for verification of security protocols. Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, and Thanh Tho Quan. Frontiers Comput. Sci. China 6(1).
	Formal modeling and validation of Stateflow diagrams. Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, and Manchun Zheng. Int. J. Softw. Tools Technol. Transf. 14(6).
	Complexity of the Soundness Problem of Bounded Workflow Nets. Guan Jun Liu, Jun Sun, Yang Liu, and Jin Song Dong. Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings.
	Using Monterey Phoenix to Formalize and Verify System Architectures. Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, and Jin Song Dong. 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012.
	A Model Checker for Hierarchical Probabilistic Real-Time Systems. Songzheng Song, Jun Sun, Yang Liu, and Jin Song Dong. Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings.
	Automatic Compositional Verification of Timed Systems. Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, and Étienne André. FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings.
	Improved BDD-Based Discrete Analysis of Timed Systems. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, and Yan Liu. FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings.
	Model Checking Software Architecture Design. Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, and Jun Sun. 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012.
	Formal Analysis of Pervasive Computing Systems. Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, and Mounir Mokhtari. 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012.
	Translating PDDL into CSP\# - The PAT Approach. Yi Li, Jing Sun, Jin Song Dong, Yang Liu, and Jun Sun. 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012.
	Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Étienne André, Yang Liu, Jun Sun, and Jin Song Dong. 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012.
	Automatic Generation of Provably Correct Embedded Systems. Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, and Jin Song Dong. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings.
	More Anti-chain Based Refinement Checking. Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, and Shanping Li. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings.
	An Analytical and Experimental Comparison of CSP Extensions and Tools. Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, and Gustavo Carvalho. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings.
	Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings.
	Analyzing multi-agent systems with probabilistic model checking approach. Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, and Jin Song Dong. 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland.
	Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, and Ho-fung Leung. PRIMA 2012: Principles and Practice of Multi-Agent Systems - 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings.
	Improving indoor localization with social interactions. Jung-Hyun Jun, Long Cheng, Jun Sun, Yu Gu, Ting Zhu, and Tian He. The 10th ACM Conference on Embedded Network Sensor Systems, SenSys '12, Toronto, ON, Canada, November 6-9, 2012.
	Planning as Model Checking Tasks. Yi Li, Jing Sun, Jin Song Dong, Yang Liu, and Jun Sun. 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012.
	Timed Automata. Jun Sun, Yang Liu, and Jin Song Dong. Unknown venue (type=incollection).
2011	An Efficient Algorithm for Learning Event-Recording Automata. Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, and Yang Liu. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings.
	On Combining State Space Reductions with Global Fairness Assumptions. Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, and Jin Song Dong. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings.
	Verification of Orchestration Systems Using Compositional Partial Order Reduction. Tian Huat Tan, Yang Liu, Jun Sun, and Jin Song Dong. Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings.
	PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, and Xiaohong Li. Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings.
	Towards a Model Checker for NesC and Wireless Sensor Networks. Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, and Yu Gu. Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings.
	Differencing Labeled Transition Systems. Zhenchang Xing, Jun Sun, Yang Liu, and Jin Song Dong. Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings.
	PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. Yang Liu, Jun Sun, and Jin Song Dong. IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011.
	A model checking framework for hierarchical systems. Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011.
	Towards bug-free implementation for wireless sensor networks. Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, and Yu Gu. Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, SenSys 2011, Seattle, WA, USA, November 1-4, 2011.
2010	A verification system for interval-based specification languages. Chunqing Chen, Jin Song Dong, Jun Sun, and Andrew P. Martin. ACM Trans. Softw. Eng. Methodol. 19(4).
	Model-Based Methods for Linking Web Service Choreography and Orchestration. Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, and Tian Huat Tan. 17th Asia Pacific Software Engineering Conference, APSEC 2010, Sydney, Australia, November 30 - December 3, 2010.
	Developing Model Checkers Using PAT. Yang Liu, Jun Sun, and Jin Song Dong. Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings.
	Model Checking Hierarchical Probabilistic Systems. Jun Sun, Songzheng Song, and Yang Liu. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings.
	Model Checking a Model Checker: A Code Contract Combined Approach. Jun Sun, Yang Liu, and Bin Cheng. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings.
	SpecDiff: debugging formal specifications. Zhenchang Xing, Jun Sun, Yang Liu, and Jin Song Dong. ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010.
	Analyzing hierarchical complex real-time systems. Yang Liu, Jun Sun, and Jin Song Dong. Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010.
2009	A formal framework for modeling and validating Simulink diagrams. Chunqing Chen, Jin Song Dong, and Jun Sun. Formal Aspects Comput. 21(5).
	PAT: Towards Flexible Verification under Fairness. Jun Sun, Yang Liu, Jin Song Dong, and Jun Pang. Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings.
	Fair Model Checking with Process Counter Abstraction. Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, and Jin Song Dong. FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings.
	Model Checking Linearizability via Refinement. Yang Liu, Wei Chen, Yanhong A. Liu, and Jun Sun. FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings.
	Scalable Multi-core Model Checking Fairness Enhanced Systems. Yang Liu, Jun Sun, and Jin Song Dong. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings.
	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. Jun Sun, Yang Liu, Jin Song Dong, and Xian Zhang. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings.
	Formal Verification of Scalable NonZero Indicators. Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, and Yanhong A. Liu. Proceedings of the 21st International Conference on Software Engineering \& Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009.
	Towards Expressive Specification and Efficient Model Checking. Jin Song Dong and Jun Sun. TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China.
	Verification of Population Ring Protocols in PAT. Yang Liu, Jun Pang, Jun Sun, and Jianhua Zhao. TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China.
	Integrating Specification and Programs for System Modeling and Verification. Jun Sun, Yang Liu, Jin Song Dong, and Chunqing Chen. TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China.
2008	Compositional encoding for bounded model checking. Jun Sun, Yang Liu, Jin Song Dong, and Jing Sun. Frontiers Comput. Sci. China 2(4).
	Timed Automata Patterns. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, and Wang Yi. IEEE Trans. Software Eng. 34(6).
	A Scalable Approach to Multi-style Architectural Modeling and Verification. Stephen Wong, Jing Sun, Ian Warren, and Jun Sun. 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland.
	A Formal Model of Semantic Web Service Ontology (WSMO) Execution. Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, and Jun Sun. 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland.
	Specifying and Verifying Event-Based Fairness Enhanced Systems. Jun Sun, Yang Liu, Jin Song Dong, and Hai H. Wang. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings.
	Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, and Xian Zhang. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings.
	A verification system for timed interval calculus. Chunqing Chen, Jin Song Dong, and Jun Sun. 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008.
	An analyzer for extended compositional process algebras. Yang Liu, Jun Sun, and Jin Song Dong. 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume.
	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. Jun Sun, Yang Liu, and Jin Song Dong. Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings.
	Bounded Model Checking of Compositional Processes. Jun Sun, Yang Liu, Jin Song Dong, and Jing Sun. Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
2007	A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, and Jun Sun. 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand.
	Machine-Assisted Proof Support for Validation Beyond Simulink. Chunqing Chen, Jin Song Dong, and Jun Sun. Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings.
	Realizing Live Sequence Charts in SystemVerilog. Hai H. Wang, Shengchao Qin, Jun Sun, and Jin Song Dong. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China.
2006	Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Yang Liu and Jun Sun. Electron. Notes Theor. Comput. Sci. 151(2).
	Reasoning About ORA-SS Data Models Using the Semantic Web. Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, and Jun Sun. J. Data Semant..
	Reasoning support for Semantic Web ontology family languages using Alloy. Hai H. Wang, Jin Song Dong, Jing Sun, and Jun Sun. Multiagent Grid Syst. 2(4).
	Design Synthesis from Interaction and State-Based Specifications. Jun Sun and Jin Song Dong. IEEE Trans. Software Eng. 32(6).
	Verification of Computation Orchestration Via Timed Automata. Jin Song Dong, Yang Liu, Jun Sun, and Xian Zhang. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings.
	A Reasoning Method for Timed CSP Based on Constraint Solving. Jin Song Dong, Ping Hao, Jun Sun, and Xian Zhang. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings.
	Context Awareness Systems Design and Reasoning. Jin Song Dong, Yuzhang Feng, Jing Sun, and Jun Sun. Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006.
	Validating Semistructured Data Using OWL. Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, and Hai H. Wang. Advances in Web-Age Information Management, 7th International Conference,WAIM 2006, Hong Kong, China, June 17-19, 2006, Proceedings.
2005	A Tools Environment for Developing and Reasoning about Ontologies. Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, and Jun Sun. 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan.
	Synthesis of Distributed Processes from Scenario-Based Specifications. Jun Sun and Jin Song Dong. FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings.
	Extracting FSMs from Object-Z Specifications with History Invariants. Jun Sun and Jin Song Dong. 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China.
	Model Checking Live Sequence Charts. Jun Sun and Jin Song Dong. 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China.
	Visualizing and Simulating Semantic Web Services Ontologies. Jun Sun, Yuan-Fang Li, Hai H. Wang, and Jing Sun. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings.
2004	Timed Patterns: TCOZ to Timed Automata. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, and Wang Yi. Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings.
	Generating MSCs from an Integrated Formal Specification Language. Jin Song Dong, Shengchao Qin, and Jun Sun. Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings.
2003	Analysing Web Ontology in Alloy: A Military Case Study. Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, and Hian Beng Lee. Proceedings of the Fifteenth International Conference on Software Engineering \& Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003.
2002	XML-Based Static Type Checking and Dynamic Visualization for TCOZ. Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, and Hai H. Wang. Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings.