Publication (Google Scholar, DBLP)

My publications appears in top tier conferences (e.g., 17 ICSE, 9 FSE, 17 ASE, 9 ISSTA, 4 CAV, 13 FM, 3 TACAS, 3 S&P(Oakland), 2 CCS, 3 Usenix Security, 1 NDSS, 5 AAAI, 4 IJCAI and 1 NeurIPS), and top tier journals (e.g., 11 TSE, 2 TOSEM, 7 TIFS, 4 TDSC, 1 ACM Computing Survey, 3 TCST, 2 Automatica and 1 TMC).

Research Citations as of 2020
  • Total number of citations: 6000. All citation data has been collected from Google Scholar.
  • H-index = 38. 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

Selected Journal Articles

  1. (TSE 2021) Sen Chen, Chunyang Chen, Lingling Fan, Mingming Fan, Xian Zhan, and Yang Liu. Accessible or Not? An Empirical Investigation of Android App Accessibility. IEEE Transactions on Software Engineering (TSE), 2021. (IF 6.112).
  2. (TMM 2021) Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, and Yang Liu. Pasadena: Perceptually Aware and Stealthy AdversarialDenoise Attack. IEEE Transactions on Multimedia (TMM), 2021. (IF: 6.513)
  3. (TIFS 2021) Shangwei Guo, Tianwei Zhang, Han Yu, Xiaofei Xie, Lei Ma, Tao Xiang, and Yang Liu. Topology-aware differential privacy for decentralized image classification. IEEE Transactions on Circuits and Systems for Video Technology (TCSVT), 2021. (IF: 4.685)
  4. (TIFS 2021) Ming Fan, Ziliang Si, Xiaofei Xie, Yang Liu and Ting Liu. Text Backdoor Detection Using An Interpretable RNN Abstract Model, IEEE Transactions on Information Forensics & Security (TIFS), 2021.
  5. (IJIS 2021) Fu Song, Yusi Lei, Sen Chen, Lingling Fan, Yang Liu. Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers, International Journal of Intelligent Systems, 2021. (IF: 10.312).
  6. (TNNLS 2021) Alvin Guo Wei Chan, Lei Ma, Felix Juefei-Xu, Yew-Soon Ong, Xiaofei Xie, Minhui Xue, Yang Liu. Breaking Neural Reasoning Architectures with Metamorphic Relation-Based Adversarial Examples, IEEE Transactions on Neural Networks and Learning Systems, 2021.
  7. (ACM Computing Surveys 2021) Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu and Zengxiang Li. A Survey of Smart Contract Formal Specification and Verification, ACM Computing Surveys, 2021
  8. (TOPLAS 2020) David Sanan, Yongwang Zhao, Shang-wei Lin and Yang Liu, CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee, ACM Transactions on Programming Languages and Systems (TOPLAS), 2020. Accepted.
  9. (TSE 2020) Shangqing Liu, Cuiyun Gao, Sen Chen, Lun Yiu Nie, Yang Liu, ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking, IEEE Transactions on Software Engineering (TSE), 2020. Accepted. (IF 3.331).
  10. (TDSC 2020) Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu. Oracle- Supported Dynamic Exploit Generation for Smart Contracts. IEEE Transactions on Dependable and Secure Computing (TDSC), 2020. Accepted. (IF 4.41).
  11. (TOSEM 2020) Bozhi Wu, Sen Chen, Cuiyun Gao, Lingling Fan, Yang Liu, Weiping Wen and Michael Lyu. Why an Android App is Classified as Malware? Towards Malware Classification Interpretation. ACM Transactions on Software Engineering and Methodology (TOSEM), 2020. (IF 3.429).
  12. (TIFS 2020) Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin and Yang Liu, A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices, IEEE Transactions on Information Forensics & Security (TIFS), 2020. (IF 6.013).
  13. (TIFS 2020) Ming Fan, Wenying Wei, Xiaofei Xie, Yang Liu, Xiaohong Guan and Ting Liu. Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis, IEEE Transactions on Information Forensics & Security (TIFS). (Accepted). (IF 6.013).
  14. (TSE 2020) Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu and Zhendong Su, Why My App Crashes? Understanding and Benchmarking Framework-specific Exceptions of Android apps, IEEE Transactions on Software Engineering (TSE), 2020. Accepted. (IF 3.331).
  15. (TC 2020) Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai and Yang Liu. Guardauto: A Decentralized Runtime Protection System for Autonomous Driving. IEEE Transactions on Computers, 2020.
  16. (TVT 2020) Kun Cheng, Yuan Zhou, Yun Tang, David Sanan, Yuebin Bai and Yang Liu, CANeleon: Protecting CAN Bus with Frame ID Chameleon, IEEE Transactions on Vehicular Technology (TVT), 2020 (IF 5.339).
  17. (TCAS-II 2020) Jakub Breier, Mustafa Khairallah, Xiaolu Hou and Yang Liu, A Countermeasure Against Statistical Ineffective Fault Analysis, IEEE Transactions on Circuits and Systems II: Express Briefs, 2020 (IF 3.25).
  18. (TSE 2020) Jie M Zhang, Mark Harman, Lei Ma and Yang Liu, Machine Learning Testing: Survey, Landscapes and Horizons, IEEE Transactions on Software Engineering (TSE), 2020. Accepted. (IF 3.331).
  19. Sen Chen, Lingling Fan, Chunyang Chen, Minhui Xue, Yang Liu, Lihua Xu. GUI-Squatting Attack: Automated Generation of Android Phishing Apps. IEEE Transactions on Dependable and Secure Computing (TDSC), 2019. Accepted. (IF 4.41).
  20. Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin and Zuohua Ding. A Distributed Method to Avoid Higher-Order Deadlocks in Multi-Robot Systems. Automatica, 2019. Accepted. (IF 6.355).
  21. Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng and Ting Liu. Explaining Regressions via Alignment Slicing and Mending, IEEE Transactions on Software Engineering (TSE), 2019. Accepted. (IF 3.331).
  22. Dongxia Wang, Tim Muller Yang Liu and Jie Zhang Information Theoretical Analysis of Unfair Rating Attacks under Subjectivity, IEEE Transactions on Information Forensics & Security (TIFS). (Accepted). (IF 2.408).
  23. Xiaoning Du, Alwen Tiu, Kun Cheng and Yang Liu. Trace-Length Independent Runtime Monitoring of Quantitative Policies. IEEE Transactions on Dependable and Secure Computing (TDSC), 2019. Accepted. (IF 4.41).
  24. Jakub Breier, Xiaolu Hou and Yang Liu . On Evaluating Fault Resilient Encoding Schemes in Software. IEEE Transactions on Dependable and Secure Computing (TDSC), 2019. Accepted. (IF 4.41).
  25. Chunyang Chen*, Zhenchang Xing and Yang Liu . Mining Likely Analogical APIs across Third-Party Libraries via Large-Scale Unsupervised API Semantics Embedding. IEEE Transactions on Software Engineering (TSE), 2019. Accepted. (IF 3.331).
  26. Guozhu Meng, Matthew Patrick, Yinxing Xue, Yang Liu and Jie Zhang Securing Android App Markets via Modelling and Predicting Malware Spread between Markets, IEEE Transactions on Information Forensics & Security (TIFS). (Accepted). (IF 2.408).
  27. Chunyang Chen, Zhenchang Xing and Yang Liu. What's Spain's Paris? Mining Analogical Libraries from Q&A Discussions, Empirical Software Engineering (ESE). (Accepted) (IF 3.275)
  28. Chenyu Wang, Bihuan Chen, Yang Liu, and Hongjun Wu. Layered Object Oriented Programming: Advanced VTable Reuse Attacks on Binary-Level Defense, IEEE Transactions on Information Forensics & Security (TIFS). (Accepted). (IF 2.408).
  29. Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin and Zuohua Ding. A Distributed Approach to Robust Control of Multi-Robot Systems. Automatica, 2018. (Impact Factor: 5.451) (Accepted)
  30. Jakub Breier, Xiaolu Hou and Liu Yang. Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code. Transactions on Cryptographic Hardware and Embedded Systems, IACR, 1 (2), 1--26, 2018. (Accepted)
  31. Yinxing Xue, Zhengzi Xu, Mahinthan Chandramohan, Yang Liu and Chia Yuan Cho. Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation, IEEE Transactions on Software Engineering (TSE). (Accepted)
  32. Xiaofei Xie, Bihuan Chen, Liang Zou, Yang Liu, Wei Le and Xiaohong Li. Automatic Loop Summarization via Path Dependency Analysis, IEEE Transactions on Software Engineering (TSE). (Accepted)
  33. Sanjeev Das, Bihuan Chen, Mahintham Chandramohan, Yang Liu, and Wei Zhang. ROPSentry: Runtime Defense against ROP Attacks using Hardware Performance Counters. Computers & Security, accepted, 2017. (Impact factor: 2.849)
  34. Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin and Zuohua Ding. A Real-Time and Fully Distributed Approach to Motion Planning for Multi-Robot Systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems (TSMC). (Accepted). (IF 1.598).
  35. Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen and Yang Liu. A Multi-view Context-aware Approach to Android Malware Detection and Malicious Code Localization, Empirical Software Engineering (ESE). (Accepted) (IF 3.275)
  36. 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)
  37. 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)
  38. 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
  39. 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
  40. 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
  41. 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)
  42. 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)
  43. 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)
  44. 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)
  45. 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).
  46. 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).
  47. 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
  48. 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)
  49. 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)
  50. 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)
  51. 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)
  52. 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)
  53. 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)
  54. Étienne André, Yang Liu, Jun Sun, Jin Song Dong Parameter Synthesis for Hierarchical Concurrent Real-Time Systems . Real-Time Systems (TIME) (Accepted).
  55. 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).
  56. 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).
  57. 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).
  58. 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).
  59. 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).
  60. Guan Jun Liu, Jun Sun, Yang Liu and Jin Song Dong. Complexity of the Soundness Problem of Bounded Workflow Nets. Fundamenta Informaticae 2013.
  61. 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).
  62. Jin Song Dong, Yang Liu (corresponding author), Jun Sun and Xian Zhang. Towards Verification of Computation Orchestration, Formal Aspects of Computing (FAOC). (Accepted)
  63. 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)
  64. 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.
  65. 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)
  66. 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.
  67. Jun Sun, Yang Liu, Jin Song Dong and Jing Sun, Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science, Nov, 2008.
  68. 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).

