Publication (Google Scholar, DBLP)

Research Citations as of 2017
  • Total number of citations: 2200. All citation data has been collected from Google Scholar.
  • H-index = 23. H-index is the maximum value of H such that there are H papers co-authored by me with H or more citations.

Book

  1. Yang Liu, Jun Sun and Jin Song Dong, Model Checking and Its Applications. Adaptation, Learning, and Optimization, Series Editors: Ong, Yew-Soon, Lim, Meng-Hiot, Springer, (Appearing in 2013)

Book Chapter

  1. Jun Sun, Yang Liu and Jin Song Dong, Timed Automata. CRC Handbook of Finite State Based Models and Applications, Jiacun Wang (Editor), 2012. (Accepted)

Tutorial

  1. Jin Song Dong, Jun Sun and Yang Liu, Build Your Own Model Checker in One Month (Half Day). 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, May 18th - 26th, 2013 (Accepted).
  2. Jin Song Dong, Jun Sun and Yang Liu, Introduction to PAT (Half Day). The 17th International Symposium on Formal Methods (FM 2011), Lero, Limerick, Ireland, June 20 - 24, 2011. (Accepted)

CVE

  1. CVE-2015-7115: libxml2 in Apple iOS / OS X xmlParseNCNameComplex Out-of-Bound Read. Wei Lei and Liu Yang
  2. CVE-2015-7116: libxml2 in Apple iOS / OS X xmlParseTryOrFinish Out-of-Bound Read. Wei Lei and Liu Yang
  3. CVE-2016-0933: Adobe Acrobat Reader DC U3D Bone Weight Modifier OOB Access Vulnerability. Mahinthan Chandramohan, Wei Lei and Liu Yang
  4. CVE-2016-3191: PCRE Regular Expression Compilation Stack Buffer Overflow RCE Vulnerability. Wei Lei, Peng Haoxiang and Liu Yang
  5. ZDI-CAN-3731: Adobe Vulnerability (ZDI-CAN-3731). Wei Lei, Sun Zhihao and Liu Yang
  6. CVE-2016-1037: Adobe Reader DC U3D Line Set Continuation OOB Access Vulnerability. Wei Lei, Wu Hongjun and Liu Yang
  7. CVE-2016-1116: Adobe Reader DC U3D e3_node OOB Access Vulnerability. Wei Lei and Liu Yang

