<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <META HTTP-EQUIV="CONTENT-TYPE" CONTENT="text/html; charset=utf-8"> <META NAME="Author" CONTENT="Liu Yang"> <META NAME="Keywords" CONTENT="Liu Yang, liuyang, yang liu, PAT, Process Analysis Toolkit"> <META NAME="Description" CONTENT="Liu Yang, liuyang, yang liu, PAT, Process Analysis Toolkit"> <meta http-equiv="content-type" content="text/html; charset=utf-8" /> <title>LIU Yang's home page at NTU</title> <link href="default.css" rel="stylesheet" type="text/css" media="screen" /> </head> <body> <div id="upbg"></div> <div id="outer"> <div id="header"> <div id="headercontent"> <h1>Dr. LIU, Yang</h1> <h2>Associate Professor</h2> </div> </div> <div id="headerpic"></div> <div id="menu"> <!-- HINT: Set the class of any menu link below to "active" to make it appear active --> <ul> <li><a href="index.html">Home</a></li> <li><a href="research.html">Research</a></li> <li><a href="#" class="active">Publications</a></li> <li><a href="team.html">Research Team</a></li> <li><a href="teaching.html">Teaching</a></li> </ul> </div> <div id="menubottom"></div> <div id="content"> <!-- Normal content: Stuff that's not going to be put in the left or right column. --> <div id="normalcontent"> <h3><strong>Publication (<a href="http://scholar.google.com.sg/citations?hl=en&user=_Pvgwd0AAAAJ">Google Scholar</a>, <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Liu_0003:Yang.html" target="_blank">DBLP</a>)</strong></h3> <div class="contentarea"> Research Citations as of 2018 <UL> <LI> Total number of citations: 2800. All citation data has been collected from <a href="http://scholar.google.com.sg/citations?hl=en&user=_Pvgwd0AAAAJ">Google Scholar</a>. <li> H-index = 25. H-index is the maximum value of H such that there are H papers co-authored by me with H or more citations. </UL> </div> </div> <div class="divider1"></div> <div id="normalcontent"> <h4><strong>Book</strong></h4> <div class="contentarea"> <ol> <li class="MsoNormal"><u>Yang Liu</u>, Jun Sun and Jin Song Dong</u>, <b>Model Checking and Its Applications</b>. <i>Adaptation, Learning, and Optimization, Series Editors: Ong, Yew-Soon, Lim, Meng-Hiot, Springer</i>, (Appearing in 2013)</i> </li> </ol> </div> </div> <div class="divider1"></div> <div id="normalcontent"> <h4><strong>Book Chapter</strong></h4> <div class="contentarea"> <ol> <li class="MsoNormal">Jun Sun, <u>Yang Liu</u> and Jin Song Dong</u>, <b>Timed Automata</b>. <i>CRC Handbook of Finite State Based Models and Applications, Jiacun Wang (Editor)</i>, 2012. (Accepted)</i> </li> </ol> </div> </div> <div class="divider1"></div> <div id="normalcontent"> <h4><strong>Tutorial</strong></h4> <div class="contentarea"> <ol> <LI>Jin Song Dong, Jun Sun and <u>Yang Liu</u>, <b>Build Your Own Model Checker in One Month</b> (Half Day). <i>35th International Conference on Software Engineering (ICSE 2013)</i>, San Francisco, CA, USA, May 18th - 26th, 2013 (Accepted). <LI>Jin Song Dong, Jun Sun and <u>Yang Liu</u>, <b>Introduction to PAT</b> (Half Day). <i>The 17th International Symposium on Formal Methods (FM 2011)</i>, Lero, Limerick, Ireland, June 20 - 24, 2011. (Accepted) </ol> </div> </div> <div class="divider1"></div> <div id="normalcontent"> <h4><strong>CVE</strong></h4> <div class="contentarea"> <ol> <LI> CVE-2015-7115: libxml2 in Apple iOS / OS X xmlParseNCNameComplex Out-of-Bound Read. Wei Lei and Liu Yang <LI> CVE-2015-7116: libxml2 in Apple iOS / OS X xmlParseTryOrFinish Out-of-Bound Read. Wei Lei and Liu Yang <LI> CVE-2016-0933: Adobe Acrobat Reader DC U3D Bone Weight Modifier OOB Access Vulnerability. Mahinthan Chandramohan, Wei Lei and Liu Yang <LI> CVE-2016-3191: PCRE Regular Expression Compilation Stack Buffer Overflow RCE Vulnerability. Wei Lei, Peng Haoxiang and Liu Yang <LI> ZDI-CAN-3731: Adobe Vulnerability (ZDI-CAN-3731). Wei Lei, Sun Zhihao and Liu Yang <LI> CVE-2016-1037: Adobe Reader DC U3D Line Set Continuation OOB Access Vulnerability. Wei Lei, Wu Hongjun and Liu Yang <LI> CVE-2016-1116: Adobe Reader DC U3D e3_node OOB Access Vulnerability. Wei Lei and Liu Yang </ol> </div> </div> <div class="divider1"></div> <div id="normalcontent"> <h4><strong>Journal Articles</strong></h4> <div class="contentarea"> <ol> <li> Chenyu Wang, Bihuan Chen, <u>Yang Liu</u>, and Hongjun Wu. <b>Layered Object Oriented Programming: Advanced VTable Reuse Attacks on Binary-Level Defense</b>, <i>IEEE Transactions on Information Forensics & Security (TIFS)</i>. (Accepted). (IF 2.408). <li class="MsoNormal">Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin and Zuohua Ding. <b>A Distributed Approach to Robust Control of Multi-Robot Systems</b>. Automatica, 2018. (Impact Factor: 5.451) (Accepted) </li> <li class="MsoNormal">Jakub Breier, Xiaolu Hou and Liu Yang. <b>Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code</b>. Transactions on Cryptographic Hardware and Embedded Systems, IACR, 1 (2), 1--26, 2018. (Accepted) </li> <li class="MsoNormal">Yinxing Xue, Zhengzi Xu, Mahinthan Chandramohan, <u>Yang Liu</u> and Chia Yuan Cho. <b>Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation</b>, IEEE Transactions on Software Engineering (TSE). (Accepted) </li> <li class="MsoNormal"> Xiaofei Xie, Bihuan Chen, Liang Zou, <u>Yang Liu</u>, Wei Le and Xiaohong Li. <b>Automatic Loop Summarization via Path Dependency Analysis</b>, IEEE Transactions on Software Engineering (TSE). (Accepted) </li> <li> Sanjeev Das, Bihuan Chen, Mahintham Chandramohan, <u>Yang Liu</u>, and Wei Zhang. <b>ROPSentry: Runtime Defense against ROP Attacks using Hardware Performance Counters</b>. Computers & Security, accepted, 2017. (Impact factor: 2.849) <li> Yuan Zhou, Hesuan Hu, <u>Yang Liu</u>, Shang-Wei Lin and Zuohua Ding. <b>A Real-Time and Fully Distributed Approach to Motion Planning for Multi-Robot Systems</b>, <i>IEEE Transactions on Systems, Man, and Cybernetics: Systems (TSMC)</i>. (Accepted). (IF 1.598). <li class="MsoNormal">Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen and <u>Yang Liu</u>. <b>A Multi-view Context-aware Approach to Android Malware Detection and Malicious Code Localization</b>, Empirical Software Engineering (ESE). (Accepted) (IF 3.275) </li> <li class="MsoNormal"> Li Li, Jun Sun, <u>Yang Liu</u>, Meng Sun, and Jin Song Dong. <b>A Formal Specification and Verification Framework for Timed Security Protocols</b>, IEEE Transactions on Software Engineering (TSE). (Accepted) </li> <li class="MsoNormal"> Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila van der Merwe, Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Willem Visser. <b>Towards Model Checking Android Applications</b>, IEEE Transactions on Software Engineering (TSE). (Accepted) </li> <li>Yongwang Zhao, David Sanan, Fuyuan Zhang and <u>Yang Liu</u>. <b>Refinement-based Specification and Security Analysis of Separation Kernels</b>, <i>IEEE Transactions on Dependable and Secure Computing (TDSC)</i>. (Accepted). (IF 1.592). <a href="./publications/journal/tdsc_final.pdf"> <b>PDF Download </b></a> <li>Yuan Zhou, Hesuan Hu, <u>Yang Liu</u> and Zuohua Ding. <b>Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach</b>, <i>IEEE Transactions On Systems, Man, And Cybernetics: Systems (TSMC)</i>. (Accepted). (IF 1.598). <a href="./publications/journal/tsmc.pdf"> <b>PDF Download </b></a> <li> Yinxing Xue, Guozhu Meng, <u>Yang Liu</u>, Tian Huat Tan, Hongxu Chen, Jun Sun, and Jie Zhang. <b>Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique</b>, <i>IEEE Transactions on Information Forensics & Security (TIFS)</i>. (Accepted). (IF 2.408). <a href="./publications/journal/tifs_final.pdf"> <b>PDF Download </b></a> <li> Akin Gunay, <u>Yang Liu</u> and Jie Zhang, <b>MOCA: Modeling and Analysis of Agent Behaviors in Commitment Protocols</b>, <i>Journal of Artificial Intelligence Research (JAIR)</i>. (Accepted). (IF: 1.691) <li> Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, <u>Yang Liu</u>, Kang G. Shin, <b>Battery-Aware Mobile Data Service</b>, <i>IEEE Transactions on Mobile Computing</i>. (Accepted). (IF: 2.456) <li> Bihuan Chen, Xin Peng, <u>Yang Liu</u>, Songzheng Song, Jiahuan Zheng and Wenyun Zhao, <b>Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints</b>, <i>IEEE Transactions on Services Computing</i>. (Accepted). (IF: 2.365) <li> Yongwang Zhao, David Sanan, Fuyuan Zhang, and <u>Yang Liu</u>, <b>Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement</b>, <i>IEEE Transactions on Industrial Informatics</i>. (Accepted). (IF: 8.785) <li> Sanjeev Das, Wei Zhang, <u>Yang Liu</u>. <b>A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks Using Hardware-Enhanced Architecture for Embedded Systems</b>, <i> IEEE Transactions on Very Large Scale Integration Systems (TVLSI)</i> (Accepted). (IF 1.356). <li> Sanjeev Das, <u>Yang Liu</u>, Wei Zhang and Mahintham Chandramohan. <b>Semantics-based Online Malware Detection: Towards Efficient Real-time Protection Against Malware</b>, <i>IEEE Transactions on Information Forensics & Security</i>. (Accepted). (IF 2.408). <li> Guozhu Meng, <u>Yang Liu</u>, Jie Zhang, Alexander Pokluda and Raouf Boutaba. <b>Collaborative Security: A Survey and Taxonomy</b>, <i>ACM Computing Surveys</i>. (Accepted). (IF 4.043). <a href="csur.pdf"> <b>PDF Download </b></a> <li> Hesuan Hu, Rong Su, <u>Yang Liu</u>, and Mengchu Zhou, <b>Polynomially Complex Synthesis of Distributed Supervisor for Large Scale AMSs Using Petri Nets</b>, <i>IEEE Transactions on Control Systems Technology (TCST)</i> (Accepted) (IF: 2.524)</li> <li> Hesuan Hu and <u>Yang Liu</u>, <b>Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets</b>, <i>IEEE Transactions on Industrial Informatics</i>. (Accepted). (IF: 8.785) <li> Songzheng Song, Jianye Hao, <u>Yang Liu</u>, Jun Sun, Ho-fung Leung and Jie Zhang, <b>Improved EGT-based Robustness Analysis of Negotiation Strategies in Multi-agent Systems via Model Checking</b>, <i>IEEE Transactions on Human-Machine Systems (THMS)</i>, (Accepted) (5-yr Impact Factor: 2.428) <li class="MsoNormal"> Hesuan Hu, <u>Yang Liu</u>, and Mengchu Zhou, <b>Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled with Petri Nets</b>, <i>IEEE Transactions on Control Systems Technology (TCST)</i> (Accepted) (IF: 2.524)</li> <li class="MsoNormal"> Hesuan Hu, <u>Yang Liu</u>, and Ling Yuan, <b>Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets</b>, <i>IEEE Transactions on Control Systems Technology (TCST)</i> (Accepted) (IF: 2.524)</li> <li class="MsoNormal"> Ting Wang; Jun Sun; Xinyu Wang, <u>Yang Liu</u>, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li. <b>A Systematic Study on Explicit-state Non-Zenoness Checking for Timed Automata</b>, <i>IEEE Transactions on Software Engineering (TSE)</i>. (Accepted) </li> <li class="MsoNormal"> tienne Andr, <u>Yang Liu</u>, Jun Sun, Jin Song Dong <b> Parameter Synthesis for Hierarchical Concurrent Real-Time Systems </b>. <i>Real-Time Systems (TIME) </i> (Accepted). <li class="MsoNormal"> Yan Liu, Xian Zhang, <u>Yang Liu</u>, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari. <b> Transactions on Computational Collective Intelligence </b>. <i>Transactions on Computational Collective Intelligence (TCCI) </i> (Accepted). <li class="MsoNormal">Songzheng Song, Jiexin Zhang, <u>Yang Liu</u>, Mikhail Auguston, Jun Sun, Jin Song Dong and Tieming Chen. <b> Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix </b>. <i>Software and System Modeling (SoSyM) (impact factor 1.25) </i> (Accepted). <li class="MsoNormal">Shang-Wei Lin, tienne Andr, <u>Yang Liu</u>, Jun Sun and Jin Song Dong. <b>Learning Assumptions for Compositional Verification of Timed Systems</b>. <i> IEEE Transactions on Software Engineering (TSE). (Accepted) </i> (Accepted). <li class="MsoNormal">Hesuan Hu and <u>Yang Liu</u>. <b>Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis</b>. <i> IEEE Transactions on Automation Science and Engineering (T-ASE)</i> (Accepted). <li class="MsoNormal">Yuanjie Si, Jun Sun, <u>Yang Liu</u>, Jin Song Dong, Jun Pang, Shaojie Zhang and Xiaohu Yang. <b>Model Checking with Fairness Assumptions using PAT</b>. <i>Frontiers of Computer Science</i> (Accepted). <li class="MsoNormal">Guan Jun Liu, Jun Sun, Yang Liu and Jin Song Dong. <b>Complexity of the Soundness Problem of Bounded Workflow Nets</b>. <i>Fundamenta Informaticae</i> 2013. <li class="MsoNormal">Yi Li, Jin Song Dong, Jing Sun, <u>Yang Liu</u> and Jun Sun. <b>Model Checking Approach to Automated Planning</b>. <i>Formal Methods in System Design (FMSD)</i> (Accepted). <li class="MsoNormal">Jin Song Dong, <u>Yang Liu</u> (corresponding author), Jun Sun and Xian Zhang. <b>Towards Verification of Computation Orchestration</b>, Formal Aspects of Computing (FAOC). (Accepted) </li> <li class="MsoNormal"> <u>Yang Liu</u>, Wei Chen, Yanghong A. Liu, S.J. Zhang, J. Sun and Jin Song Dong. <b>Verifying Linearizability via Optimized Refinement Checking</b>, IEEE Transactions on Software Engineering (TSE). (Accepted) </li> <!-- <li class="MsoNormal"> Jun. Sun, <u>Yang Liu</u>, Abhik. Roychoudhury, ShanShan Liu and Jin Song Dong. <b>Model Checking Parameterized Systems with Counter Abstraction and Fairness</b>, IEEE Transactions on Software Engineering (TSE). (Accepted) </li> --> <li class="MsoNormal">Chunqing Chen, Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Manchun Zheng, <b>Formal Modeling and Validation of Stateflow Diagrams</b>. <i> The International Journal on Software Tools for Technology Transfer (STTT)</i>, Volume 14, Issue 6, Page 653-671, 2012.</i> </li> <li class="MsoNormal">Jun Sun, <u>Yang Liu</u>, Jin Song Dong, Yan Liu, Ling Shi and Etienne Andre, <b>Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP</b>. <i>ACM Transactions on Software Engineering and Methodology (TOSEM)</i>, 2012. (Accepted) </i> </li> <li class="MsoNormal">Luu Anh Tuan, Jun Sun, <u>Yang Liu</u>, Jin Song Dong, Xiaohong Li, and Quan Thanh Tho. <b>SEVE: Automatic Tool for Verification of Security Protocols</b>, <i>Frontiers of Computer Science, Special Issue on Formal Engineering Method</i>, 6(1):57-75, 2012. </i> </li> <li class="MsoNormal">Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Jing Sun</u>, <b>Compositional Encoding for Bounded Model Checking</b>. <i>Frontiers of Computer Science</i>, Nov, 2008. </i> </li> <li class="MsoNormal"><u>Yang Liu</u> and Jun Sun, <b>Algorithmic Design Using Object-Z for Twig XML Queries Evaluation</b>. <i>Electronic Notes in Theoretical Computer Science</i>, vol 151, issue 2, pp. 107-124, May, 2006. An early version appeared at <i>International Workshop on Web Languages and Formal Methods (WLFM'05).</i> </li> </ol> </div> </div> <div class="divider1"></div> <div id="normalcontent"> <h4><strong>Conference Papers</strong></h4> <div class="contentarea"> <ol> <li class="MsoNormal">Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, <u>Yang Liu</u>, Jianjun Zhao and Yadong Wang. <b>DeepMutation: Mutation Testing of Deep Learning Systems</b>, The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), October 15-18, 2018. (Acceptance rate: 23/96 = 0.24%) <li class="MsoNormal">Hongxu Chen, Yinxing Xue, Yuekang Li, Bihuan Chen, Xiaofei Xie, Xiuheng Wu, and <u>Yang Liu</u>. <b>Hawkeye: Towards a Desired Directed Grey-box Fuzzer</b>, the 25th ACM Conference on Computer and Communications Security (CCS2018), Toronto, Canada, accepted, 2018. (Acceptance rate: 134/809 = 16.6%) <li class="MsoNormal">Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, <u>Yang Liu</u>, and Lihua Xu, <b>Are Mobile Banking Apps Secure? What Can be Improved?"</b>, 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. <li class="MsoNormal">Hongxu Chen, Yuekang Li, Bihuan Chen, Yinxing Xue and <u>Yang Liu</u>, <b>FOT: A Versatile, Configurable, Extensible Fuzzing Framework"</b>, 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. <li class="MsoNormal">Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, <u>Yang Liu</u>, Lihua Xu and Geguang Pu. <b>Efficiently Manifesting Asynchronous Programming Errors in Android Apps</b>, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346) <li class="MsoNormal">Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, <u>Yang Liu</u>, and Wenyun Zhao. <b>CLDIFF: Generating Concise Linked Code Differences</b>, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346) </li> <li class="MsoNormal">Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and <u>Yang Liu</u>. <b>Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions</b>, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346) </li> <li class="MsoNormal">Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, <u>Yang Liu</u>, Jianjun Zhao and Yadong Wang. <b>DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems</b>, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France 3 to 7 September, 2018. (Acceptance rate: 24% = 83 /346)</li> <li class="MsoNormal">Fuyuan Zhang, Yongwang Zhao, David Sanan, <u>Yang Liu</u>, Alwen Tiu, Shang-Wei Lin and Jun Sun, <b>Compositional Reasoning for Shared-variable Concurrent Programs</b>, the 22nd International Symposium on Formal Methods (FM 2018), July 15-17, 2018, Oxford, UK, 2018.</li> <li class="MsoNormal">Hongxu Chen, Alwen Tiu, Zhiwu Xu and <u>Yang Liu</u>, <b>A Permission-Dependent Type System for Secure Information Flow Analysis</b>, The 31st IEEE Computer Security Foundations Symposium (CSF 2018), July 9-12, 2018, Oxford, UK, 2018. (Acceptance rate: 34% = 25 /72)</li> <li class="MsoNormal"> Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, <u>Yang Liu</u>, Lihua Xu, Geguang Pu and Zhendong Su. <b>Large-Scale Analysis of Framework-Specific Exceptions in Android Apps</b>, The 40th International Conference on Software Engineering (ICSE 2018), 2018. (Acceptance rate: 20.9% = 105/502) <a href="http://ase2018.com"><FONT SIZE="" COLOR="#FF0000">ACM SIGSOFT Distinguished Paper Awards</font></a></li> <li class="MsoNormal"> Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing and <u>Yang Liu</u>. <b>From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation</b>, The 40th International Conference on Software Engineering (ICSE 2018), 2018. (Acceptance rate: 20.9% = 105/502)</li> <li class="MsoNormal"> Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, <u>Yang Liu</u> and Baowen Xu. <b>Speedoo: Prioritizing Performance Optimization Opportunities</b>, The 40th International Conference on Software Engineering (ICSE 2018), 2018. (Acceptance rate: 20.9% = 105/502)</li> <li class="MsoNormal"> Chunyang Chen, Zhenchang Xing and <u>Yang Liu</u>. <b>By the Community & For the Community: A Deep Learning Approach to Assist Collaborative Editing in Q&A Sites</b>, 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)</li> <li class="MsoNormal"> Shang-Wei Lin, Jun Sun, Hao Xiao, <u>Yang Liu</u>, David Sanan and Henri Hansen: <b>FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers</b>, 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) <FONT SIZE="" COLOR="#FF0000">ACM Distinguished Paper Award</FONT>.</li> <li class="MsoNormal"> Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, <u>Yang Liu</u>, Wenyun Zhao and Jinsong Dong: <b>Mining Implicit Design Templates for Actionable Code Reuse</b>, 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) </li> <li> Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, <u>Yang Liu</u> and Zhendong Su. <b> Guided, Stochastic Model-Based GUI Testing of Android Apps</b>, <i>ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), </i>, Paderborn, Germany. 2017. (Acceptance rate: 24%=72/295). <li> Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, <u>Yang Liu</u> and Alwen Tiu. <b>Steelix: Program-State Based Binary Fuzzing</b>, <i>ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), </i>, Paderborn, Germany. 2017. (Acceptance rate: 24%=72/295). <li>Xie Xiaofei, Bihuan Chen, Liang Zou, Shang-Wei Lin, <u>Yang Liu</u> and Xiaohong Li. <b> Loopster: Static Loop Termination Analysis</b>, <i>ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), </i>, Paderborn, Germany. 2017. (Acceptance rate: 24%=72/295). <li>Junjie Wang, Bihuan Chen, Lei Wei, and <u>Yang Liu</u>. <b> Skyfire: Data-Driven Seed Generation for Fuzzing</b>, <i>38th IEEE Symposium on Security and Privacy (S&P 2017)</i>, MAY 22-24, SAN JOSE, CA, 2017. (Acceptance rate: 13.3%=60/450). <li>Wenjian He, Sanjeev Das, Wei Zhang, and <u>Yang Liu</u>. <b> No-Jump-into-Basic-Block: Enforce Basic Block CFI on the Fly for Real-world Binaries</b>, <i>IEEE/ACM Design Automation Conference (DAC), 2017.</i>, June Austin, Texas, 2017. <li>Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, <u>Yang Liu</u> and Fu Song. <b> SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills</b>, <i>The 39th International Conference on Software Engineering (ICSE 2017)</i>, Buenos Aires, Argentina, May 20-28, 2017. (Acceptance rate: 16%). <li>Yun Lin, Jun Sun, Yinxing Xue, <u>Yang Liu</u> and Jinsong Dong. <b> Feedback-Based Debugging</b>, <i>The 39th International Conference on Software Engineering (ICSE 2017)</i>, Buenos Aires, Argentina, May 20-28, 2017. (Acceptance rate: 16%). <li>David Sanan, <u>Yang Liu</u>, Zhe Hou, Yongwang Zhao, Fuyuan Zhang and Alwen Tiu. <b> CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarantee </b>, <i>23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)</i>, Uppsala, Sweden, 22-29 April 2017. <a href="http://www.ntu.edu.sg/home/yangliu/publications/conference/Tacas17CSimpl.pdf">Paper</a> <li> Xiaofei Xie, Bihuan Chen, <u>Yang Liu</u>, Wei Le and Xiaohong Li. <b>Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis</b>, <i>ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) </i>, Seattle, WA, USA. November 13-18, 2016. <FONT SIZE="" COLOR="#FF0000">SIGSOFT Distinguished Paper Award</FONT>. <li> Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, <u>Yang Liu</u>, Chia Yuan Cho and Hee Beng Kuan Tan. <b>BinGo: Cross-Architecture Cross-OS Binary Search</b>, <i>ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) </i>, Seattle, WA, USA. November 13-18, 2016. <li> Zhe Hou, David Sanan, Alwen Tiu, <u>Yang Liu</u> and Koh Chuen Hoa <b>An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor</b>, <i>21st International Symposium on Formal Methods (FM 2016)</i>, 7-11 November 2016. <li> Tim Muller, <u>Yang Liu</u> and Jie Zhang. <b>Limitations on Robust Ratings and Predictions</b>, <i>10th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2016) </i>, July 18-22, Darmstadt, Germany. <li> Tim Muller, Dongxia Wang, Jie Zhang and <u>Yang Liu</u>. <b>How to Use Information Theory to Mitigate Unfair Rating Attacks</b>, <i>10th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2016) </i>, July 18-22, Darmstadt, Germany. <FONT SIZE="" COLOR="#FF0000">Best Paper Awards.</FONT>. <li> Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, <u>Yang Liu</u>, Manman Chen and Jin Song Dong, <b>Making Use of Simulation Techniques in Verifying Timed System</b>, The 18th International Conference On Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, 14-18 November 2016. <li> Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, <u>Yang Liu</u>, Jing Sun and Jin Song Dong, <b>Service Adaptation with Probabilistic Partial Models</b>, The 18th International Conference On Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, 14-18 November 2016. <li> Guozhu Meng, Yinxing Xue, Zhengzi Xu, <u>Yang Liu</u>, Jie Zhang and Annamalai Narayanan, <b>Semantic Modelling of Android Malware for Effective Malware Comprehension, Detection and Classification</b>, <i>The International Symposium in Software Testing and Analysis (ISSTA 2016) </i>, University, Saarbrcken, Germany on July 18 20, 2016. <li> Annamalai Narayanan, Guozhu Meng, <u>Yang Liu</u>, Jinliang Liu and Lihui Chen, <b> Contextual Weisfeiler- Lehman Graph Kernel For Malware Detection</b>, <i>2016 International Joint Conference on Neural Networks (IJCNN 2016)</i>, July, Vancouver, Canada 2016. <li> Annamalai Narayanan, <u>Yang Liu</u>, Lihui Chen and Jinliang Liu, <b> Adaptive and Scalable Android Malware Detection through Online Learning</b>, <i>2016 International Joint Conference on Neural Networks (IJCNN 2016) </i>, July, Vancouver, Canada 2016. <li>Guozhu Meng, Yinxing Xue, Chandramohan Mahinthan, Annamalai Narayanan, <u>Yang Liu</u>, Jie Zhang and Tieming Chen <b>Mystique: Evolving Android Malware for Auditing Anti-Malware Tools</b>, <i>2016 ACM Asia Conference on Computer and Communications Security (ASIACCS 2016)</i>, May, Xi'an, China, 2016. (Acceptance rate: 73/350=20.9\%). <li> Sanjeev Das, Hao Xiao, <u>Yang Liu</u>, Wei Zhang. <b> Online Malware Defense Using Attack Behavior Model </b> <i> IEEE Int'l Symposium on Circuits & Systems (ISCAS 2016)</i>, Montreal, Canada, May 22-26, 2016. <li> Bihuan Chen, <u>Yang Liu</u>, Wei Le. <b> Generating Performance Distributions via Probabilistic Symbolic Execution</b>, <i>The 38th International Conference on Software Engineering (ICSE 2016)</i>, Austin, TX, May 14th - 22nd, 2016. (Acceptance rate: 19%). <li> Tian Huat Tan, Manman Chen, Jun Sun, <u>Yang Liu</u>, tienne Andr, Yinxing Xue and Jin Song Dong. <b> Optimizing Selection of Competing Services with Probabilistic Hierarchical Refinement</b>, <i> The 38th International Conference on Software Engineering (ICSE 2016)</i>, Austin, TX, May 14th - 22nd, 2016. (Acceptance rate: 19%). <li> Yongwang Zhao, David Sanan, Fuyuan Zhang and <u>Yang Liu</u>. <b> Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication</b>, <i> 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016)</i>, 2-8 April 2016, Eindhoven, The Netherlands. (Acceptance rate: 45/157). <li>Dongxia Wang, Tim Muller, Jie Zhang and <u>Yang Liu</u>. <b> Is it Harmful when Advisors only Pretend to be Honest? </b>, <i>30th AAAI Conference on Artificial Intelligence (AAAI)</i>, 2016 (26% of acceptance, 549/2132). <li> Shang-Wei Lin, Truong Khanh Nguyen, Jun Sun, <u>Yang Liu</u>, Jin Song Dong. <b> Interpolation Guided Compositional Verification </b>, <i>30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)</i>,November 9 13, 2015 Lincoln, Nebraska, USA. (Accepted). (20.8%=60 out of 289) <li> Jun Sun, Hao Xiao, <u>Yang Liu</u>, Shang-Wei Lin and Shengchao Qin. <b> TLV: Abstraction through Testing, Learning and Validation </b>, <i>ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)</i>, Bergamo, Italy. August 2015. (Accepted). (25.4%=74 out of 291) <li> Dongxia Wang, Tim Muller, Jie Zhang and <u>Yang Liu</u>. <b> Quantifying Robustness of Trust Systems Against Collusive Unfair Rating Attacks Using Information Theory</b>, <i>25th International Joint Conference on Artificial Intelligence (IJCAI)</i>, Buenos Aires, Argentina, 25 to 31 July, 2015. (Accepted). (28.8 %=575 /1996) <li> Lin Gui, Jun Sun, <u>Yang Liu</u> and Jin Song Dong, <b> Reliability Assessment for Distributed Systems Via Communication Abstraction and Refinement </b>, <i>International Symposium on Software Testing and Analysis (ISSTA)</i>, Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117) <li>Yinxing Xue, Junjie Wang, <u>Yang Liu</u>, Hao Xiao, Jun Sun and Mahinthan Chandramohan, <b> JS*: Detection and Classication of Malicious JavaScript via Attack Behavior Modelling</b>, <i>International Symposium on Software Testing and Analysis (ISSTA)</i>, Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117) <li>Xiaofei Xie, <u>Yang Liu</u>, Wei Le, Xiaohong Li and Hongxu Chen, <b> S-Looper: Automatic Summarization for Multipath String Loops</b>, <i>International Symposium on Software Testing and Analysis (ISSTA)</i>, Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117) <li>Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, <u>Yang Liu</u> and Jin Song Dong, <b> Optimizing Selection of Competing Features via Feedback-directed Evolutionary Algorithms </b>, <i>International Symposium on Software Testing and Analysis (ISSTA)</i>, Baltimore, Maryland on July 12-17, 2015. (Accepted). (27.7%=33/117) <li>Xiaoning Du, <u>Yang Liu</u> and Alwen Tiu, <b>Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL</b>, <i>The 20th International Symposium on Formal Methods (FM)</i>, 22 26. June, 2015. (Accepted). <li> Li Li, Jun Sun, <u>Yang Liu</u>, and Jin Song Dong, <b>Verifying Parameterized Timed Security Protocols</b>, <i>The 20th International Symposium on Formal Methods (FM)</i>, 22 26. June, 2015. (Accepted). <li> Dongxia Wang, Tim Muller, Athirai A. Irissappane, Jie Zhang and <u>Yang Liu</u>, <b>Using Information Theory to Improve the Robustness of Trust Systems</b>, <i>14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)</i>, 2015 (24.9% of acceptance, 167/670) <li> Tim Muller, <u>Yang Liu</u> and Jie Zhang, <b>The Fallacy of Endogenous Discounting of Trust Recommendations</b>, <i>14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)</i>, 2015 (24.9% of acceptance, 167/670) <li> Junjie Wang, Yinxing Xue, <u>Yang Liu</u> and Tianhuat Tan. <b>JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification</b>, <i>In Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security (AsiaCCS 2015)</i>, 14-17 April 2015, Singapore. (acceptance rate of ?/269) <li> Akin Gunay, Songzheng Song, <u>Yang Liu</u> and Jie Zhang, <b>Automated Analysis of Commitment Protocols using Probabilistic Model Checking</b>, <i>In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015)</i>, Austin Texas, USA, January 25 29, 2015. (acceptance rate of 26.67% =531/1991) <li>Lin Gui, Jun Sun, <u>Yang Liu</u>, Truong Khanh Nguyen, and Jin Song Dong. <b>RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems</b>. <i>The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)</i>, November 16 and November 21, Hong Kong, 2014. <li> Dongxia Wang, Tim Muller, <u>Yang Liu</u> and Jie Zhang. <b>Towards Robust and Effective Trust Management for Security: A Survey</b>. <i>The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14)</i>, 24 - 26 Sep, Beijing, China, 2014. <li> Jin Song Dong, Jun Sun,<u>Yang Liu</u>, Yuan-Fang Li. <b>Event Analytics</b>, <i> the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC)</i>, pp 17-24, 17-19 of September, 2014. (invited paper) <li> Shuang Liu, Jun Sun, <u>Yang Liu</u>, Yue Zhang, Bimlesh, Jin Song Dong and Xinyu Wang. <b>Automated Early Defects Detection in Use Case Documents</b>. <i>29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) NEW IDEAS TRACK </i>, Vsters, Sweden, September 15 - 19, 2014. <li> Dinh-Thuan Le, Huu Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Tho Quan, tienne Andr, Laure Petrucci and <u>Yang Liu</u>. <b>PeCAn: Compositional Verification of Petri Nets Made Easy</b>. <i>The 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014) Tool Paper</i>, Sydney, November 3-7, 2014. <li> Yun Lin, Zhenchang Xing, Xin Peng, <u>Yang Liu</u>, Wenyun Zhao, Jun Sun and Jinsong Dong. <b>Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance</b>. <i>The 30thIEEE International Conference on Software Maintenance and Evolution (ICSME 2014)</i>, in Victoria, CANADA September 28 - October 3, 2014. (40 out of 210, 19% acceptance rate) <li> Zhimin Wu, <u>Yang Liu</u>, Yun Liang, and Jun Sun. <b>GPU Accelerated Dynamic Counterexample Generation in LTL Model Checking</b>. <i>The 16th International Conference On Formal Engineering Methods (ICFEM 2014)</i>, 3 - 7 Nov, Luxembourg, 2014. <!-- <li> Li Li, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>TAuth: Verifying Timed Security Protocols</b>. <i>The 16th International Conference On Formal Engineering Methods (ICFEM 2014)</i>, 3 - 7 Nov, Luxembourg, 2014. <li> Li Li, Hong Hu, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>Practical Analysis Framework for Software-based Attestation Scheme</b>. <i>The 16th International Conference On Formal Engineering Methods (ICFEM 2014)</i>, 3 - 7 Nov, Luxembourg, 2014. --> <li> Lin Gui, Jun Sun, Songzheng Song, <u>Yang Liu</u> and Jin Song Dong. <b>SCC-based Improved Reachability Analysis for Markov Decision Processes</b>. <i>The 16th International Conference On Formal Engineering Methods (ICFEM 2014)</i>, 3 - 7 Nov, Luxembourg, 2014. <li> Hesuan Hu, <u>Yang Liu</u>. <b>A Comparative Approach to Supervisor Simplification in Automated Manufacturing Systems Using Petri Nets</b>. <i>IEEE International Conference on Automation Science and Engineering (CASE 2014) </i>, August 18-22, 2014, Taipei, Taiwan, 2014. <li> Hesuan Hu, <u>Yang Liu</u>. <b>Simplifying Supervisory Controllers of Automated Manufacturing Systems via Petri Net Modeling and Multiset Analysis</b>. <i>IEEE International Conference on Automation Science and Engineering (CASE 2014) </i>, August 18-22, 2014, Taipei, Taiwan, 2014. <li> Sanjeev Das, Wei Zhang, <u>Yang Liu</u>, <b>FPGA Based Control Flow Checking</b>, <i>Design Automation Conference (DAC)</i>, June 2014 (poster). <li> Sanjeev Das, Wei Zhang, <u>Yang Liu</u>, <b>Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking</b>, <i>Proc. of IEEE Computer Society Annual Symposium on VLSI (ISVLSI)</i>, July, 2014 <li> Henri Hansen, Shang-Wei Lin, <u>Yang Liu</u>, Truong Khanh Nguyen and Jun Sun. <b>Diamonds are a Girl's Best Friend: Partial Order Reduction for Timed Automata With Abstractions</b>. <i>International Conference on Computer Aided Verification (CAV'14)</i>. Vienna, Austria. 2014. (Accepted). <li> Li Li, Jun Pang, <u>Yang Liu</u>, Jun Sun and Jin Song Dong <b>Symbolic Analysis of an Electric Vehicle Charging Protocol</b>. <i> The 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)</i>. TianJin, China, 2014. (Accepted). <li> Tim Muller and <u>Yang Liu</u> and Sjouke Mauw and Jie Zhang. <b>On Robustness of Trust Systems</b>, <i>The 8th IFIP WG 11.11 International Conference on Trust Management</i>, Singapore, July 2014. (Accepted) <li> Yan Liu, Lin Gui and <u>Yang Liu</u>. <b>MDP-based Reliability Analysis of an Ambient Assisted Living System</b>, <i>The 19th International Symposium on Formal Methods (FM 2014) Industry Track</i>, Singapore, May 2014. <li> Songzheng Song, <u>Yang Liu</u>, Jie Zhang and Jun Sun. <b>An Extensive Model Checking Framework for Multi-agent Systems</b>, <i>The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)</i>, Paris, France, May 5-9, 2014. (Accepted). <li> <u>Yang Liu</u>, Yi Xu, Shaojie Zhang and Chengzheng Sun. <b>Formal Verification of Operational Transformation</b>, <i>The 19th International Symposium on Formal Methods (FM 2014)</i>, Singapore, May 2014. (38 out of 135, 28% acceptance rate) <li> Guangdong Bai, Jianan Hao, Jianliang Wu, <u>Yang Liu</u>, Zhenkai Liang and Andrew Martin. <b>TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms</b>, <i>The 19th International Symposium on Formal Methods (FM 2014)</i>, Singapore, May 2014. (38 out of 135, 28% acceptance rate) <li> Yun Lin, Zhenchang Xing, Yinxing Xue, <u>Yang Liu</u>, Xin Peng, Jun Sun and Wenyun Zhao. <b>Detecting and Summarizing Differences across Multiple Instances of Code Clones</b>, <i>36th International Conference on Software Engineering (ICSE 2014)</i>, Hyderabad. India. May 31-June 7, 2014. (99 out of 495, 20% acceptance rate) <li> Manman Chen, Tian Huat Tan, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>VeriWS: A Tool for Verification of Combined Functional and Non-functional Requirements of Web Service Composition</b>, <i>36th International Conference on Software Engineering (ICSE 2014)</i>, Hyderabad. India. May 31-June 7, 2014. (15/41=36.5% acceptance rate). <li>Hesuan Hu and <u>Yang Liu</u>. <b>Distributed Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets</b>, <i> the IEEE International Conference on Robotics and Automation (ICRA 2014) </i>, May 31 - June 5, 2014, Hong Kong China. (Accepted) <li> Tian Huat Tan, Manman Chen, tienne Andr, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>Automated Runtime Recovery for QoS-based Service Composition</b>. <i> The 23rd International World Wide Web Conference (WWW 2014)</i>. April 7-11, 2014 / Seoul, Korea (Accepted) (12.9% acceptance rate). <li> Ting Wang, Jun Sun, <u>Yang Liu</u>, Xinyu Wang and Shanping Li. <b>Language Inclusion Checking for Timed Automata</b>. <i> 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) </i>, 5-13 April 2014, Grenoble, France (Accepted). (26 out of 117 research papers: 22.2%) <li> Xuan-Linh Ha, Thanh-Tho Quan, <u>Yang Liu</u> and Jun Sun. <b>Multi-core Algorithms for LTL Verification</b>. <i> The 20th Asia-Pacific Software Engineering Conference (APSEC 2013) </i>, 2-5 December 2013, Bangkok, Thailand (Accepted). <li> Shaojie Zhang, Jun Sun, Chengnian Sun, <u>Yang Liu</u>, Junwei Ma and Jin Song Dong <b>Constraint-based Automatic Symmetry Detection</b>. <i> The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) </i>, Palo Alto, California, USA. November 11 - 15, 2013 (Accepted). <li> Yongzheng Wu, Jun Sun, <u>Yang Liu</u>, and Jin Song Dong. <b>Automatically Partition Software into Least Privilege Components Using Dynamic Data Dependency Analysis</b>. <i> The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) </i>, Palo Alto, California, USA. November 11 - 15, 2013 (Accepted). <li> Hao Xiao, Jun Sun, <u>Yang Liu</u>, Shang-Wei Lin and Chengnian Sun <b>TzuYu: Learning Stateful Typestates</b>. <i> The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) </i>, Palo Alto, California, USA. November 11 - 15, 2013 (Accepted). <li> Shuang Liu, <u>Yang Liu</u>, Jun Sun, Manchun Zheng, Bimlesh Wadhwa and Jin Song Dong <b>USMMC: A Self-Contained Model Checker for UML State Machines</b>. <i> The 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2013) </i>, August 21 23, 2013, Saint Petersburg, Russia. (Accepted). <li> Jianan Hao, <u>Yang Liu</u>, Wentong Cai, Guangdong Bai and Jun Sun. <b>vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems</b>. <i> 15th International Conference on Formal Engineering Methods (ICFEM 2013) </i>, Oct 29 - Nov 1, Queenstown, New Zealand. (Accepted). <li> Yuanjie Si, Jun Sun, <u>Yang Liu</u> and Ting Wang. <b>Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction</b>. <i> 15th International Conference on Formal Engineering Methods (ICFEM 2013) </i>, Oct 29 - Nov 1, Queenstown, New Zealand. (Accepted). <li> Manman Chen, Tian Huat Tan, Jun Sun <u>Yang Liu</u> and Jun Pang <b>Verification of Functional and Non-functional Requirements of Web Service Composition</b>. <i> 15th International Conference on Formal Engineering Methods (ICFEM 2013) </i>, Oct 29 - Nov 1, Queenstown, New Zealand. (Accepted). <li> Ling Shi, Yongxin Zhao, <u>Yang Liu</u>, Jun Sun, Jin Song Dong and Shengchao Qin <b>A UTP Semantics for Communicating Processes with Shared Variables</b>. <i> 15th International Conference on Formal Engineering Methods (ICFEM 2013) </i>, Oct 29 - Nov 1, Queenstown, New Zealand. (Accepted). <li> Kun Ji, <u>Yang Liu</u>, Shang-Wei Lin, Jun Sun, Jin Song Dong and Truong Khanh Nguyen <b>CELL: A Compositional Verification Framework</b>. <i> The 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) </i>, October 15 - 18, 2013, Hanoi, Vietnam. (Accepted). <li> Hesuan Hu, Mengchu Zhou, and <u>Yang Liu</u>. <b>Supervisor Synthesis and Performance Improvement in Automated Manufacturing Systems Using Petri Nets</b>. <i>IEEE International Conference on Automation Science and Engineering (CASE 2013)</i>, pp. 1163-1168, Wisconsin, USA, August 2013. <li> Hesuan Hu, Mengchu Zhou, and <u>Yang Liu</u>. <b>Maximally Permissive Distributed Control of Petri Net Modeling Automated Manufacturing Systems</b>, <i>IEEE International Conference on Automation Science and Engineering (CASE 2013)</i>, pp. 1151-1156, Wisconsin, USA, August 2013. <li> Lin Gui, Jun Sun, <u>Yang Liu</u>, Yuanjie Si, Jinsong Dong and Xinyu Wang <b>Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution</b>. <i> The International Symposium in Software Testing and Analysis (ISSTA 2013) </i>, Lugano, Switzerland, 15-20 July 2013. (Accepted). <li> Kiran Adhikari, James Street, Chao Wang, <u>Yang Liu</u> and Shaojie Zhang <b>Verifying a Quantitative Relaxation of Linearizability via Refinement</b>. <i> The International SPIN Symposium on Model Checking of Software (SPIN 2013) </i>, Stony Brook, NY, USA, 8-9 July 2013. (Accepted). <li> Shuang Liu, <u>Yang Liu</u>, tienne Andr, Christine Choppy, Jun Sun, Bimlesh Wadhwa and Jin Song Dong. <b>A Formal Semantics for the Complete Syntax of UML State Machines with Communications</b> <i>10th International Conference on integrated Formal Methods (iFM 2013)</i>, June 10 - 14, Turku, Finland, 2013. (Accepted). <li> Songzheng Song, Lin Gui, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>Speed Up Verification in DTMC via Divide and Conquer</b> <i>10th International Conference on integrated Formal Methods (iFM 2013)</i>, June 10 - 14, Turku, Finland, 2013. (Accepted). <li> tienne Andr, <u>Yang Liu</u>, Jun Sun, Jin Song Dong and Shang-Wei Lin. <b>PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems</b> <i>the 25th International Conference on Computer Aided Verification (CAV 2013)</i>, Saint Petersburg, Russia, July 13 19, 2013. (Accepted). <li> Guangdong Bai, Guozhu Meng, Jike Lei, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, <U>Yang Liu</U> and Jinsong Dong. <b>AuthScan: Automatic Extraction of Web Authentication Protocols From Implementations</b> <i>the 20th Annual Network and Distributed System Security Symposium (NDSS 2013)</i>, San Diego, CA United States, 24-27 February 2013. (Accepted). <li>Tian Huat Tan, Etienne Andre, Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Manman Chen. <b>Dynamic Synthesis of Local Time Requirement for Service Composition</b>. <i>35th International Conference on Software Engineering (ICSE 2013)</i>, San Francisco, CA, USA, May 18th - 26th, 2013 (Accepted). <li>Manchun Zheng, David Sann, Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Yu Gu. <b>State Space Reduction for Sensor Networks using Two-level Partial Order Reduction</b>. <i>The 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2013)</i>, Rome, Italy January 20-22, 2013 (Accepted). <li>Jiexin Zhang, <u>Yang Liu</u>, Jing Sun, Jin Song Dong and Jun Sun. <b>Model Checking Software Architecture Design</b>. <i>The 14th International Symposium on High-Assurance Systems Engineering (HASE 2012)</i>, Omaha, USA, October 25 -27, 2012 (Accepted). <li>Jiexin Zhang, <u>Yang Liu</u>, Mikhail Auguston, Jun Sun and Jin Song Dong. <b>Using Monterey Phoenix to Formalize and Verify System Architectures</b>. <i>The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)</i>, Hong Kong, China, 4 7 December 2012. (Accepted) <li>Ting Wang, Songzheng Song, Jun Sun, <u>Yang Liu</u>, Jin Song Dong, Xinyu Wang and Shanping Li. <b>More Anti-Chain Based Refinement Checking</b>. <i>The 14th International Conference on Formal Engineering Methods (ICFEM 2012)</i>, Kyoto, Japan, November 12 - 16, 2012. (Accepted) <li>Shang-Wei Lin, <u>Yang Liu</u>, Pao-Ann Hsiung, Jun Sun and Jin Song Dong. <b>Automatic Generation of Provably Correct Embedded Systems</b>. <i>The 14th International Conference on Formal Engineering Methods (ICFEM 2012)</i>, Kyoto, Japan, November 12 - 16, 2012. (Accepted) <li>Ling Shi, <u>Yang Liu</u>, Jun Sun, Jin Song Dong and Gustavo Carvalho. <b>An Analytical and Experimental Comparison of CSP Extensions and Tools</b>. <i>The 14th International Conference on Formal Engineering Methods (ICFEM 2012)</i>, Kyoto, Japan, November 12 - 16, 2012. (Accepted) <li>Truong Khanh Nguyen, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>Symbolic Model-Checking of Stateful Timed CSP using BDD and Digitization</b>. <i>The 14th International Conference on Formal Engineering Methods (ICFEM 2012)</i>, Kyoto, Japan, November 12 - 16, 2012. (Accepted) <li>Yi Li, Jing Sun, Jin Song Dong, <u>Yang Liu</u> and Jun Sun. <b>Planning as Model Checking Tasks</b>. <i>35th Annual IEEE Software Engineering Workshop (SEW-35)</i>, Heraclion, Crete, Greece, Oct 12 - 13, 2012 (Accepted). <li>Jianye Hao, Songzheng Song, <u>Yang Liu</u>, Jun Sun, Jin Song Dong and Ho-Fung Leung <b>Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction</b>. <i> The 15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2012)</i>. Kuching, Sarawak, Malaysia, September 3 - 7, 2012. (Accepted). <li>Shang-Wei Lin, <u>Yang Liu</u>, Jun Sun, Jin Song Dong and Etienne Andre. <b>Automatic Compositional Verification of Timed Systems</b>. <i>The 18th International Symposium on Formal Methods (FM 2012)</i>, Paris, France, Auguest 27 - 31, pages 272-276, 2012. <li>Truong Khanh Nguyen, Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Yan Liu. <b>Improved BDD-based Discrete Analysis of Timed Systems</b>. <i>The 18th International Symposium on Formal Methods (FM 2012)</i>, Paris, France, Auguest 27 - 31, 2012 (Accepted). <li>Yan Liu, Xian Zhang, <u>Yang Liu</u>, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari. <b>Formal Analysis of Pervasive Computing Systems</b>. <i>The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)</i>, Paris, France, July 18 - 20, 2012 (Accepted). <B><FONT SIZE="" COLOR="#FF0000">Best Paper Awards.</FONT></B> <li>Yi Li, Jing Sun, Jin Song Dong and <u>Yang Liu</u>. <b>Translating PDDL into CSP# - the PAT Approach</b>. <i>The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)</i>, Paris, France, July 18 - 20, 2012 (Accepted). <li>tienne Andr, <u>Yang Liu</u>, Jun Sun and Jin Song Dong. <b>Parameter Synthesis for Hierarchical Concurrent Real-Time Systems</b>. <i>The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)</i>, Paris, France, July 18 - 20, 2012 (Accepted). <li>Songzheng Song, Jun Sun, <u>Yang Liu</u>, and Jin Song Dong. <b>A Model Checker for Hierarchical Probabilistic Real-time Systems</b>. <i>24th International Conference on Computer Aided Verification (CAV 2012)</i>, Berkeley, California, USA, July 7-13, 2012. (Accepted) <li>GuanJun Liu, Jun Sun, <u>Yang Liu</u>, and Jin Song Dong. <b>Complexity of the Soundness Problem of Bounded Workflow Nets</b>. <i>The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (PN 2012)</i>, Hamburg, Germany, June 25-29, 2012. (Accepted) <li>Songzheng Song, Jianye Hao, <u>Yang Liu</u>, Jun Sun, Ho-Fung Leung, and Jin Song Dong. <b>Analyzing Multi-agent Systems with Probabilistic Model Checking Approach</b>. <i>The 34th International Conference on Software Engineering (ICSE 2012)</i>, New Ideas and Emerging Results (NIER), Zurich, Switzerland, June 2 - 9, 2012. (Accepted) <li>Truong Khanh Nguyen, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>A Symbolic Model Checking Framework for Hierarchical Systems</b>. <i>Proceedings of the 26th International Conference on Automated Software Engineering</i>, Oread, Lawrence, Kan, November 6-11, 2011. (Accepted) <li>Manchun Zheng, Jun Sun, David Sanan, <u>Yang Liu</u>, Jin Song Dong and Yu Gu. <b>Towards Bug-free Implementation for Wireless Sensor Networks</b>. <i>The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011)</i>, November 1-4, Seattle, WA, 2011. (Accepted) <li><u>Yang Liu</u>, Jun Sun and Jin Song Dong. <b>PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers</b>. <i>The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011)</i>, Hiroshima, Japan, Nov 29 - Dec 2, 2011. (Accepted) <li>Zhenchang Xing, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>Differencing Labeled Transition Systems</b>. <i>The 13th International Conference on Formal Engineering Methods (ICFEM 2011)</i>, Durham, United Kingdom, October 25-28, 2011. (Accepted) <li>Jun Sun, <u>Yang Liu</u>, Songzheng Song and Jin Song Dong. <b>PRTS: An Approach for Model Checking Probabilistic Real-time Hierarchical Systems</b>. <i>The 13th International Conference on Formal Engineering Methods (ICFEM 2011)</i>, Durham, United Kingdom, October 25 -28, 2011. (Accepted) <li>Manchun Zheng, Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Yu Gu. <b>Towards a Model Checker for NesC and Wireless Sensor Networks</b>. <i>The 13th International Conference on Formal Engineering Methods (ICFEM 2011)</i>, Durham, United Kingdom, October 25 -28, 2011. (Accepted) <li>Tian Huat Tan, <u>Yang Liu</u>, Jun Sun and Jin Song Dong. <b>Verification of Computation Orchestration System with Compositional Partial Order Reduction</b>. <i>The 13th International Conference on Formal Engineering Methods (ICFEM 2011)</i>, Durham, United Kingdom, October 25-28, 2011. (Accepted) <li>Shang-Wei Lin, Etienne Andre, Jin Song Dong, Jun Sun, and <u>Yang Liu</u>. <b>Efficient Algorithm for Learning Event-Recording Automata</b>. <i>The 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011)</i>. Taipei, Taiwan, October 11 - 14, 2011. <li>Shaojie Zhang, Jun Sun, Jun Pang, <u>Yang Liu</u> and Jin Song Dong. <b>On Combining State Space Reductions with Global Fairness Assumptions</b>. <i>The 17th International Symposium on Formal Methods (FM 2011)</i>, pages 432 - 447, Lero, Limerick, Ireland, June 20 - 24, 2011. <li>Jun Sun, <u>Yang Liu</u>, Geguang Pu and Tian Huat Tan. <b>Model-based Methods for Linking Web Service Choreography and Orchestration</b>. <i>The 17th Asia Pacific Software Engineering Conference (APSEC 2010)</i>, Sydney, Australia, 30 November - 3 December 2010. <li><u>Yang Liu</u>, Jun Sun and Jin Song Dong. <b>Analyzing Hierarchical Complex Real-time Systems</b>. <i>The ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2010)</i>, Santa Fe, New Mexico, USA, 7-11 November 2010. <li>Jun Sun, <u>Yang Liu</u> and Bin Cheng. <b>Model Checking a Model Checker: A Code Contract Combined Approach</b>. <i>The 12th International Conference on Formal Engineering Methods (ICFEM 2010)</i>, Shang Hai, China, 16-19 November 2010. (Accepted). <li>Jun Sun, Songzheng Song and <u>Yang Liu</u>. <b>Verifying Probabilistic Hierarchical Systems</b>. <i>The 12th International Conference on Formal Engineering Methods (ICFEM 2010)</i>, Shang Hai, China, 16-19 November 2010. <li>Zhenchang Xing, Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>SpecDiff: Debugging Formal Specifications</b>. <i>The 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)</i>, Antwerp, Belgium, 20-24 September 2010. (Accepted). <li><u>Yang Liu</u>, Jun Sun, Jin Song Dong. <b>Developing Model Checkers Using PAT</b>. <i>8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)</i>, Singapore, 2010. <li> Yuzhang Feng, <u>Yang Liu</u>, Yuan-Fang Li and Daqing Zhang. <b>Discovering Anomalies in Semantic Web Rules</b>. <i>The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)</i>. Singapore, June, 2010. <li>Shaojie Zhang and <u>Yang Liu</u>. <b>Model Checking a Lazy Concurrent List-Based Set Algorithm</b>. <i>The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)</i>. Singapore, June, 2010. <B><FONT SIZE="" COLOR="#FF0000">Best Paper Awards.</FONT></B> <li> Xian Zhang, <u>Yang Liu</u> and Mikhail Auguston. <b>Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP</b>. <i>The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)</i>. Singapore, June, 2010. <li> Shaojie Zhang and <u>Yang Liu</u>. <b>An Automatic Approach to Model Checking UML State Machines</b>. <i>The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)</i>. Singapore, June, 2010. <li> <u>Yang Liu</u>, Jun Sun and Jin Song Dong. Scalable <b>Multi-Core Model Checking Fairness Enhanced Systems</b>. <i>The 11th International Conference on Formal Engineering Methods (ICFEM 2009)</i>. Rio de Janeiro, Brazil, December, 2009. <li> Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Xian Zhang. <b>Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction</b>. <i> The 11th International Conference on Formal Engineering Methods (ICFEM 2009)</i>. Rio de Janeiro, Brazil, December, 2009. <li>Jun Sun, <u>Yang Liu</u>, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong. <b>Fair Model Checking of Parameterized Systems</b>. <i>The sixth International Symposium on Formal Methods (FM 2009)</i>. Eindhoven, the Netherlands, November, 2009. <li><u>Yang Liu</u>, Wei Chen, Yanhong A. Liu and Jun Sun. <b>Model Checking Lineariability via Refinement</b>. <i>The sixth International Symposium on Formal Methods (FM 2009)</i>. Eindhoven, the Netherlands, November, 2009. <li><u>Yang Liu</u>, Jun Pang, Jun Sun and Jianhua Zhao. <b>Verification of Population Ring Protocols in PAT</b>. <i>The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009)</i>. China. <li>Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Chun Qing Chen. <b>Integrating Specification and Programs for System Modeling and Verification</b>. <i>The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009)</i>. China. <li>Shaojie Zhang, <u>Yang Liu</u>, Jun Sun, Jin Song Dong, Wei Chen and Yanhong A. Liu. <b>Formal Verification of Scalable NonZero Indicators</b>. <i>The 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009)</i>. pages 406-411, USA. 2009. <li>Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Jun Pang. <b>Towards Flexible Verification under Fairness</b>. <i>The 21th International Conference on Computer Aided Verification (CAV 2009).</i> pages 702-708, France, 2009. </li> <li>Jun Sun, <u>Yang Liu</u>, Jin Song Dong and Hai H. Wang. <b>Specifying and Verifying Event-based Fairness Enhanced Systems</b>. <i>The 10th International Conference on Formal Engineering Methods (ICFEM 2008)</i>. Japan, 2008. </li> <li>Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>CSP Model Checking Revisited: Introducing a Process Analysis Toolkit</b>. <i> The third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)</i>, Greece, October 13-15, 2008. </li> <LI>Jun Sun, <u>Yang Liu</u> and Jin Song Dong. <b>Bounded Model Checking of Compositional Processes</b>, <i>2nd IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2008)</i>, NanJing, China, Jun. 2008. <LI><u>Yang Liu</u>, Jun Sun and Jin Song Dong. <b>An Analyzer for Extended Compositional Process Algebras</b>, <i>The 30th International Conference on Software Engineering (ICSE 2008)</i>, Germany, 2008. <LI>Jin Song Dong, <u>Yang Liu</u>, Jun Sun and Xian Zhang, <b>Verification of Computation Orchestration via Timed Automata</b>. <i>8th International Conference on Formal Engineering Methods (ICFEM'06)</i>, Macau, November 2006. <LI><u>Yang Liu</u> and <a href="http://www.comp.nus.edu.sg/~sunj">J. Sun</a>, <b>Algorithmic Design Using Object-Z for Twig XML Queries Evaluation</b>. <i>International Workshop on Web Languages and Formal Methods (WLFM'05)</i>, joint with FM'05, University of Newcastle upon Tyne, UK, 2005 </ol> </div> </div> </div> <div id="footer"> <div class="left">&copy; 2014 Liu Yang. All rights reserved.</div> <!-- <div class="right">Design by <a href="http://www.nodethirtythree.com/">NodeThirtyThree</a> + <a href="http://www.freecsstemplates.org">FCT</a></div> --> </div> </div> </body> </html>