Selected Conference Papers

  1. (ICCV 2021) Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu and Jianjun Zhao. Learning to Adversarially Blur Visual Object Tracking. The International Conference on Computer Vision (ICCV 2021), 11 - 17 October, 2021.
  2. (ASE 2021) Qiang Liu, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu, Wenbo Shen, Xiapu Luo, Yang Liu and Kui Ren. FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution, The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), November 2021 Melbourne, Australia.
  3. (USENIX 2021) Cen Zhang, Xingwei Lin, Yuekang Li, Yinxing Xue, Jundong Xie, Hongxu Chen, Xinlei Ying, Jiashui Wang, Yang Liu. APICraft: Fuzz Driver Generation for Closed-source SDK Libraries. The 30th USENIX Security Symposium (USENIX 2021), 2021. Accepted.
  4. (MM 2021) Qing Guo, Xiaoguang Li, Felix Juefei-Xu, Hongkai Yu, Yang Liu and Song Wang. JPGNet: Joint Predictive Filtering and Generative Network for Image Inpainting, The 29th ACM Multimedia 2021 (MM 2021), 20-24 October 2021 Chengdu, China.
  5. (MM 2021) Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu and Geguang Pu. Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning, The 29th ACM Multimedia 2021 (MM 2021), 20-24 October 2021 Chengdu, China.
  6. (MM 2021) Run Wang, Felix Juefei-Xu, Meng Luo, Yang Liu and Lina Wang. Robust Safeguards against DeepFake Dissemination via Provenance Tracking, The 29th ACM Multimedia 2021 (MM 2021), 20-24 October 2021 Chengdu, China.
  7. (CVPR 2021) Lan Fu, Changqing Zhang, Qing Guo, F Juefei-Xu, H Yu, W Feng, Yang Liu, and S Wang. Auto-Exposure Fusion for Single-Image Shadow Removal. 2021 Conference on Computer Vision and Pattern Recognition (CVPR), June 19 to 25, 2021.
  8. (CVPR 2021) Wei Gao, Shangwei Guo**, Tianwei Zhang, Han Qiu, Yonggang Wen and Yang Liu. Privacy-preserving Collaborative Learning with Automatic Transformation Search (Oral). 2021 Conference on Computer Vision and Pattern Recognition (CVPR), June 19 to 25, 2021.
  9. (ICRA 2021) Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, Gang Wang. Route Coverage Testing For Autonomous Vehicles Via Map Modeling. The 2021 IEEE International Conference on Robotics and Automation (ICRA 2021), Xi’An, China, 30 May - 5 June 2021.
  10. (ICLR 2021 Spotlight) Shangqing Liu, Yu Chen, Xiaofei Xie, Jing Kai Siow and Yang Liu. Retrieval-Augmented Generation for Code Summarization via Hybrid GNN. The International Conference on Learning Representations (ICLR 2021), Vienna, Austria, May 4-8, 2021.
  11. (ICSE 2021) Xian Zhan, Lingling Fan, Sen Chen, Feng Wu, Tianming Liu, Xiapu Luo and Yang Liu. ATVHunter: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Apps, The Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021), Madrid, Spain, 2021. Accepted. (Acceptance rate: 138/615 = 22.4%)
  12. (ICSE 2021) Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao and Yang Liu. Automatic Web Testing using Curiosity-Driven Reinforcement Learning, The Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021), Madrid, Spain, 2021. Accepted. (Acceptance rate: 138/615 = 22.4%)
  13. (S&P 2021) Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song and Yang Liu. Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems, The 42nd IEEE Symposium on Security and Privacy, San Francisco, USA, May 18-20, 2021.
  14. (NeurIPS 2020) Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng and Yang Liu. Watch out! Motion is Blurring the Vision of Your Deep Neural Networks, Thirty-fourth International Conference on Neural Information Processing Systems (NeurIPS 2020), Vancouver, Canada, 2020. (Acceptance rate: 1900/9454=20%) Accepted.
  15. (ASE 2020) Lili Quan, Qianyu Guo, Hongxu Chen, Xiaofei Xie, Xiaohong Li, Yang Liu, Jing Hu. SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementions, The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), 21 - 25 September 2020 Melbourne, Australia. (Acceptance rate: 93/414 = 22.5%) Accepted.
  16. (ASE 2020) Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu and Jianjun Zhao. Model-Based Robustness Analysis of Stateful Deep Learning Systems, The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), 21 - 25 September 2020 Melbourne, Australia. (Acceptance rate: 93/414 = 22.5%) Accepted.
  17. (ASE 2020) Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li and Chao Shen. Audee: Automated Testing for Deep Learning Frameworks, The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), 21 - 25 September 2020 Melbourne, Australia. (Acceptance rate: 93/414 = 22.5%) Accepted.
  18. (ASE 2020) Xian Zhan, Lingling Fan, Tianming Liu, Sen Chen, Li Li, Haoyu Wang, Yifei Xu, Xiapu Luo and Yang Liu. Automated Third-party Library Detection for Android Applications: Are We There Yet?, The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), 21 - 25 September 2020 Melbourne, Australia. (Acceptance rate: 93/414 = 22.5%) Accepted.
  19. (ASE 2020) David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu and Jianjun Zhao. Deep Learning Testing Calls for Out-Of-Distribution Awareness, The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), 21 - 25 September 2020 Melbourne, Australia. (Acceptance rate: 93/414 = 22.5%) Accepted.
  20. (MM 2020) Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao. DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms, The 28th ACM Multimedia 2020 (MM 2020), 12-16 October 2020 Seattle, United States. (Acceptance rate: 472/1698 = 27.8%) Accepted.
  21. (MM 2020) Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu. Amora: Black-box Adversarial Morphing Attack, The 28th ACM Multimedia 2020 (MM 2020), 12-16 October 2020 Seattle, United States. (Acceptance rate: 472/1698 = 27.8%) Accepted.
  22. (MM 2020) Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwei Li, Weikai Miao, Yang Liu, and Geguang Pu. FakePolisher: Making DeepFakes More Detection- Evasive by Shallow Reconstruction, The 28th ACM Multimedia 2020 (MM 2020), 12-16 October 2020 Seattle, United States. (Acceptance rate: 472/1698 = 27.8%) Accepted.
  23. (MM 2020) Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu. DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices, The 28th ACM Multimedia 2020 (MM 2020), 12-16 October 2020 Seattle, United States. (Acceptance rate: 472/1698 = 27.8%) Accepted
  24. (ECCV 2020) Qing Guo, Xiaofei Xie, Felix Juefei-Xu, Lei Ma, Zhongguo Li, Wanli Xue, Wei Feng and Yang Liu. SPARK: Spatial-aware Online Incremental Attack Against Visual Tracking. The 16th European Conference on Computer Vision (ECCV 2020), 23-28 August 2020. (Acceptance rate:1361/5025 = 27%) Accepted.
  25. (IJCAI 2020) Yan Zheng, Ruiming Shen, Jianye Hao, Zhaopeng Meng, Yingfeng Chen, Changjie Fan and Yang Liu. Generating Behavior-Diverse Game AIs with Evolutionary Multi-Objectives Deep Reinforcement Learning. Proceedings of the 29th International Joint Conference on Artificial Intelligence. (Acceptance rate: 592/4717 = 12.6%) Accepted.
  26. (IJCAI 2020) Run Wang, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yihao Huang, Jian Wang and Yang Liu. FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces. Proceedings of the 29th International Joint Conference on Artificial Intelligence. (Acceptance rate: 592/4717 = 12.6%) Accepted.
  27. (ISSTA 2020) Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu and Kui Ren. An Empirical Study on ARM Disassembly Tools, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Sat 18 - Wed 22 July 2020 Los Angeles, California, United States. (Acceptance rate: 43/162 = 26.5%)
  28. (ISSTA 2020) Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu and Ting Liu. Patch Based Vulnerability Matching for Binary Programs, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Sat 18 - Wed 22 July 2020 Los Angeles, California, United States. (Acceptance rate: 43/162 = 26.5%)
  29. (USENIX 2020) Hongxu Chen, Shengjian Guo, Yinxing Xue, Yuelei Sui, Cen Zhang, Yuekang Li, Haijun Wang and Yang Liu. MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs, The the 29th USENIX Security Symposium, BOSTON, MA, USA, AUGUST 12–14, 2020.
  30. (USENIX 2020) Yang Xiao, Bihuan Chen, Chendong Yu, Zhengzi Xu, Zimu Yuan, Feng Li, Binghong Liu, Yang Liu, Wei Huo, Wei Zou and Wenchang Shi. MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures, The the 29th USENIX Security Symposium, BOSTON, MA, USA, AUGUST 12–14, 2020.
  31. (USENIX 2020) Zhengzi Xu, Yulong Zhang, Longri Zheng, Liangzhao Xia, Chenfu Bao, Zhi Wang and Yang Liu. Automatic Hot Patch Generation for Android Kernels, The the 29th USENIX Security Symposium (USENIX 2020), BOSTON, MA, USA, AUGUST 12–14, 2020.
  32. (S&P 2020) Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanan, Yang Liu and Jun Sun. Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity, The 41st IEEE Symposium on Security and Privacy, San Francisco, USA, May 18-20, 2020
  33. Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou and Yang Liu. Privacy-Aware UAV Flights through Self-Configuring Motion Planning, The 2020 International Conference on Robotics and Automation (ICRA 2020), Paris, France, 31 May to 4 June 2020. (Acceptance rate: 1,483/3,512 = 42%);
  34. (ICSE 2020) Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu and Jianjun Zhao, Meng Sun. Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty, The 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, 23-29 May 2020. (Acceptance rate: 129/617=21%)
  35. (ICSE 2020) Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen and Yulei Sui. Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities, The 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, 23-29 May 2020. (Acceptance rate: 129/617=21%)
  36. (ICSE 2020) Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu and Ting Liu MemLock: Memory Usage Guided Fuzzing, The 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, 23-29 May 2020. (Acceptance rate: 129/617=21%)
  37. (ICSE 2020) Sen Chen, Lingling Fan, Guozhu Meng, Ting Su, Minhui Xue, Yinxing Xue, Yang Liu and Lihua Xu. An Empirical Assessment of Security Risks of Global Android Banking Apps, The 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, 23-29 May 2020. (Acceptance rate: 129/617=21%)
  38. (AAAI 2020) Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen and Yang Liu. Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA February 7-12, 2020. (Acceptance rate: 1591/7737=20.6%)
  39. (AAAI 2020) Jianwen Sun, Yan Zheng, Jianye Hao, Zhaopeng Meng and Yang Liu. Continuous Multiagent Control using Collective Behavior Entropy for Large-Scale Home Energy Management , Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA February 7-12, 2020. (Acceptance rate: 1591/7737=20.6%)
  40. (AAAI 2020) Huangzhao Zhang, Zhuo Li, Ge Li , Lei Ma, Yang Liu and Zhi Jin. Generating Adversarial Examples for Holding Robustness of Source Code Processing Models, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), New York, USA February 7-12, 2020. (Acceptance rate: 1591/7737=20.6%)
  41. Yaqin Zhou, Shangqing Liu, Jingkai Siow, Xiaoning Du and Yang Liu. Devign: Effective Vulnera-bility Identification by Learning Comprehensive Program Semantics via Graph Neural Networks, The Thirty-third International Conference on Neural Information Processing Systems (NeurIPS 2019), 2019. (Acceptance rate: 1428/6743=21.2%)
  42. Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao and Xiaohong Li. An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, USA on November 11-15, 2019. (Acceptance rate: 20%)
  43. Yan Zheng, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yinfeng Chen and Changjie Fan. Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, USA on November 11-15, 2019. (Acceptance rate: 20%)
  44. Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao. A Quantitative Analysis Framework for Recurrent Neural Network, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019 Tool Demo Track), San Diego, CA, USA on November 11-15, 2019. (Acceptance rate: 36/67=54%)
  45. Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu and Jianjun Zhao. DeepMutation++: a Mutation Testing Framework for Deep Learning Systems, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019 Tool Demo Track), San Diego, CA, USA on November 11-15, 2019. (Acceptance rate: 36/67=54%)
  46. Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao. DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019 Tool Demo Track), San Diego, CA, USA on November 11-15, 2019. (Acceptance rate: 36/67=54%)
  47. Yongwang Zhao, David Sanan, Fuyuan Zhang and Yang Liu, A Parametric Rely-guarantee Reasoning Framework for Concurrent Reactive Systems, 23rd International Symposium on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019. (Acceptance rate: 30%)
  48. Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao. DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2019), Tallinn, Estonia, 26-30 August 2019. (Acceptance rate: 74/303=24%)
  49. Haijun Wang, Xie Xiaofei, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu and Ting Liu. Locating Vulnerabilities in Binaries via Memory Layout Recovering. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2019), Tallinn, Estonia, 26-30 August 2019. (Acceptance rate: 74/303=24%)
  50. Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang and Yang Liu. Cerebro: Context-aware Adaptive Fuzzing for EffectiveVulnerability Detection. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2019), Tallinn, Estonia, 26-30 August 2019. (Acceptance rate: 74/303=24%)
  51. Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Yang Liu, Xiaohong Li. Deetector: Detecting Disagreements for Deep Neural Networks. 29th International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, Aug 15–19, 2019. (Acceptance rate: 850/4752 =17.9%)
  52. Xiaolu Hou, Jakub Breier, Fuyuan Zhang and Yang Liu. Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers. Conference on Cryptographic Hardware and Embedded Systems (CHES 2019), Atlanta, USA, August 25–28, 2019.
  53. Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin and Simon See. DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks, The 28th International Symposium on Software Testing and Analysis (ISSTA 2019), Beijing, China, July 15–19, 2019. (Acceptance rate: 32/134=23.8%)
  54. Chongbin Tang, Sen Chen, Lingling Fan, Lihua Xu, Yang Liu, Zhushou Tang and Liang Dou. Large-scale Empirical Study on Industrial Fake Apps, The 41st International Conference on Software Engineering (ICSE 2019), Software-Engineering-in-Practice Track (SEIP), Montreal, Canada, 25-31 May, 2019. (Acceptance rate: 30/135=22%)
  55. Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma and Yang Liu. VULTRON: Catching Vulnerable Smart Contracts Once and for All, The 41st International Conference on Software Engineering (ICSE 2019), New Ideas and Emerging Results Track (NIER), Montreal, Canada, 25-31 May, 2019. (Acceptance rate: 25/92=27%)
  56. Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu and Yu Jiang. Attack Surface Identification for Vulnerability Assessment through Program Metrics, The 41st International Conference on Software Engineering (ICSE 2019), Montreal, Canada, 25-31 May, 2019. (Acceptance rate: 109/529=21%)
  57. Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu and Lihua Xu. StoryDroid: Automated Generation of Storyboard for Android Apps, The 41st International Conference on Software Engineering (ICSE 2019), Montreal, Canada, 25-31 May, 2019. (Acceptance rate: 109/529=21%)
  58. Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang and William G.J. Halfond. ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports, The 41st International Conference on Software Engineering (ICSE 2019), Montreal, Canada, 25-31 May, 2019. (Acceptance rate: 109/529=21%)
  59. Junjie Wang, Bihuan Chen, Lei Wei and Yang Liu. Superion: Grammar-Aware Greybox Fuzzing, The 41st International Conference on Software Engineering (ICSE 2019), Montreal, Canada, 25-31 May, 2019. (Acceptance rate: 109/529=21%)
  60. Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao and Yadong Wang. DeepMutation: Mutation Testing of Deep Learning Systems, The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), October 15-18, 2018. (Acceptance rate: 23/96 = 0.24%)
  61. Hongxu Chen, Yinxing Xue, Yuekang Li, Bihuan Chen, Xiaofei Xie, Xiuheng Wu, and Yang Liu. Hawkeye: Towards a Desired Directed Grey-box Fuzzer, the 25th ACM Conference on Computer and Communications Security (CCS2018), Toronto, Canada, accepted, 2018. (Acceptance rate: 134/809 = 16.6%)
  62. Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu, and Lihua Xu, Are Mobile Banking Apps Secure? What Can be Improved?", In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE2018), Industrial Track, Lake Buena Vista, Florida, United States, 2018.
  63. Hongxu Chen, Yuekang Li, Bihuan Chen, Yinxing Xue and Yang Liu, FOT: A Versatile, Configurable, Extensible Fuzzing Framework", In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE2018), Tool Demo, Lake Buena Vista, Florida, United States, 2018.
  64. Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao and Yadong Wang. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346) ACM SIGSOFT Distinguished Paper Awards
  65. Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao. CLDIFF: Generating Concise Linked Code Differences, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346) ACM SIGSOFT Distinguished Paper Awards
  66. Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu. Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346)
  67. Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu and Geguang Pu. Efficiently Manifesting Asynchronous Programming Errors in Android Apps, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346)
  68. Fuyuan Zhang, Yongwang Zhao, David Sanan, Yang Liu, Alwen Tiu, Shang-Wei Lin and Jun Sun, Compositional Reasoning for Shared-variable Concurrent Programs, the 22nd International Symposium on Formal Methods (FM 2018), July 15-17, 2018, Oxford, UK, 2018.
  69. Hongxu Chen, Alwen Tiu, Zhiwu Xu and Yang Liu, A Permission-Dependent Type System for Secure Information Flow Analysis, The 31st IEEE Computer Security Foundations Symposium (CSF 2018), July 9-12, 2018, Oxford, UK, 2018. (Acceptance rate: 34% = 25 /72)
  70. Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu and Zhendong Su. Large-Scale Analysis of Framework-Specific Exceptions in Android Apps, The 40th International Conference on Software Engineering (ICSE 2018), 2018. (Acceptance rate: 20.9% = 105/502) ACM SIGSOFT Distinguished Paper Awards
  71. Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing and Yang Liu. From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation, The 40th International Conference on Software Engineering (ICSE 2018), 2018. (Acceptance rate: 20.9% = 105/502)
  72. Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu and Baowen Xu. Speedoo: Prioritizing Performance Optimization Opportunities, The 40th International Conference on Software Engineering (ICSE 2018), 2018. (Acceptance rate: 20.9% = 105/502)
  73. Chunyang Chen, Zhenchang Xing and Yang Liu. By the Community & For the Community: A Deep Learning Approach to Assist Collaborative Editing in Q&A Sites, The 21st ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2018), pp. 32:1-32:21, New York, USA, 2018. (Acceptance rate: 27% = 105/386)
  74. 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) ACM Distinguished Paper Award.
  75. 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)
  76. 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).
  77. 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).
  78. 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).
  79. 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).
  80. 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.
  81. 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%).
  82. 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%).
  83. 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
  84. 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.
  85. 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.
  86. 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.
  87. 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.
  88. 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..
  89. 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.
  90. 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.
  91. 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.
  92. 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.
  93. 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.
  94. 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\%).
  95. 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.
  96. 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%).
  97. 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%).
  98. 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).
  99. 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).
  100. 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)
  101. 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)
  102. 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)
  103. 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)
  104. 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)
  105. 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)
  106. 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)
  107. 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).
  108. 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).
  109. 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)
  110. 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)
  111. 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)
  112. 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)
  113. 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.
  114. 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.
  115. 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)
  116. 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.
  117. 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.
  118. 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)
  119. 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.
  120. 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.
  121. 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.
  122. 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.
  123. Sanjeev Das, Wei Zhang, Yang Liu, FPGA Based Control Flow Checking, Design Automation Conference (DAC), June 2014 (poster).
  124. 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
  125. 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).
  126. 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).
  127. 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)
  128. 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.
  129. 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).
  130. 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)
  131. 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)
  132. 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)
  133. 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).
  134. 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)
  135. 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).
  136. 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%)
  137. 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).
  138. 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).
  139. 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).
  140. 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).
  141. 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).
  142. 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).
  143. 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).
  144. 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).
  145. 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).
  146. 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).
  147. 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.
  148. 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.
  149. 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).
  150. 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).
  151. 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).
  152. 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).
  153. É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).
  154. 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).
  155. 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).
  156. 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).
  157. 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).
  158. 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)
  159. 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)
  160. 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)
  161. 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)
  162. 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)
  163. 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).
  164. 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).
  165. 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.
  166. 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).
  167. 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.
  168. 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).
  169. É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).
  170. 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)
  171. 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)
  172. 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)
  173. 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)
  174. 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)
  175. 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)
  176. 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)
  177. 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)
  178. 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)
  179. 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)
  180. 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.
  181. 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.
  182. 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.
  183. 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.
  184. 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).
  185. 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.
  186. 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).
  187. 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.
  188. 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.
  189. 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.
  190. 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.
  191. 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.
  192. 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.
  193. 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.
  194. 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.
  195. 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.
  196. 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.
  197. 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.
  198. 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.
  199. 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.
  200. 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.
  201. 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.
  202. 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.
  203. 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.
  204. 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.
  205. 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