Journal Articles

  1. Li Li, Jun Sun, Yang Liu, Meng Sun, and Jin Song Dong. A Formal Specification and Verification Framework for Timed Security Protocols, IEEE Transactions on Software Engineering (TSE). (Accepted)
  2. Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila van der Merwe, Jun Sun, Yang Liu, Jin Song Dong and Willem Visser. Towards Model Checking Android Applications, IEEE Transactions on Software Engineering (TSE). (Accepted)
  3. Yongwang Zhao, David Sanan, Fuyuan Zhang and Yang Liu. Refinement-based Specification and Security Analysis of Separation Kernels, IEEE Transactions on Dependable and Secure Computing (TDSC). (Accepted). (IF 1.592). PDF Download
  4. Yuan Zhou, Hesuan Hu, Yang Liu and Zuohua Ding. Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach, IEEE Transactions On Systems, Man, And Cybernetics: Systems (TSMC). (Accepted). (IF 1.598). PDF Download
  5. 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 Technique, IEEE Transactions on Information Forensics & Security (TIFS). (Accepted). (IF 2.408). PDF Download
  6. Akin Gunay, Yang Liu and Jie Zhang, MOCA: Modeling and Analysis of Agent Behaviors in Commitment Protocols, Journal of Artificial Intelligence Research (JAIR). (Accepted). (IF: 1.691)
  7. Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, Yang Liu, Kang G. Shin, Battery-Aware Mobile Data Service, IEEE Transactions on Mobile Computing. (Accepted). (IF: 2.456)
  8. Bihuan Chen, Xin Peng, Yang Liu, Songzheng Song, Jiahuan Zheng and Wenyun Zhao, Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints, IEEE Transactions on Services Computing. (Accepted). (IF: 2.365)
  9. Yongwang Zhao, David Sanan, Fuyuan Zhang, and Yang Liu, Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement, IEEE Transactions on Industrial Informatics. (Accepted). (IF: 8.785)
  10. Sanjeev Das, Wei Zhang, Yang Liu. A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks Using Hardware-Enhanced Architecture for Embedded Systems, IEEE Transactions on Very Large Scale Integration Systems (TVLSI) (Accepted). (IF 1.356).
  11. Sanjeev Das, Yang Liu, Wei Zhang and Mahintham Chandramohan. Semantics-based Online Malware Detection: Towards Efficient Real-time Protection Against Malware, IEEE Transactions on Information Forensics & Security. (Accepted). (IF 2.408).
  12. Guozhu Meng, Yang Liu, Jie Zhang, Alexander Pokluda and Raouf Boutaba. Collaborative Security: A Survey and Taxonomy, ACM Computing Surveys. (Accepted). (IF 4.043). PDF Download
  13. Hesuan Hu, Rong Su, Yang Liu, and Mengchu Zhou, Polynomially Complex Synthesis of Distributed Supervisor for Large Scale AMSs Using Petri Nets, IEEE Transactions on Control Systems Technology (TCST) (Accepted) (IF: 2.524)
  14. Hesuan Hu and Yang Liu, Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets, IEEE Transactions on Industrial Informatics. (Accepted). (IF: 8.785)
  15. Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung and Jie Zhang, Improved EGT-based Robustness Analysis of Negotiation Strategies in Multi-agent Systems via Model Checking, IEEE Transactions on Human-Machine Systems (THMS), (Accepted) (5-yr Impact Factor: 2.428)
  16. Hesuan Hu, Yang Liu, and Mengchu Zhou, Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled with Petri Nets, IEEE Transactions on Control Systems Technology (TCST) (Accepted) (IF: 2.524)
  17. Hesuan Hu, Yang Liu, and Ling Yuan, Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets, IEEE Transactions on Control Systems Technology (TCST) (Accepted) (IF: 2.524)
  18. 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 Transactions on Software Engineering (TSE). (Accepted)
  19. Étienne André, Yang Liu, Jun Sun, Jin Song Dong Parameter Synthesis for Hierarchical Concurrent Real-Time Systems . Real-Time Systems (TIME) (Accepted).
  20. Yan Liu, Xian Zhang, Yang Liu, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari. Transactions on Computational Collective Intelligence . Transactions on Computational Collective Intelligence (TCCI) (Accepted).
  21. 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 Modeling (SoSyM) (impact factor 1.25) (Accepted).
  22. Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun and Jin Song Dong. Learning Assumptions for Compositional Verification of Timed Systems. IEEE Transactions on Software Engineering (TSE). (Accepted) (Accepted).
  23. Hesuan Hu and Yang Liu. Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis. IEEE Transactions on Automation Science and Engineering (T-ASE) (Accepted).
  24. Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shaojie Zhang and Xiaohu Yang. Model Checking with Fairness Assumptions using PAT. Frontiers of Computer Science (Accepted).
  25. Guan Jun Liu, Jun Sun, Yang Liu and Jin Song Dong. Complexity of the Soundness Problem of Bounded Workflow Nets. Fundamenta Informaticae 2013.
  26. Yi Li, Jin Song Dong, Jing Sun, Yang Liu and Jun Sun. Model Checking Approach to Automated Planning. Formal Methods in System Design (FMSD) (Accepted).
  27. Jin Song Dong, Yang Liu (corresponding author), Jun Sun and Xian Zhang. Towards Verification of Computation Orchestration, Formal Aspects of Computing (FAOC). (Accepted)
  28. Yang Liu, Wei Chen, Yanghong A. Liu, S.J. Zhang, J. Sun and Jin Song Dong. Verifying Linearizability via Optimized Refinement Checking, IEEE Transactions on Software Engineering (TSE). (Accepted)
  29. Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong and Manchun Zheng, Formal Modeling and Validation of Stateflow Diagrams. The International Journal on Software Tools for Technology Transfer (STTT), Volume 14, Issue 6, Page 653-671, 2012.
  30. Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi and Etienne Andre, Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology (TOSEM), 2012. (Accepted)
  31. Luu Anh Tuan, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, and Quan Thanh Tho. SEVE: Automatic Tool for Verification of Security Protocols, Frontiers of Computer Science, Special Issue on Formal Engineering Method, 6(1):57-75, 2012.
  32. Jun Sun, Yang Liu, Jin Song Dong and Jing Sun, Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science, Nov, 2008.
  33. 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).

Conference Papers

  1. Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanan and Henri Hansen: FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers, The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), USA, October 30 to November 3, 2017. (Acceptance rate: 20.7% = 65/314)
  2. Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao and Jinsong Dong: Mining Implicit Design Templates for Actionable Code Reuse, The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), USA, October 30 to November 3, 2017. (Acceptance rate: 20.7% = 65/314)
  3. Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu and Zhendong Su. Guided, Stochastic Model-Based GUI Testing of Android Apps, ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), , Paderborn, Germany. 2017. (Acceptance rate: 24%=72/295).
  4. Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu and Alwen Tiu. Steelix: Program-State Based Binary Fuzzing, ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), , Paderborn, Germany. 2017. (Acceptance rate: 24%=72/295).
  5. Xie Xiaofei, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu and Xiaohong Li. Loopster: Static Loop Termination Analysis, ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), , Paderborn, Germany. 2017. (Acceptance rate: 24%=72/295).
  6. Junjie Wang, Bihuan Chen, Lei Wei, and Yang Liu. Skyfire: Data-Driven Seed Generation for Fuzzing, 38th IEEE Symposium on Security and Privacy (S&P 2017), MAY 22-24, SAN JOSE, CA, 2017. (Acceptance rate: 13.3%=60/450).
  7. Wenjian He, Sanjeev Das, Wei Zhang, and Yang Liu. No-Jump-into-Basic-Block: Enforce Basic Block CFI on the Fly for Real-world Binaries, IEEE/ACM Design Automation Conference (DAC), 2017., June Austin, Texas, 2017.
  8. Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu and Fu Song. SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills, The 39th International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, May 20-28, 2017. (Acceptance rate: 16%).
  9. Yun Lin, Jun Sun, Yinxing Xue, Yang Liu and Jinsong Dong. Feedback-Based Debugging, The 39th International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, May 20-28, 2017. (Acceptance rate: 16%).
  10. David Sanan, Yang Liu, Zhe Hou, Yongwang Zhao, Fuyuan Zhang and Alwen Tiu. CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarantee , 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Uppsala, Sweden, 22-29 April 2017. Paper
  11. Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le and Xiaohong Li. Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis, ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) , Seattle, WA, USA. November 13-18, 2016. SIGSOFT Distinguished Paper Award.
  12. Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho and Hee Beng Kuan Tan. BinGo: Cross-Architecture Cross-OS Binary Search, ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) , Seattle, WA, USA. November 13-18, 2016.
  13. Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor, 21st International Symposium on Formal Methods (FM 2016), 7-11 November 2016.
  14. Tim Muller, Yang Liu and Jie Zhang. Limitations on Robust Ratings and Predictions, 10th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2016) , July 18-22, Darmstadt, Germany.
  15. Tim Muller, Dongxia Wang, Jie Zhang and Yang Liu. How to Use Information Theory to Mitigate Unfair Rating Attacks, 10th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2016) , July 18-22, Darmstadt, Germany. Best Paper Awards..
  16. Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen and Jin Song Dong, Making Use of Simulation Techniques in Verifying Timed System, The 18th International Conference On Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, 14-18 November 2016.
  17. Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun and Jin Song Dong, Service Adaptation with Probabilistic Partial Models, The 18th International Conference On Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, 14-18 November 2016.
  18. Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang and Annamalai Narayanan, Semantic Modelling of Android Malware for Effective Malware Comprehension, Detection and Classification, The International Symposium in Software Testing and Analysis (ISSTA 2016) , University, Saarbrücken, Germany on July 18–20, 2016.
  19. Annamalai Narayanan, Guozhu Meng, Yang Liu, Jinliang Liu and Lihui Chen, Contextual Weisfeiler- Lehman Graph Kernel For Malware Detection, 2016 International Joint Conference on Neural Networks (IJCNN 2016), July, Vancouver, Canada 2016.
  20. Annamalai Narayanan, Yang Liu, Lihui Chen and Jinliang Liu, Adaptive and Scalable Android Malware Detection through Online Learning, 2016 International Joint Conference on Neural Networks (IJCNN 2016) , July, Vancouver, Canada 2016.
  21. Guozhu Meng, Yinxing Xue, Chandramohan Mahinthan, Annamalai Narayanan, Yang Liu, Jie Zhang and Tieming Chen Mystique: Evolving Android Malware for Auditing Anti-Malware Tools, 2016 ACM Asia Conference on Computer and Communications Security (ASIACCS 2016), May, Xi'an, China, 2016. (Acceptance rate: 73/350=20.9\%).
  22. Sanjeev Das, Hao Xiao, Yang Liu, Wei Zhang. Online Malware Defense Using Attack Behavior Model IEEE Int'l Symposium on Circuits & Systems (ISCAS 2016), Montreal, Canada, May 22-26, 2016.
  23. Bihuan Chen, Yang Liu, Wei Le. Generating Performance Distributions via Probabilistic Symbolic Execution, The 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, May 14th - 22nd, 2016. (Acceptance rate: 19%).
  24. Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue and Jin Song Dong. Optimizing Selection of Competing Services with Probabilistic Hierarchical Refinement, The 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, May 14th - 22nd, 2016. (Acceptance rate: 19%).
  25. Yongwang Zhao, David Sanan, Fuyuan Zhang and Yang Liu. Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), 2-8 April 2016, Eindhoven, The Netherlands. (Acceptance rate: 45/157).
  26. Dongxia Wang, Tim Muller, Jie Zhang and Yang Liu. Is it Harmful when Advisors only Pretend to be Honest? , 30th AAAI Conference on Artificial Intelligence (AAAI), 2016 (26% of acceptance, 549/2132).
  27. Shang-Wei Lin, Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong. Interpolation Guided Compositional Verification , 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015),November 9–13, 2015 Lincoln, Nebraska, USA. (Accepted). (20.8%=60 out of 289)
  28. Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin and Shengchao Qin. TLV: Abstraction through Testing, Learning and Validation , ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Bergamo, Italy. August 2015. (Accepted). (25.4%=74 out of 291)
  29. Dongxia Wang, Tim Muller, Jie Zhang and Yang Liu. Quantifying Robustness of Trust Systems Against Collusive Unfair Rating Attacks Using Information Theory, 25th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, 25 to 31 July, 2015. (Accepted). (28.8 %=575 /1996)
  30. Lin Gui, Jun Sun, Yang Liu and Jin Song Dong, Reliability Assessment for Distributed Systems Via Communication Abstraction and Refinement , International Symposium on Software Testing and Analysis (ISSTA), Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117)
  31. Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun and Mahinthan Chandramohan, JS*: Detection and Classification of Malicious JavaScript via Attack Behavior Modelling, International Symposium on Software Testing and Analysis (ISSTA), Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117)
  32. Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li and Hongxu Chen, S-Looper: Automatic Summarization for Multipath String Loops, International Symposium on Software Testing and Analysis (ISSTA), Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117)
  33. Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu and Jin Song Dong, Optimizing Selection of Competing Features via Feedback-directed Evolutionary Algorithms , International Symposium on Software Testing and Analysis (ISSTA), Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117)
  34. Xiaoning Du, Yang Liu and Alwen Tiu, Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL, The 20th International Symposium on Formal Methods (FM), 22–26. June, 2015. (Accepted).
  35. Li Li, Jun Sun, Yang Liu, and Jin Song Dong, Verifying Parameterized Timed Security Protocols, The 20th International Symposium on Formal Methods (FM), 22–26. June, 2015. (Accepted).
  36. Dongxia Wang, Tim Muller, Athirai A. Irissappane, Jie Zhang and Yang Liu, Using Information Theory to Improve the Robustness of Trust Systems, 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2015 (24.9% of acceptance, 167/670)
  37. Tim Muller, Yang Liu and Jie Zhang, The Fallacy of Endogenous Discounting of Trust Recommendations, 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2015 (24.9% of acceptance, 167/670)
  38. Junjie Wang, Yinxing Xue, Yang Liu and Tianhuat Tan. JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification, In Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security (AsiaCCS 2015), 14-17 April 2015, Singapore. (acceptance rate of ?/269)
  39. Akin Gunay, Songzheng Song, Yang Liu and Jie Zhang, Automated Analysis of Commitment Protocols using Probabilistic Model Checking, In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), Austin Texas, USA, January 25–29, 2015. (acceptance rate of 26.67% =531/1991)
  40. Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong. RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems. The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16 and November 21, Hong Kong, 2014.
  41. Dongxia Wang, Tim Muller, Yang Liu and Jie Zhang. Towards Robust and Effective Trust Management for Security: A Survey. The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14), 24 - 26 Sep, Beijing, China, 2014.
  42. Jin Song Dong, Jun Sun,Yang Liu, Yuan-Fang Li. Event Analytics, the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC), pp 17-24, 17-19 of September, 2014. (invited paper)
  43. Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh, Jin Song Dong and Xinyu Wang. Automated Early Defects Detection in Use Case Documents. 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) NEW IDEAS TRACK , Västerås, Sweden, September 15 - 19, 2014.
  44. Dinh-Thuan Le, Huu Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Tho Quan, Étienne André, Laure Petrucci and Yang Liu. PeCAn: Compositional Verification of Petri Nets Made Easy. The 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014) Tool Paper, Sydney, November 3-7, 2014.
  45. Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Wenyun Zhao, Jun Sun and Jinsong Dong. Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. The 30th IEEE International Conference on Software Maintenance and Evolution (ICSME 2014), in Victoria, CANADA September 28 - October 3, 2014. (40 out of 210, 19% acceptance rate)
  46. Zhimin Wu, Yang Liu, Yun Liang, and Jun Sun. GPU Accelerated Dynamic Counterexample Generation in LTL Model Checking. The 16th International Conference On Formal Engineering Methods (ICFEM 2014), 3 - 7 Nov, Luxembourg, 2014.
  47. Lin Gui, Jun Sun, Songzheng Song, Yang Liu and Jin Song Dong. SCC-based Improved Reachability Analysis for Markov Decision Processes. The 16th International Conference On Formal Engineering Methods (ICFEM 2014), 3 - 7 Nov, Luxembourg, 2014.
  48. Hesuan Hu, Yang Liu. A Comparative Approach to Supervisor Simplification in Automated Manufacturing Systems Using Petri Nets. IEEE International Conference on Automation Science and Engineering (CASE 2014) , August 18-22, 2014, Taipei, Taiwan, 2014.
  49. Hesuan Hu, Yang Liu. Simplifying Supervisory Controllers of Automated Manufacturing Systems via Petri Net Modeling and Multiset Analysis. IEEE International Conference on Automation Science and Engineering (CASE 2014) , August 18-22, 2014, Taipei, Taiwan, 2014.
  50. Sanjeev Das, Wei Zhang, Yang Liu, FPGA Based Control Flow Checking, Design Automation Conference (DAC), June 2014 (poster).
  51. Sanjeev Das, Wei Zhang, Yang Liu, Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking, Proc. of IEEE Computer Society Annual Symposium on VLSI (ISVLSI), July, 2014
  52. 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. International Conference on Computer Aided Verification (CAV'14). Vienna, Austria. 2014. (Accepted).
  53. Li Li, Jun Pang, Yang Liu, Jun Sun and Jin Song Dong Symbolic Analysis of an Electric Vehicle Charging Protocol. The 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014). TianJin, China, 2014. (Accepted).
  54. Tim Muller and Yang Liu and Sjouke Mauw and Jie Zhang. On Robustness of Trust Systems, The 8th IFIP WG 11.11 International Conference on Trust Management, Singapore, July 2014. (Accepted)
  55. Yan Liu, Lin Gui and Yang Liu. MDP-based Reliability Analysis of an Ambient Assisted Living System, The 19th International Symposium on Formal Methods (FM 2014) Industry Track, Singapore, May 2014.
  56. Songzheng Song, Yang Liu, Jie Zhang and Jun Sun. An Extensive Model Checking Framework for Multi-agent Systems, The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France, May 5-9, 2014. (Accepted).
  57. Yang Liu, Yi Xu, Shaojie Zhang and Chengzheng Sun. Formal Verification of Operational Transformation, The 19th International Symposium on Formal Methods (FM 2014), Singapore, May 2014. (38 out of 135, 28% acceptance rate)
  58. Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang and Andrew Martin. TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms, The 19th International Symposium on Formal Methods (FM 2014), Singapore, May 2014. (38 out of 135, 28% acceptance rate)
  59. 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), Hyderabad. India. May 31-June 7, 2014. (99 out of 495, 20% acceptance rate)
  60. 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, 36th International Conference on Software Engineering (ICSE 2014), Hyderabad. India. May 31-June 7, 2014. (15/41=36.5% acceptance rate).
  61. Hesuan Hu and Yang Liu. Distributed Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets, the IEEE International Conference on Robotics and Automation (ICRA 2014) , May 31 - June 5, 2014, Hong Kong China. (Accepted)
  62. Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu and Jin Song Dong. Automated Runtime Recovery for QoS-based Service Composition. The 23rd International World Wide Web Conference (WWW 2014). April 7-11, 2014 / Seoul, Korea (Accepted) (12.9% acceptance rate).
  63. 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) , 5-13 April 2014, Grenoble, France (Accepted). (26 out of 117 research papers: 22.2%)
  64. Xuan-Linh Ha, Thanh-Tho Quan, Yang Liu and Jun Sun. Multi-core Algorithms for LTL Verification. The 20th Asia-Pacific Software Engineering Conference (APSEC 2013) , 2-5 December 2013, Bangkok, Thailand (Accepted).
  65. Shaojie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma and Jin Song Dong Constraint-based Automatic Symmetry Detection. The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) , Palo Alto, California, USA. November 11 - 15, 2013 (Accepted).
  66. Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong. Automatically Partition Software into Least Privilege Components Using Dynamic Data Dependency Analysis. The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) , Palo Alto, California, USA. November 11 - 15, 2013 (Accepted).
  67. Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin and Chengnian Sun TzuYu: Learning Stateful Typestates. The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) , Palo Alto, California, USA. November 11 - 15, 2013 (Accepted).
  68. Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa and Jin Song Dong USMMC: A Self-Contained Model Checker for UML State Machines. The 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. (Accepted).
  69. 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. (Accepted).
  70. 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. (Accepted).
  71. Manman Chen, Tian Huat Tan, Jun Sun Yang Liu and Jun Pang 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. (Accepted).
  72. 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. (Accepted).
  73. Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong and Truong Khanh Nguyen CELL: A Compositional Verification Framework. The 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) , October 15 - 18, 2013, Hanoi, Vietnam. (Accepted).
  74. Hesuan Hu, Mengchu Zhou, and Yang Liu. Supervisor Synthesis and Performance Improvement in Automated Manufacturing Systems Using Petri Nets. IEEE International Conference on Automation Science and Engineering (CASE 2013), pp. 1163-1168, Wisconsin, USA, August 2013.
  75. Hesuan Hu, Mengchu Zhou, and Yang Liu. Maximally Permissive Distributed Control of Petri Net Modeling Automated Manufacturing Systems, IEEE International Conference on Automation Science and Engineering (CASE 2013), pp. 1151-1156, Wisconsin, USA, August 2013.
  76. Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jinsong Dong and Xinyu Wang Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution. The International Symposium in Software Testing and Analysis (ISSTA 2013) , Lugano, Switzerland, 15-20 July 2013. (Accepted).
  77. Kiran Adhikari, James Street, Chao Wang, Yang Liu and Shaojie Zhang Verifying a Quantitative Relaxation of Linearizability via Refinement. The International SPIN Symposium on Model Checking of Software (SPIN 2013) , Stony Brook, NY, USA, 8-9 July 2013. (Accepted).
  78. 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 10th International Conference on integrated Formal Methods (iFM 2013), June 10 - 14, Turku, Finland, 2013. (Accepted).
  79. Songzheng Song, Lin Gui, Jun Sun, Yang Liu and Jin Song Dong. Speed Up Verification in DTMC via Divide and Conquer 10th International Conference on integrated Formal Methods (iFM 2013), June 10 - 14, Turku, Finland, 2013. (Accepted).
  80. Étienne André, Yang Liu, Jun Sun, Jin Song Dong and Shang-Wei Lin. PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems the 25th International Conference on Computer Aided Verification (CAV 2013), Saint Petersburg, Russia, July 13–19, 2013. (Accepted).
  81. Guangdong Bai, Guozhu Meng, Jike Lei, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu and Jinsong Dong. AuthScan: Automatic Extraction of Web Authentication Protocols From Implementations the 20th Annual Network and Distributed System Security Symposium (NDSS 2013), San Diego, CA United States, 24-27 February 2013. (Accepted).
  82. 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), San Francisco, CA, USA, May 18th - 26th, 2013 (Accepted).
  83. 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. The 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2013), Rome, Italy January 20-22, 2013 (Accepted).
  84. Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong and Jun Sun. Model Checking Software Architecture Design. The 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), Omaha, USA, October 25 -27, 2012 (Accepted).
  85. 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), Hong Kong, China, 4–7 December 2012. (Accepted)
  86. Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang and Shanping Li. More Anti-Chain Based Refinement Checking. The 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 12 - 16, 2012. (Accepted)
  87. Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun and Jin Song Dong. Automatic Generation of Provably Correct Embedded Systems. The 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 12 - 16, 2012. (Accepted)
  88. Ling Shi, Yang Liu, Jun Sun, Jin Song Dong and Gustavo Carvalho. An Analytical and Experimental Comparison of CSP Extensions and Tools. The 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 12 - 16, 2012. (Accepted)
  89. Truong Khanh Nguyen, Jun Sun, Yang Liu and Jin Song Dong. Symbolic Model-Checking of Stateful Timed CSP using BDD and Digitization. The 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 12 - 16, 2012. (Accepted)
  90. Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun. Planning as Model Checking Tasks. 35th Annual IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, Greece, Oct 12 - 13, 2012 (Accepted).
  91. Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Jin Song Dong and Ho-Fung Leung Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. The 15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2012). Kuching, Sarawak, Malaysia, September 3 - 7, 2012. (Accepted).
  92. Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong and Etienne Andre. Automatic Compositional Verification of Timed Systems. The 18th International Symposium on Formal Methods (FM 2012), Paris, France, Auguest 27 - 31, pages 272-276, 2012.
  93. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong and Yan Liu. Improved BDD-based Discrete Analysis of Timed Systems. The 18th International Symposium on Formal Methods (FM 2012), Paris, France, Auguest 27 - 31, 2012 (Accepted).
  94. Yan Liu, Xian Zhang, Yang Liu, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari. Formal Analysis of Pervasive Computing Systems. The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012 (Accepted). Best Paper Awards.
  95. Yi Li, Jing Sun, Jin Song Dong and Yang Liu. Translating PDDL into CSP# - the PAT Approach. The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012 (Accepted).
  96. Étienne André, Yang Liu, Jun Sun and Jin Song Dong. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012 (Accepted).
  97. Songzheng Song, Jun Sun, Yang Liu, and Jin Song Dong. A Model Checker for Hierarchical Probabilistic Real-time Systems. 24th International Conference on Computer Aided Verification (CAV 2012), Berkeley, California, USA, July 7-13, 2012. (Accepted)
  98. GuanJun Liu, Jun Sun, Yang Liu, and Jin Song Dong. Complexity of the Soundness Problem of Bounded Workflow Nets. The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (PN 2012), Hamburg, Germany, June 25-29, 2012. (Accepted)
  99. Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-Fung Leung, and Jin Song Dong. Analyzing Multi-agent Systems with Probabilistic Model Checking Approach. The 34th International Conference on Software Engineering (ICSE 2012), New Ideas and Emerging Results (NIER), Zurich, Switzerland, June 2 - 9, 2012. (Accepted)
  100. Truong Khanh Nguyen, Jun Sun, Yang Liu and Jin Song Dong. A Symbolic Model Checking Framework for Hierarchical Systems. Proceedings of the 26th International Conference on Automated Software Engineering, Oread, Lawrence, Kan, November 6-11, 2011. (Accepted)
  101. Manchun Zheng, Jun Sun, David Sanan, Yang Liu, Jin Song Dong and Yu Gu. Towards Bug-free Implementation for Wireless Sensor Networks. The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011), November 1-4, Seattle, WA, 2011. (Accepted)
  102. Yang Liu, Jun Sun and Jin Song Dong. PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), Hiroshima, Japan, Nov 29 - Dec 2, 2011. (Accepted)
  103. Zhenchang Xing, Jun Sun, Yang Liu and Jin Song Dong. Differencing Labeled Transition Systems. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25-28, 2011. (Accepted)
  104. Jun Sun, Yang Liu, Songzheng Song and Jin Song Dong. PRTS: An Approach for Model Checking Probabilistic Real-time Hierarchical Systems. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25 -28, 2011. (Accepted)
  105. Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong and Yu Gu. Towards a Model Checker for NesC and Wireless Sensor Networks. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25 -28, 2011. (Accepted)
  106. Tian Huat Tan, Yang Liu, Jun Sun and Jin Song Dong. Verification of Computation Orchestration System with Compositional Partial Order Reduction. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25-28, 2011. (Accepted)
  107. Shang-Wei Lin, Etienne Andre, Jin Song Dong, Jun Sun, and Yang Liu. Efficient Algorithm for Learning Event-Recording Automata. The 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011). Taipei, Taiwan, October 11 - 14, 2011.
  108. Shaojie Zhang, Jun Sun, Jun Pang, Yang Liu and Jin Song Dong. On Combining State Space Reductions with Global Fairness Assumptions. The 17th International Symposium on Formal Methods (FM 2011), pages 432 - 447, Lero, Limerick, Ireland, June 20 - 24, 2011.
  109. Jun Sun, Yang Liu, Geguang Pu and Tian Huat Tan. Model-based Methods for Linking Web Service Choreography and Orchestration. The 17th Asia Pacific Software Engineering Conference (APSEC 2010), Sydney, Australia, 30 November - 3 December 2010.
  110. Yang Liu, Jun Sun and Jin Song Dong. Analyzing Hierarchical Complex Real-time Systems. The ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2010), Santa Fe, New Mexico, USA, 7-11 November 2010.
  111. Jun Sun, Yang Liu and Bin Cheng. Model Checking a Model Checker: A Code Contract Combined Approach. The 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shang Hai, China, 16-19 November 2010. (Accepted).
  112. Jun Sun, Songzheng Song and Yang Liu. Verifying Probabilistic Hierarchical Systems. The 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shang Hai, China, 16-19 November 2010.
  113. Zhenchang Xing, Jun Sun, Yang Liu and Jin Song Dong. SpecDiff: Debugging Formal Specifications. The 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, 20-24 September 2010. (Accepted).
  114. Yang Liu, Jun Sun, Jin Song Dong. Developing Model Checkers Using PAT. 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore, 2010.
  115. Yuzhang Feng, Yang Liu, Yuan-Fang Li and Daqing Zhang. Discovering Anomalies in Semantic Web Rules. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010.
  116. Shaojie Zhang and Yang Liu. Model Checking a Lazy Concurrent List-Based Set Algorithm. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010. Best Paper Awards.
  117. Xian Zhang, Yang Liu and Mikhail Auguston. Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010.
  118. Shaojie Zhang and Yang Liu. An Automatic Approach to Model Checking UML State Machines. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010.
  119. Yang Liu, Jun Sun and Jin Song Dong. Scalable Multi-Core Model Checking Fairness Enhanced Systems. The 11th International Conference on Formal Engineering Methods (ICFEM 2009). Rio de Janeiro, Brazil, December, 2009.
  120. Jun Sun, Yang Liu, Jin Song Dong and Xian Zhang. Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction. The 11th International Conference on Formal Engineering Methods (ICFEM 2009). Rio de Janeiro, Brazil, December, 2009.
  121. Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong. Fair Model Checking of Parameterized Systems. The sixth International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009.
  122. Yang Liu, Wei Chen, Yanhong A. Liu and Jun Sun. Model Checking Lineariability via Refinement. The sixth International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009.
  123. Yang Liu, Jun Pang, Jun Sun and Jianhua Zhao. Verification of Population Ring Protocols in PAT. The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009). China.
  124. Jun Sun, Yang Liu, Jin Song Dong and Chun Qing Chen. Integrating Specification and Programs for System Modeling and Verification. The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009). China.
  125. Shaojie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen and Yanhong A. Liu. Formal Verification of Scalable NonZero Indicators. The 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009). pages 406-411, USA. 2009.
  126. Jun Sun, Yang Liu, Jin Song Dong and Jun Pang. Towards Flexible Verification under Fairness. The 21th International Conference on Computer Aided Verification (CAV 2009). pages 702-708, France, 2009.
  127. Jun Sun, Yang Liu, Jin Song Dong and Hai H. Wang. Specifying and Verifying Event-based Fairness Enhanced Systems. The 10th International Conference on Formal Engineering Methods (ICFEM 2008). Japan, 2008.
  128. Jun Sun, Yang Liu and Jin Song Dong. CSP Model Checking Revisited: Introducing a Process Analysis Toolkit. The third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Greece, October 13-15, 2008.
  129. Jun Sun, Yang Liu and Jin Song Dong. Bounded Model Checking of Compositional Processes, 2nd IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2008), NanJing, China, Jun. 2008.
  130. Yang Liu, Jun Sun and Jin Song Dong. An Analyzer for Extended Compositional Process Algebras, The 30th International Conference on Software Engineering (ICSE 2008), Germany, 2008.
  131. Jin Song Dong, Yang Liu, Jun Sun and Xian Zhang, Verification of Computation Orchestration via Timed Automata. 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, November 2006.
  132. Yang Liu and J. Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. International Workshop on Web Languages and Formal Methods (WLFM'05), joint with FM'05, University of Newcastle upon Tyne, UK, 2005