default search action
Yang Liu 0003
Person information
- affiliation: Nanyang Technological University, School of Computer Engineering, Singapore
- affiliation (former): National University of Singapore, Singapore
Other persons with the same name
- Yang Liu — disambiguation page
- Yang Liu 0001 — Ritsumeikan University, Department of Electronic and Computer Engineering, Kusatsu, Japan
- Yang Liu 0002 — University of Texas-Pan American, Edinburg, TX, USA
- Yang Liu 0004 — Amazon Alexa AI, Sunnyvale, CA, USA (and 3 more)
- Yang Liu 0005 — Tsinghua University, Department of Computer Science and Technology, China (and 1 more)
- Yang Liu 0006 — Harbin Institute of Technology, School of Computer Science and Technology / School of Life Science and Technology, China
- Yang Liu 0007 — Hong Kong Baptist University, Department of Computer Science / Institute of Research and Continuing Education, Hong Kong (and 3 more)
- Yang Liu 0008 — Wilfrid Laurier University, Waterloo, Canada (and 2 more)
- Yang Liu 0009 — University of Amsterdam, Intelligent Systems Laboratory, Amsterdam, The Netherlands (and 1 more)
- Yang Liu 0010 — Sichuan University, China (and 1 more)
- Yang Liu 0011 — Northeastern University, School of Business Administration, Shenyang, China
- Yang Liu 0012 — Iowa State University, Department of Electrical and Computer Engineering, Ames, IA, USA
- Yang Liu 0013 — NVIDIA (and 1 more)
- Yang Liu 0014 — Microsoft Research Asia, Beijing, China (and 2 more)
- Yang Liu 0015 — University of Hong Kong, Department of Electrical and Electronic Engineering, Hong Kong
- Yang Liu 0016 — LSI Corporation (and 1 more)
- Yang Liu 0017 — Dalian University of Technology, School of Information and Communication Engineering, China (and 4 more)
- Yang Liu 0018 — University of California, Santa Cruz, CA, USA (and 2 more)
- Yang Liu 0019 — University of Michigan, School of Information, Ann Arbor, MI, USA
- Yang Liu 0020 — Imperial College London, Department of Electrical and Electronic Engineering, London, UK (and 1 more)
- Yang Liu 0021 — Chinese Academy of Sciences, National Lab of Pattern Recognition, District Beijing, China
- Yang Liu 0022 — Huawei Technologies
- Yang Liu 0023 — Sigma-Aldrich (and 1 more)
- Yang Liu 0024 — Beijing University of Posts and Telecommunications, School of Electronic Engineering, China (and 2 more)
- Yang Liu 0025 — Zhejiang University of Science and Technology, School of Information and Electronic Engineering, Hangzhou, China
- Yang Liu 0026 — Lawrence Livermore National Laboratory, Livermore, CA, USA (and 1 more)
- Yang Liu 0027 — University of Cambridge, Faculty of Philosophy, UK (and 1 more)
- Yang Liu 0028 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore (and 1 more)
- Yang Liu 0029 (aka: Yang Jerry Liu) — University of York, UK
- Yang Liu 0030 — Harvard Medical School, Boston, MA, USA (and 2 more)
- Yang Liu 0031 — Purdue University, West Lafayette, IN, USA
- Yang Liu 0032 — Hong Kong Polytechnic University, Department of Mechanical Engineering, Hong Kong (and 1 more)
- Yang Liu 0033 — Inner Mongolia University, School of Mathematical Sciences, Hohhot, China
- Yang Liu 0034 — University of Vaasa, Department of Production, Finland
- Yang Liu 0035 — The First Aeronautical College of Air Force, Xinyang, China (and 1 more)
- Yang Liu 0036 — University of Exeter, College of Engineering Mathematics and Physical Sciences, UK (and 3 more)
- Yang Liu 0037 — Emory University, Department of Environmental Health, Atlanta, GA, USA
- Yang Liu 0038 — Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, China (and 2 more)
- Yang Liu 0039 — Harbin Institute of Technology, Shenzhen, China (and 1 more)
- Yang Liu 0040 — Zhejiang Normal University, College of Mathematics, Physics and Information Engineering, Jinhua, China (and 1 more)
- Yang Liu 0041 — Harbin Institute of Technology, School of Transportation Science and Engineering, China
- Yang Liu 0042 — University of Pittsburgh, PA, USA
- Yang Liu 0043 — Duke University, Durham, NC, USA
- Yang Liu 0044 — University of California, San Diego, CA, USA
- Yang Liu 0045 — Beijing University of Posts and Telecommunications, Beijing Laboratory of Advanced Information Network, China (and 3 more)
- Yang Liu 0046 — New Jersey Institute of Technology, Department of Information Systems, Newark, NJ, USA
- Yang Liu 0047 — Chinese Academy of Sciences, Shanghai Institute of Microsystem and Information Technology, China (and 1 more)
- Yang Liu 0048 — Beijing Jiaotong University, State Key Laboratory of Rail Traffic Control and Safety, China
- Yang Liu 0049 — Auckland University of Technology, New Zealand
- Yang Liu 0050 — Zhengzhou University, School of Information Engineering, China (and 2 more)
- Yang Liu 0051 — George Mason University, USA
- Yang Liu 0052 — Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan
- Yang Liu 0053 — Harbin Institute of Technology, School of Computer Science and Technology, China
- Yang Liu 0054 — Harbin Institute of Technology, State Key Laboratory of Robotics and System, China
- Yang Liu 0055 — Henan University, College of Computer Science and Information Engineering, Kaifeng, China
- Yang Liu 0056 — Chinese Academy of Sciences, Xinjiang Institute of Ecology and Geography, Urumqi, China
- Yang Liu 0057 — University of Massachusetts Dartmouth, Electrical and Computer Engineering Department, MA, USA
- Yang Liu 0058 — Jilin University, Symbol Computation and Knowledge Engineer of Ministry of Education, Changchun, China
- Yang Liu 0059 — PLA Navy General Hospital, Center of Otolaryngology, Beijing, China
- Yang Liu 0060 — University of Exeter, Department of Computer Science, UK (and 1 more)
- Yang Liu 0061 — Southern University of Science and Technology, Department of Electrical and Electronic Engineering, Shenzhen, China
- Yang Liu 0062 — University of Electronic Science and Technology of China, The State Key Laboratory of Electronic Thin Films and Integrated Devices, Chengdu, China (and 1 more)
- Yang Liu 0063 — Inner Mongolia University, College of Electronic Information Engineering, Hohhot, China (and 2 more)
- Yang Liu 0064 — JD.COM, Beijing, China (and 2 more)
- Yang Liu 0065 — Jiangnan University, School of IoT Engineering, Wuxi, China (and 1 more)
- Yang Liu 0066 — Dalian University of Technology, Faculty of Electronic Information and Electrical Engineering, China
- Yang Liu 0067 — University of South Florida, Department of Electrical Engineering, Tampa, FL, USA
- Yang Liu 0068 — University of Science and Technology Liaoning, School of Computer Science and Engineering, China
- Yang Liu 0069 — Xidian University, State Key Laboratory of Integrated Services Networks, Xi'an, China
- Yang Liu 0070 — Jiangnan University, School of Science, Key Laboratory of Advanced Process Control for Light Industry (Ministry of Education), Wuxi, China
- Yang Liu 0071 — North China University of Water Resources and Electric Power, School of Information Engineering, Zhengzhou, China
- Yang Liu 0072 — University of Houston, Department of Biomedical Engineering, TX, USA
- Yang Liu 0074 — Northeast Petroleum University, School of Petroleum Engineering, Daqing, China
- Yang Liu 0075 — Harbin Institute of Technology, Department of Control Science and Engineering, China
- Yang Liu 0076 — South China University of Technology, School of Electric Power Engineering, Guangzhou, China
- Yang Liu 0077 — Qindao University of Science and Technology, School of Automation and Electronic Engineering, China (and 4 more)
- Yang Liu 0078 — Changchun University of Science and Technology, School of Optoelectronic Engineering, China
- Yang Liu 0079 — Northeast Petroleum University, MOE, Key Lab for Enhancing the Oil and Gas Recovery Ratio, Daqing, China
- Yang Liu 0081 — Hong Kong University of Science and Technology, Department of Computer Science and Engineering, Hong Kong
- Yang Liu 0082 — Huazhong University of Science and Technology, School of Computer Science and Technology, Services Computing Technology and System Laboratory / Cluster and Grid Computing Laboratory, Wuhan, China
- Yang Liu 0083 — Hebei North University, School of Information Science and Engineering, Zhangjiakou, China
- Yang Liu 0084 — Sun Yat-sen University, School of Data and Computer Science, Guangzhou, China (and 1 more)
- Yang Liu 0085 — Chinese Academy of Sciences, Institute of Automation, National Laboratory of Pattern Recognition, Beijing, China
- Yang Liu 0086 — China Medical University, School of Public Health, Shenyang, China
- Yang Liu 0087 — China Aerodynamics Research and Development Center, Computational Aerodynamics Institute, Mianyang, China (and 1 more)
- Yang Liu 0088 — Beihang University, School of Computer Science and Engineering, State Key Lab of Software Development Environment, Beijing, China
- Yang Liu 0089 — Harbin Institute of Technology, School of Computer Science and Technology, Center for Social Computing and Information Retrieval, China
- Yang Liu 0090 — Xi'an Jiaotong University, School of Electronic and Information Engineering, MOE KLINNS, China (and 1 more)
- Yang Liu 0091 — Xidian University, Electronic and Engineering Institute, Xi'an, China
- Yang Liu 0092 — Nanjing Agricultural University, College of Information Science and Technology, China
- Yang Liu 0093 — Fourth Military Medical University, School of Biomedical Engineering, Xi'an, China
- Yang Liu 0094 — Northwestern Polytechnical University, School of Automation, Xi'an, China
- Yang Liu 0095 — Harbin Institute of Technology, School of Electrical Engineering and Automation, China
- Yang Liu 0096 — Beihang University, School of Automation Science and Electrical Engineering / The Seventh Research Division, Beijing, China
- Yang Liu 0097 — University of Illinois at Urbana-Champaign, Department of Computer Science, Champaign, IL, USA
- Yang Liu 0098 — Zhejiang University, College of Computer Science and Technology, Hangzhou, China
- Yang Liu 0099 — University of Huddersfield, UK (and 3 more)
- Yang Liu 0100 — Hong Kong Baptist University, Department of Mathematics, Centre for Mathematical Imaging and Vision, Hong Kong
- Yang Liu 0101 — City University of Hong Kong, Department of Computer Science, Hong Kong
- Yang Liu 0103 — Harbin University of Science and Technology, School of Material Science and Engineering, China (and 2 more)
- Yang Liu 0104 — Fudan University, Software School, Shanghai, China
- Yang Liu 0105 — Peking University, Wangxuan Institute of Computer Technology, Beijing, China (and 2 more)
- Yang Liu 0106 — Xidian University, School of Microelectronics, Shaanxi Key Lab. of Integrated Circuits and Systems, Xi'an, China
- Yang Liu 0107 — Samsung R&D Institute of China, Beijing, China (and 1 more)
- Yang Liu 0108 — Sichuan University, School of Electrical Engineering and Information, Chengdu, China
- Yang Liu 0109 — Oklahoma State University, School of Civil and Environmental Engineering, Stillwater, OK, USA
- Yang Liu 0110 — Beihang University, School of Instrumentation and Opto-Electronic Engineering, Beijing, China (and 1 more)
- Yang Liu 0111 — China University of Mining and Technology, School of Mines, Xuzhou, China
- Yang Liu 0113 — Zhejiang University, School of Management, Hangzhou, China
- Yang Liu 0114 — University of Illinois at Chicago, IL, USA
- Yang Liu 0115 — Carnegie Mellon University, Department of Engineering and Public Policy, Pittsburgh, PA, USA (and 1 more)
- Yang Liu 0116 — Xidian University, School of Computer Science and Technology, Xi'an, China
- Yang Liu 0117 — University of Science and Technology of China, School of Management, Hefei, China
- Yang Liu 0118 — Xidian University, School of Cyber Engineering, Xi'an, China
- Yang Liu 0119 — Chinese University of Hong Kong (and 1 more)
- Yang Liu 0120 — Chinese Academy of Sciences, Institute of Geographic Sciences and Natural Resources Research, Beijing, China
- Yang Liu 0121 — North China Electric Power University, School of Nuclear Science and Engineering, Beijing, China
- Yang Liu 0122 — University of Alabama, Tuscaloosa, AL, USA
- Yang Liu 0123 — Inner Mongolia University of Science and Technology, Key Laboratory of Pattern Recognition and Intelligent Image Processing, Baotou, China
- Yang Liu 0124 — Microsoft Cognitive Services Research, Redmond, WA, USA (and 2 more)
- Yang Liu 0125 — Bytedance Inc., Shenzhen, China (and 2 more)
- Yang Liu 0126 — Chiba University, Department of Engineering, Chiba, Japan
- Yang Liu 0127 — Wuhan University, School of Geodesy and Geomatics, Wuhan, China
- Yang Liu 0128 — University of Minnesota, School of Mathematics, Minneapolis, MN, USA
- Yang Liu 0129 — North Carolina State University, Raleigh, NC, USA
- Yang Liu 0130 — University of the Chinese Academy of Sciences, School of Engineering Sciences, Beijing, China (and 3 more)
- Yang Liu 0131 — Michigan State University, Department of Mathematics, East Lansing, MI, USA
- Yang Liu 0132 — Beijing University of Posts and Telecommunications, School of Digital Multimedia and Design Arts, Beijing, China (and 1 more)
- Yang Liu 0133 — Beijing University of Posts and Telecommunications, Department of Information Security, Beijing, China (and 1 more)
- Yang Liu 0135 — Nanjing University of Finance and Economics, College of Information Engineering, China
- Yang Liu 0136 — University of Washington, Seattle, WA, USA
- Yang Liu 0137 — First Institute of Oceanography, Qingdao, China
- Yang Liu 0138 — University of Hong Kong, Department of Electrical and Electronic Engineering
- Yang Liu 0139 — University of Sheffield, Department of Electronic and Electrical Engineering, UK
- Yang Liu 0140 — South China University of Technology, School of Electronics and Information Engineering, Wushan, China
- Yang Liu 0141 — Harbin Institute of Technology (HIT), Harbin, China
- Yang Liu 0142 — Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Cambridge, USA
- Yang Liu 0143 — China University of Petroleum-Beijing, State Key Laboratory of Petroleum Resources and Prospecting, China
- Yang Liu 0144 — Potsdam Institute for Climate Impact Research, Potsdam Institute for Climate Impact Research, Germany (and 1 more)
- Yang Liu 0145 — Chinese Academy of Sciences, Institute of Mechanics, State Key Laboratory of High Temperature Gas Dynamics, Beijing, China
- Yang Liu 0146 — Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, Cambridge, MA, USA (and 1 more)
- Yang Liu 0147 — National University of Defense Technology, College of Artificial Intelligence, Changsha, China
- Yang Liu 0148 — Jiangsu University, Department of Automotive and Traffic Engineering, Zhenjiang, China
- Yang Liu 0149 — Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, China (and 1 more)
- Yang Liu 0150 — Technical University of Madrid, Department of Industrial Engineering, Business Administration and Statistics, Spain
- Yang Liu 0151 — Xi'an JiaoTong University, School of Management, China
- Yang Liu 0152 — Shanghai Jiao Tong University, School of Oceanography, China
- Yang Liu 0153 — Institute of Applied Physics and Computational Mathematics, Beijing, China (and 2 more)
- Yang Liu 0154 — Beijing Jiaotong University, National Active Distribution Network Technology Research Center, China
- Yang Liu 0155 — Alibaba Group, DAMO Academy, Hangzhou, China (and 2 more)
- Yang Liu 0156 — Xi'an University of Science and Technology, College of Geomatics, Xi'an, China
- Yang Liu 0157 — Chongqing Medical University, Stomatological Hospital, Orthodontic Department, Chongqing, China
- Yang Liu 0158 — Harbin University of Commerce, School of Computer and Information Engineering, Heilongjiang Provincial Key Laboratory of Electronic Commerce and Information Processing, Harbin, China
- Yang Liu 0159 — China JIKAN Research Institute of Engineering Investigations and Design, Xi'an, China
- Yang Liu 0160 — Shenyang University of Technology, School of Electrical Engineering, Shenyang, China (and 1 more)
- Yang Liu 0161 — Beihang University, School of Instrumentation and Optoelectronic Engineering, Beijing, China
- Yang Liu 0162 — Florida State University, Department of Mathematics, Tallahassee, FL, USA
- Yang Liu 0163 — State Grid Jiangsu Electric Power Company, Research Institute, Nanjing, China
- Yang Liu 0164 — University of Electronic Science and Technology of China, Chengdu, China
- Yang Liu 0165 — Tsinghua University, Institute for AI Industry Research, Beijing, China (and 2 more)
- Yang Liu 0166 — JD Intelligent Cities Research, Beijing, China (and 1 more)
- Yang Liu 0167 — Beijing University of Civil Engineering and Architecture, School of Geomatics and Urban Information, Beijing, China
- Yang Liu 0168 — Henan University of Technology, College of Information Science and Engineering, Zhengzhou, China
- Yang Liu 0169 — University of Electronic Science and Technology of China, School of Electronic Science and Engineering, Chengdu, China
- Yang Liu 0170 — Jilin University, College of Computer Science and Technology, Changchun, China
- Yang Liu 0171 — China Academy of Information and Communications Technology, Research Institute of Industrial Internet of Things, Beijing, China
- Yang Liu 0172 — Jiangsu University of Science and Technology, School of Electronics and Information, Zhenjiang, China
- Yang Liu 0173 — Beihang University, School of Aeronautic Science and Engineering, Beijing, China
- Yang Liu 0174 — Henan University of Science and Technology, School of Information Engineering, Luoyang, China
- Yang Liu 0175 — Zoom (and 1 more)
- Yang Liu 0176 — Chongqing University, School of Automotive Engineering, China
- Yang Liu 0177 — Uber Technologies Inc, San Francisco, CA, USA (and 1 more)
- Yang Liu 0178 — Elenion Technologies, New York, NY, USA (and 1 more)
- Yang Liu 0179 — Lawrence Berkeley National Laboratory, Computational Research Division, CA, USA
- Yang Liu 0181 — National Digital Switching System Engineering and Technological R&D Center, Zhengzhou, China
- Yang Liu 0182 — University of Oulu, Center for Machine Vision and Signal Analysis, Finland (and 1 more)
- Yang Liu 0183 — Northwest Normal University, College of Computer Science and Engineering, Lanzhou, China
- Yang Liu 0184 — Xi'an Polytechnic University, School of Urban Planning and Municipal Engineering, China
- Yang Liu 0185 — Sichuan University, West China Hospital of Stomatology, National Clinical Research Center of Oral Diseases, Chengdu, China
- Yang Liu 0186 — Albert Einstein College of Medicine, Department of Genetics, New York, NY, USA
- Yang Liu 0187 — Jilin University, State Key Laboratory of Automotive Simulation and Control, Changchun, China
- Yang Liu 0188 — Inner Mongolia Medical University, Affiliated Hospital, Department of Inspection, Hohhot, China
- Yang Liu 0189 — Huazhong University of Science and Technology, School of Automation / Guangdong HUST Industrial Technology Research Institute, Wuhan, China
- Yang Liu 0190 — Shenyang University of Technology, School of Information Science and Engineering, Computer Vision Group, China
- Yang Liu 0191 — China University of Mining and Technology (Beijing), School of Mechanical Electronic and Information Engineering, China (and 1 more)
- Yang Liu 0192 — University of Tennessee, Knoxville, TN, USA
- Yang Liu 0193 — Dalian Maritime University, School of Maritime Economics and Management, China
- Yang Liu 0194 — Philips Electronics Ltd., Hong Kong (and 1 more)
- Yang Liu 0195 — Content Production Center of Virtual Reality, Beijing, China (and 1 more)
- Yang Liu 0196 — Shandong University, School of Physics, Jinan, China (and 1 more)
- Yang Liu 0197 — University of Waterloo, Department of Statistics and Actuarial Science, ON, Canada (and 1 more)
- Yang Liu 0198 — Shandong University of Science and Technology, College of Geomatics, Qingdao, China (and 1 more)
- Yang Liu 0199 — Shenzhen Technology University, Medical Device Innovation Center, China (and 1 more)
- Yang Liu 0200 — Chinese Academy of Sciences, Institute of Computing Technology, Key Lab of Intelligent Information Processing, Beijing, China (and 1 more)
- Yang Liu 0201 — Argonne National Laboratory, Nuclear Science and Engineering Division, USA
- Yang Liu 0202 — Virginia Tech, Department of Mechanical Engineering, Nuclear Engineering Program, Blacksburg, VA, USA
- Yang Liu 0203 — Northeastern University, College of Information Science and Engineering, Shenyang, China
- Yang Liu 0204 — Shenyang Jianzhu University, International School, China
- Yang Liu 0205 — University of Texas at Austin, Walker Department of Mechanical Engineering, TX, USA
- Yang Liu 0206 — Queen Mary University of London, School of EECS, Bayesian Artificial Intelligence Research Lab, UK
- Yang Liu 0207 — China Agricultural University, Beijing, China (and 1 more)
- Yang Liu 0208 — Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Hong Kong
- Yang Liu 0209 — Shanghai Dianji University, College of Electrical Engineering, China
- Yang Liu 0210 — North University of China, Key Laboratory of Instrumentation Science and Dynamic Measurement, Taiyuan, China
- Yang Liu 0211 — Henan University of Economics and Law, Modern Educational Technology Center, Zhengzhou, China (and 1 more)
- Yang Liu 0212 — Zhejiang University, College of Computer Science, Hangzhou, China
- Yang Liu 0213 — Georgetown University, Washington, DC, USA
- Yang Liu 0214 — East Carolina University, Greenville, NC, USA (and 1 more)
- Yang Liu 0215 — Beijing Institute of Technology, School of Information and Electronics, China
- Yang Liu 0216 (aka: Yang S. Liu) — University of Alberta, Department of Psychiatry, Edmonton, AB, Canada
- Yang Liu 0217 — Shandong University, School of Management, Jinan, China
- Yang Liu 0218 — North Carolina Agricultural and Technical State University, Department of Computer Science, Greensboro, NC, USA
- Yang Liu 0220 — Nanyang Technological University, School of Mechanical and Aerospace Engineering, SMRT-NTU Smart Urban Rail Corporate Laboratory, Singapore
- Yang Liu 0221 — Northeastern University, State Key Laboratory of Synthetical Automation for Process Industries / College of Information Science and Engineering, Shenyang, China (and 2 more)
- Yang Liu 0222 — Harbin Institute of Technology, State Key Laboratory of Robotics and System / School of Mechatronics Engineering, Nangang, China
- Yang Liu 0223 — University of Science and Technology Beijing, Department of Mechanical Engineering, China (and 2 more)
- Yang Liu 0224 — Mayo Clinic Rochester, MN, USA (and 1 more)
- Yang Liu 0225 — Chinese Academy of Sciences, Institute of Automation, State Key Laboratory for Control and Management of Complex Systems, Beijing, China
- Yang Liu 0226 — Nanjing Institute of Technology, China (and 2 more)
- Yang Liu 0227 — Shihezi University, College of Information Science and Technology, China
- Yang Liu 0228 — Tsinghua University, Department of Mathematical Sciences, Beijing, China
- Yang Liu 0229 — Sun Yat-Sen University, School of Physics and Astronomy, Zhuhai, China (and 1 more)
- Yang Liu 0230 — Guangxi University, Computer and Electronic Information, Nanning, China
- Yang Liu 0231 — Dalian Maritime University, School of Maritime Economics and Management, China (and 2 more)
- Yang Liu 0233 — Shandong University, School of Mathematics, Jinan, China
- Yang Liu 0234 — Xiangtan University, School of Mathematics and Computational Science, China
- Yang Liu 0235 — Beijing Jiaotong University, Institute of Information Science, China
- Yang Liu 0236 — Sichuan University, College of Life Sciences, Chengdu, China
- Yang Liu 0237 — Sichuan Normal University, School of Mathematical Sciences, Chengdu, China
- Yang Liu 0238 — Guangzhou Urban Planning and Design Survey Research Institute, Guangdong Enterprise Key Laboratory for Urban Sensing, Monitoring and Early Warning, China (and 1 more)
- Yang Liu 0239 — Wuhan University of Science and Technology, School of Resource and Environmental Engineering, Hubei Key Laboratory for Efficient Utilization and Agglomeration of Metallurgic Mineral Resources, China
- Yang Liu 0240 — Lanzhou Jiaotong University, School of Automation and Electrical Engineering, China
- Yang Liu 0241 — Chongqing University, School of Electrical Engineering, State Key Laboratory of Power Transmission Equipment and System Security and New Technology, China
- Yang Liu 0242 — University of Cambridge, MRC Biostatistics Unit, UK
- Yang Liu 0243 — Xi'an University of Science and Technology, School of Management, China
- Yang Liu 0245 — Sun Yat-sen University, Guangzhou, China
- Yang Liu 0246 — Fudan University, Academy for Engineering and Technology, Shanghai, China
- Yang Liu 0247 — Chongqing Jiaotong University, School of Information Science and Engineering, Chongqing, China
- Yang Liu 0248 — Chongqing University, College of Mathematics and Statistics, Chongqing, China
- Yang Liu 0249 — Australian National University, Research School of Computer Science, Canberra, Australia (and 1 more)
- Yang Liu 0250 — Chinese Academy of Sciences, Institute of Computing Technology, Beijing, China (and 1 more)
- Yang Liu 0251 — Beijing Academy of Agriculture and Forestry Sciences, Key Laboratory of Quantitative Remote Sensing in Agriculture of Ministry of Agriculture and Rural Affairs, Information Technology Research Center, China
- Yang Liu 0252 — China Telecom Research Institute, 6G Research Center, Beijing, China
- Yang Liu 0253 — Southeast University, School of Transportation, Nanjing, China
- Yang Liu 0254 — University of Helsinki, Finland
- Yang Liu 0255 — Inner Mongolia University, College of Electronic Information Engineering, Hohhot, China
- Yang Liu 0256 — ScaleFlux, Milpitas, USA
- Yang Liu 0258 — Chinese University of Hong Kong, Shenzhen Research Institute of Big Data
- Yang Liu 0259 — National University of Defense Technology, Changsha, China
- Yang Liu 0260 — Dalian University of Technology, School of Control Science and Engineering, Dalian, China
- Yang Liu 0261 — Wuhan University, School of Economics and Management, ZhongNan Hospital, China
- Yang Liu 0262 — Qingdao University of Science and Technology, School of Information Science and Technology, China
- Yang Liu 0263 — Shanghai University, China (and 1 more)
- Yang Liu 0264 — Sichuan University, Chengdu, China
- Yang Liu 0265 — Shanghai Maritime University, Shanghai, China
- Yang Liu 0266 — University of California, UCLA, Department of Computer Science and Statistics, Los Angeles, USA
- Yang Liu 0267 — Sun Yat-sen University, School of Computer Science and Engineering, Guangzhou, China
- Yang Liu 0268 — Xi'an University of Science and Technology, School of Communication and Information Engineering, China
- Yang Liu 0270 — University of Iowa, Department of Electrical and Computer Engineering, Iowa City, USA
- Yang Liu 0271 — King's College London, School of Biomedical Engineering and Imaging Sciences (BMEIS), London, UK
- Yang Liu 0272 — University of Alberta, Department of Civil and Environmental Engineering, Edmonton, AB, Canada
- Yang Liu 0273 — ReviR Therapeutics, Shenzhen, China (and 1 more)
- Yang Liu 0274 — China Construction Bank, Wuhan, China (and 1 more)
- Yang Liu 0275 — King Abdullah University of Science and Technology, Division of Physical Science and Engineering, Thuwal, Saudi Arabia
- Yang Liu 0276 — Beijing Academy of Science and Technology, China (and 1 more)
- Yang Liu 0277 — King Abdullah University of Science and Technology, Visual Computing Center, Thuwal, Saudi Arabia
- Yang Liu 0278 — University of Science and Technology of China, School of Computer Science and Technology, Anhui Province Key Laboratory of Big Data Analysis and Application, Hefei, China
- Yang Liu 0279 — Hong Kong Polytechnic University, Department of Management and Marketing, Hong Kong (and 2 more)
- Yang Liu 0280 — London School of Hygiene & Tropical Medicine, UK (and 1 more)
- Yang Liu 0281 — Hunan University of Science and Technology, School of Resources Environment and Safety Engineering, Xiangtan, China
- Yang Liu 0282 — Tianjin Normal University, College of Computer and Information Engineering, China
- Yang Liu 0283 (aka: Kurt Yang Liu) — Aston University, Birmingham, UK (and 3 more)
- Yang Liu 0284 — Chongqing University of Education, School of Teacher Development, China
- Yang Liu 0285 — Huazhong Agricultural University, College of Informatics, Wuhan, China
- Yang Liu 0286 — Hunan University of Technology and Business, China
- Yang Liu 0287 — Beihang University, School of Automation Science and Electrical Engineering, Beijing, China
- Yang Liu 0288 — Nanjing University of Science and Technology, School of Computer Science and Engineering, China
- Yang Liu 0289 — East China Normal University, School of Computer Science and Technology, Shanghai, China
- Yang Liu 0290 — Syracuse University, Department of Electrical Engineering and Computer Science, NY, USA
- Yang Liu 0291 — Beihang University, Beijing Advanced Innovation Center for Big Data and Brain Computing, School of Transportation Science and Engineering, Beijing Key Laboratory for Cooperative Vehicle Infrastructure Systems & Safety Control, Beijing, China
- Yang Liu 0292 — Facebook Inc., Menlo Park, CA, USA (and 1 more)
- Yang Liu 0293 — Sany Heavy Industry Company Ltd., Beijing, China (and 1 more)
- Yang Liu 0294 — Shanghai Jiao Tong University, School of Mechanical Engineering, State Key Laboratory of Mechanical System and Vibration, China
- Yang Liu 0295 — Sun Yat-sen University, School of Aeronautics and Astronautics, Shenzhen, China
- Yang Liu 0296 — Chinese Academy of Sciences, Shenyang Institute of Automation, Key Laboratory of Networked Control Systems, China (and 1 more)
- Yang Liu 0297 — Central South University, School of Physics and Electronics, Changsha, China
- Yang Liu 0298 — Liaocheng University, School of Business, China
- Yang Liu 0299 — Anhui Agriculural University, School of Information and Computer, Laboratory, Hefei, China
- Yang Liu 0300 — Guangxi University, College of Light Industry and Food Engineering, Nanning, China
- Yang Liu 0301 — Liaoning Inspection Examination and Certification Centre, Shenyang, China
- Yang Liu 0303 — University of Electronic Science and Technology of China, Yingcai Honors College, Laboratory of Imaging Detection and Intelligent Perception, Chengdu, China (and 1 more)
- Yang Liu 0304 — Netherlands eScience Center, Amsterdam, The Netherlands (and 1 more)
- Yang Liu 0305 — Hangzhou Dianzi University, China
- Yang Liu 0306 — Guangdong University of Technology, School of Information Engineering, Guangzhou, China (and 1 more)
- Yang Liu 0307 — Northwestern Polytechnical University, School of Management, Xi'an, China
- Yang Liu 0308 — Southeast University, Affiliated Jinling Hospital, School of Medicine, Nanjing, China
- Yang Liu 0309 — Northwestern Polytechnical University, School of Electronics and Information, Xi'an, China
- Yang Liu 0310 — University of Oxford, Mathematical Institute, UK (and 1 more)
- Yang Liu 0311 — Tianjin University of Commerce, College of Mathematics, China
- Yang Liu 0312 — Fred Hutchinson Cancer Research Center, Seattle, WA, USA (and 1 more)
- Yang Liu 0313 — University of Electronic Science and Technology of China, School of Mechanical and Electrical Engineering, Chengdu, China
- Yang Liu 0314 — Dartmouth College, Hanover, NH, USA
- Yang Liu 0315 — Sichuan Agricultural University, College of Resources, Chengdu, China
- Yang Liu 0316 — Dalian Jiaotong University, School of Automation and Electrical Engineering, China (and 1 more)
- Yang Liu 0317 — Harbin University of Science and Technology, MoE Engineering Research Center of Automotive Electronics Drive Control and System Integration, China
- Yang Liu 0318 — Jiangsu University, School of Electrical and Information Engineering, Zhenjiang, China (and 1 more)
- Yang Liu 0319 — Mokpo National Maritime University, Department of Navigation Science, South Korea
- Yang Aron Liu (aka: Yang Liu 0320) — Baidu Research, Cognitive Computing Lab., Beijing, China (and 1 more)
- Yang Liu 0321 — Dalian Naval Academy, Department of Navigation, China
- Yang Liu 0322 — Shenzhen University, College of Computer Science and Software Engineering, China
- Yang Liu 0323 — University of Calgary, Canada
- Yang Liu 0324 — Chinese Academy of Sciences, Computer Network Information Center, Beijing, China
- Yang Liu 0325 — Beijing University of Posts and Telecommunications, China
- Yang Liu 0326 — Innovation Institute of High Performance Server, Guangzhou, China
- Yang Liu 0327 — PLA Strategy Support Force Information Engineering University, Henan Key Laboratory of Imaging and Intelligent Processing, China
- Yang Liu 0328 — Beijing University of Posts and Telecommunications, School of Information and Communication Engineering, State Key Laboratory of Networking and Switching Technology, China
- Yang Liu 0329 — Xiangnan University, School of Computer and Artificial Intelligence, China
- Yang Liu 0330 — Meituan, Beijing, China
- Yang Liu 0331 — National University of Singapore, Department of Civil and Environmental Engineering / Department of Industrial Systems Engineering and Management, Singapore
- Yang Liu 0332 — Tsinghua University, School of Vehicle and Mobility, Beijing, China (and 1 more)
- Yang Liu 0333 — Jilin University, College of Instrument Science and Electrical Engineering, Changchun, China
- Yang Liu 0334 — Guangzhou Medical University, Sixth Affiliated Hospital, Qingyuan, China (and 2 more)
- Yang Liu 0335 — Beihang University, School of Instrumentation Science and Optoelectronics Engineering, Beijing, China
- Yang Liu 0336 — Southeast University, National Engineering Research Center of Turbo-Generator Vibration, School of Energy and Environment, National Engineering Research Center of Power Generation Control and Safety, Nanjing, China
- Yang Liu 0337 — Southwest Jiaotong University, School of Electrical Engineering, Chengdu, China
- Yang Liu 0338 — Chongqing University, College of Optoelectronic Engineering, MoE Key Laboratory of Optoelectronic Technology and Systems, China
- Yang Liu 0339 — Guangdong University of Technology, School of Automation, Guangzhou, China (and 1 more)
- Yang Liu 0340 — Jinan University, College of Information Science and Technology, Guangzhou, China
- Yang Liu 0341 — Chinese Academy of Sciences, Institute of Geographic Sciences and Natural Resources Research, Key Laboratory of Land Surface Pattern and Simulation, Beijing, China
- Yang Liu 0342 — Lanzhou Jiaotong University, School of Automation and Electrical Engineering, China
- Yang Liu 0343 — Ocean University of China, College of Fisheries, Qingdao, China (and 1 more)
- Yang Liu 0344 — Chinese Academy of Forestry, Beijing, China
- Yang Liu 0345 — Inner Mongolia Normal University, College of Geographic Science, Hohhot, China
- Yang Liu 0346 — Dalian University of Technology, School of Future Technology, School of Artificial Intelligence, China
- Yang Liu 0347 — Chinese Academy of Science, NLPR, MAIS, Institute of Automation, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j171]Jie Liu, Driss Boutat, Yang Liu, Xue-Feng Zhang:
Nonlinear MIMO observable normal forms with output injection and output diffeomorphism. Appl. Math. Comput. 489: 129174 (2025) - [j170]Xiaohan Zhang, Cen Zhang, Xinghua Li, Zhengjie Du, Bing Mao, Yuekang Li, Yaowen Zheng, Yeting Li, Li Pan, Yang Liu, Robert H. Deng:
A Survey of Protocol Fuzzing. ACM Comput. Surv. 57(2): 35:1-35:36 (2025) - [j169]Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shang-Wei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen:
Machine Learning for Actionable Warning Identification: A Comprehensive Survey. ACM Comput. Surv. 57(2): 39:1-39:35 (2025) - 2024
- [j168]Fei Yang, Xu Zhang, Shangwei Guo, Daiyuan Chen, Yan Gan, Tao Xiang, Yang Liu:
Robust and privacy-preserving collaborative training: a comprehensive survey. Artif. Intell. Rev. 57(7): 180 (2024) - [j167]Yang Liu, Chao Wang, Yan Ma:
DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts. Autom. Softw. Eng. 31(1): 24 (2024) - [j166]Dongming Xiang, Yuanchang Lin, Liming Nie, Yaowen Zheng, Zhengzi Xu, Zuohua Ding, Yang Liu:
An empirical study of attack-related events in DeFi projects development. Empir. Softw. Eng. 29(2): 49 (2024) - [j165]Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He:
Causal deconfounding deep reinforcement learning for mobile robot motion planning. Knowl. Based Syst. 303: 112406 (2024) - [j164]Liming Nie, Yangyang Zhao, Chenglin Li, Xuqiong Luo, Yang Liu:
Shadows in the Interface: A Comprehensive Study on Dark Patterns. Proc. ACM Softw. Eng. 1(FSE): 204-225 (2024) - [j163]Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen:
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? Proc. ACM Softw. Eng. 1(FSE): 1447-1470 (2024) - [j162]Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu:
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection. Proc. ACM Softw. Eng. 1(FSE): 1564-1584 (2024) - [j161]Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang:
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection. Proc. ACM Softw. Eng. 1(FSE): 2075-2097 (2024) - [j160]Huangzhao Zhang, Shuai Lu, Zhuo Li, Zhi Jin, Lei Ma, Yang Liu, Ge Li:
CodeBERT-Attack: Adversarial attack against source code deep learning models via pre-trained model. J. Softw. Evol. Process. 36(3) (2024) - [j159]Xinliang Zhou, Chenyu Liu, Ruizhi Yang, Liangwei Zhang, Liming Zhai, Ziyu Jia, Yang Liu:
Learning Robust Global-Local Representation From EEG for Neural Epilepsy Detection. IEEE Trans. Artif. Intell. 5(11): 5720-5732 (2024) - [j158]Biwen Chen, Honghong Zeng, Tao Xiang, Shangwei Guo, Tianwei Zhang, Yang Liu:
ESB-FL: Efficient and Secure Blockchain-Based Federated Learning With Fair Payment. IEEE Trans. Big Data 10(6): 761-774 (2024) - [j157]Ju Jia, Siqi Ma, Lina Wang, Yang Liu, Robert H. Deng:
A Secure and Robust Knowledge Transfer Framework via Stratified-Causality Distribution Adjustment in Intelligent Collaborative Services. IEEE Trans. Computers 73(1): 58-72 (2024) - [j156]Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu:
Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering. IEEE Trans. Circuits Syst. Video Technol. 34(8): 6949-6962 (2024) - [j155]Ziyue Pan, Wenbo Shen, Xingkai Wang, Yutian Yang, Rui Chang, Yao Liu, Chengwei Liu, Yang Liu, Kui Ren:
Ambush From All Sides: Understanding Security Threats in Open-Source Software CI/CD Pipelines. IEEE Trans. Dependable Secur. Comput. 21(1): 403-418 (2024) - [j154]Mengxi Jiang, Yulei Sui, Yunqi Lei, Xiaofei Xie, Cuihua Li, Yang Liu, Ivor W. Tsang:
Adversarial Learning for Coordinate Regression Through $k$k-Layer Penetrating Representation. IEEE Trans. Dependable Secur. Comput. 21(6): 5538-5552 (2024) - [j153]Ju Jia, Siqi Ma, Yang Liu, Lina Wang, Robert H. Deng:
A Causality-Aligned Structure Rationalization Scheme Against Adversarial Biased Perturbations for Graph Neural Networks. IEEE Trans. Inf. Forensics Secur. 19: 59-73 (2024) - [j152]Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu:
Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks. IEEE Trans. Inf. Forensics Secur. 19: 2157-2170 (2024) - [j151]Cong Wu, Jing Chen, Qianru Fang, Kun He, Ziming Zhao, Hao Ren, Guowen Xu, Yang Liu, Yang Xiang:
Rethinking Membership Inference Attacks Against Transfer Learning. IEEE Trans. Inf. Forensics Secur. 19: 6441-6454 (2024) - [j150]Xiaojun Jia, Yuefeng Chen, Xiaofeng Mao, Ranjie Duan, Jindong Gu, Rong Zhang, Hui Xue, Yang Liu, Xiaochun Cao:
Revisiting and Exploring Efficient Fast Adversarial Training via LAW: Lipschitz Regularization and Auto Weight Averaging. IEEE Trans. Inf. Forensics Secur. 19: 8125-8139 (2024) - [j149]Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu:
Texture Re-Scalable Universal Adversarial Perturbation. IEEE Trans. Inf. Forensics Secur. 19: 8291-8305 (2024) - [j148]Wenxuan Li, Shihan Dou, Yueming Wu, Chenxi Li, Yang Liu:
COCL: An Intelligent Framework for Enhancing Deep Learning-Based Vulnerability Detection. IEEE Trans. Ind. Informatics 20(3): 4953-4961 (2024) - [j147]Cong Wu, Hangcheng Cao, Guowen Xu, Chengjie Zhou, Jianfei Sun, Ran Yan, Yang Liu, Hongbo Jiang:
It's All in the Touch: Authenticating Users With HOST Gestures on Multi-Touch Screen Devices. IEEE Trans. Mob. Comput. 23(10): 10016-10030 (2024) - [j146]Xinrui Tan, Hongjia Li, Xiaofei Xie, Lu Guo, Nirwan Ansari, Xueqing Huang, Liming Wang, Zhen Xu, Yang Liu:
Reinforcement Learning Based Online Request Scheduling Framework for Workload-Adaptive Edge Deep Learning Inference. IEEE Trans. Mob. Comput. 23(12): 13222-13239 (2024) - [j145]Yihao Huang, Felix Juefei-Xu, Qing Guo, Geguang Pu, Yang Liu:
Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network. IEEE Trans. Multim. 26: 5729-5740 (2024) - [j144]Tianlin Li, Xiaofei Xie, Jian Wang, Qing Guo, Aishan Liu, Lei Ma, Yang Liu:
Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis. ACM Trans. Softw. Eng. Methodol. 33(1): 21:1-21:24 (2024) - [j143]Weisong Sun, Chunrong Fang, Yifei Ge, Yuling Hu, Yuchen Chen, Quanjun Zhang, Xiuting Ge, Yang Liu, Zhenyu Chen:
A Survey of Source Code Search: A 3-Dimensional Perspective. ACM Trans. Softw. Eng. Methodol. 33(6): 166 (2024) - [j142]Chunrong Fang, Weisong Sun, Yuchen Chen, Xiao Chen, Zhao Wei, Quanjun Zhang, Yudu You, Bin Luo, Yang Liu, Zhenyu Chen:
Esale: Enhancing Code-Summary Alignment Learning for Source Code Summarization. IEEE Trans. Software Eng. 50(8): 2077-2095 (2024) - [j141]Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding:
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. IEEE Trans. Syst. Man Cybern. Syst. 54(2): 997-1010 (2024) - [c406]Ming Hu, Yue Cao, Anran Li, Zhiming Li, Chengwei Liu, Tianlin Li, Mingsong Chen, Yang Liu:
FedMut: Generalized Federated Learning via Stochastic Mutation. AAAI 2024: 12528-12537 - [c405]Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu:
Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. AAAI 2024: 21169-21178 - [c404]Cong Wu, Jing Chen, Ziming Zhao, Kun He, Guowen Xu, Yueming Wu, Haijun Wang, Hongwei Li, Yang Liu, Yang Xiang:
TokenScout: Early Detection of Ethereum Scam Tokens via Temporal Graph Learning. CCS 2024: 956-970 - [c403]Zhiming Li, Yanzhou Li, Tianlin Li, Mengnan Du, Bozhi Wu, Yushi Cao, Junzhe Jiang, Yang Liu:
Unveiling Project-Specific Bias in Neural Code Models. LREC/COLING 2024: 17205-17216 - [c402]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection. CVPR 2024: 3669-3678 - [c401]Chentao Jia, Ming Hu, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, Mingsong Chen:
AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems. DAC 2024: 84:1-84:6 - [c400]Qixuan Zhang, Zhifeng Wang, Dylan Zhang, Wenjia Niu, Sabrina B. Caldwell, Tom Gedeon, Yang Liu, Zhenyue Qin:
Visual Prompting in LLMs for Enhancing Emotion Recognition. EMNLP 2024: 4484-4499 - [c399]Zongjie Li, Chaozheng Wang, Pingchuan Ma, Daoyuan Wu, Shuai Wang, Cuiyun Gao, Yang Liu:
Split and Merge: Aligning Position Biases in LLM-based Evaluators. EMNLP 2024: 11084-11108 - [c398]Guanyu Wang, Yuekang Li, Yi Liu, Gelei Deng, Tianlin Li, Guosheng Xu, Yang Liu, Haoyu Wang, Kailong Wang:
MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation. FORGE 2024: 12-23 - [c397]Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu:
Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches. ICASSP 2024: 5985-5989 - [c396]Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Anran Li, Yang Liu, Xiang Lian, Mingsong Chen:
FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation. ICDE 2024: 2137-2150 - [c395]Yue Cao, Tianlin Li, Xiaofeng Cao, Ivor W. Tsang, Yang Liu, Qing Guo:
IRAD: Implicit Representation-driven Image Resampling against Adversarial Attacks. ICLR 2024 - [c394]Zhiming Li, Junzhe Jiang, Yushi Cao, Aixin Cui, Bozhi Wu, Bo Li, Yang Liu:
Logic-guided Deep Reinforcement Learning for Stock Trading. Tiny Papers @ ICLR 2024 - [c393]Yanzhou Li, Tianlin Li, Kangjie Chen, Jian Zhang, Shangqing Liu, Wenhan Wang, Tianwei Zhang, Yang Liu:
BadEdit: Backdooring Large Language Models by Model Editing. ICLR 2024 - [c392]Chenyu Liu, Xinliang Zhou, Zhengri Zhu, Liming Zhai, Ziyu Jia, Yang Liu:
VBH-GNN: Variational Bayesian Heterogeneous Graph Neural Networks for Cross-subject Emotion Recognition. ICLR 2024 - [c391]Zhiming Li, Yushi Cao, Yan Zheng, Xu Liu, Bozhi Wu, Tianlin Li, Xiufeng Xu, Junzhe Jiang, Yon Shin Teo, Shang-Wei Lin, Yang Liu:
Improving Neural Logic Machines via Failure Reflection. ICML 2024 - [c390]Tianlin Li, Yue Cao, Jian Zhang, Shiqian Zhao, Yihao Huang, Aishan Liu, Qing Guo, Yang Liu:
RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness. ICSE 2024: 9:1-9:13 - [c389]Chenghao Li, Yifei Wu, Wenbo Shen, Zichen Zhao, Rui Chang, Chengwei Liu, Yang Liu, Kui Ren:
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem. ICSE 2024: 24:1-24:13 - [c388]Zongjie Li, Chaozheng Wang, Pingchuan Ma, Chaowei Liu, Shuai Wang, Daoyuan Wu, Cuiyun Gao, Yang Liu:
On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study. ICSE 2024: 74:1-74:13 - [c387]Wenhan Wang, Yanzhou Li, Anran Li, Jian Zhang, Wei Ma, Yang Liu:
An Empirical Study on Noisy Label Learning for Program Understanding. ICSE 2024: 95:1-95:12 - [c386]Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu:
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis. ICSE 2024: 166:1-166:13 - [c385]Yiming Liu, Cen Zhang, Feng Li, Yeting Li, Jianhua Zhou, Jian Wang, Lanlan Zhan, Yang Liu, Wei Huo:
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware. ICSE 2024: 173:1-173:12 - [c384]Ruofan Zhu, Xingyu Wang, Chengwei Liu, Zhengzi Xu, Wenbo Shen, Rui Chang, Yang Liu:
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem. ICSE 2024: 211:1-211:12 - [c383]Jinchang Hu, Lyuye Zhang, Chengwei Liu, Sen Yang, Song Huang, Yang Liu:
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem. ICSE 2024: 212:1-212:13 - [c382]Siyue Feng, Wenqi Suo, Yueming Wu, Deqing Zou, Yang Liu, Hai Jin:
Machine Learning is All You Need: A Simple Token-based Approach for Effective Code Clone Detection. ICSE 2024: 222:1-222:13 - [c381]Chenyu Liu, Xinliang Zhou, Jiaping Xiao, Zhengri Zhu, Liming Zhai, Ziyu Jia, Yang Liu:
VSGT: Variational Spatial and Gaussian Temporal Graph Models for EEG-based Emotion Recognition. IJCAI 2024: 3078-3086 - [c380]Maoyi Xie, Ming Hu, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, Yang Liu:
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. ISSTA 2024: 402-414 - [c379]Cuiying Gao, Yueming Wu, Heng Li, Wei Yuan, Haoyu Jiang, Qidan He, Yang Liu:
Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines. ISSTA 2024: 553-565 - [c378]Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen:
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. ISSTA 2024: 590-602 - [c377]Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma, Xiaofei Xie, Yuekang Li, Limin Sun, Yang Liu:
How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation. ISSTA 2024: 1223-1235 - [c376]Ming Hu, Zhihao Yue, Xiaofei Xie, Cheng Chen, Yihao Huang, Xian Wei, Xiang Lian, Yang Liu, Mingsong Chen:
Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination. KDD 2024: 1096-1107 - [c375]Shangqing Liu, Wei Ma, Jian Wang, Xiaofei Xie, Ruitao Feng, Yang Liu:
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation. LCTES 2024: 166-177 - [c374]Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu:
LLMs for Relational Reasoning: How Far are We? LLM4CODE@ICSE 2024: 119-126 - [c373]Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, Yang Liu:
MASTERKEY: Automated Jailbreaking of Large Language Model Chatbots. NDSS 2024 - [c372]Gelei Deng, Yi Liu, Víctor Mayoral Vilches, Peng Liu, Yuekang Li, Yuan Xu, Martin Pinzger, Stefan Rass, Tianwei Zhang, Yang Liu:
PentestGPT: Evaluating and Harnessing Large Language Models for Automated Penetration Testing. USENIX Security Symposium 2024 - [c371]Siyue Feng, Yueming Wu, Wenjie Xue, Sikui Pan, Deqing Zou, Yang Liu, Hai Jin:
FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection. USENIX Security Symposium 2024 - [c370]Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen:
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. USENIX Security Symposium 2024 - [c369]Na Wang, Meng Xiao, Zhongliang Zhao, Yang Liu:
A Fast Weighted Clustering Algorithm for FANET. VTC Spring 2024: 1-6 - [c368]Tao Liu, Chengwei Liu, Tianwei Liu, He Wang, Gaofei Wu, Yang Liu, Yuqing Zhang:
Catch the Butterfly: Peeking into the Terms and Conflicts Among SPDX Licenses. SANER 2024: 477-488 - [c367]Zhengjie Du, Yuekang Li, Yaowen Zheng, Xiaohan Zhang, Cen Zhang, Yi Liu, Sheikh Mahbub Habib, Xinghua Li, Linzhang Wang, Yang Liu, Bing Mao:
Medusa: Unveil Memory Exhaustion DoS Vulnerabilities in Protocol Implementations. WWW 2024: 1668-1679 - [i282]Jinchang Hu, Lyuye Zhang, Chengwei Liu, Sen Yang, Song Huang, Yang Liu:
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem. CoRR abs/2401.00515 (2024) - [i281]Haodong Li, Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu, Guoai Xu, Guosheng Xu, Haoyu Wang:
Digger: Detecting Copyright Content Mis-usage in Large Language Model Training. CoRR abs/2401.00676 (2024) - [i280]Xiaohan Zhang, Cen Zhang, Xinghua Li, Zhengjie Du, Yuekang Li, Yaowen Zheng, Yeting Li, Bing Mao, Yang Liu, Robert H. Deng:
A Survey of Protocol Fuzzing. CoRR abs/2401.01568 (2024) - [i279]Ruofan Zhu, Xingyu Wang, Chengwei Liu, Zhengzi Xu, Wenbo Shen, Rui Chang, Yang Liu:
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem. CoRR abs/2401.02090 (2024) - [i278]Shenao Wang, Yuekang Li, Kailong Wang, Yi Liu, Hui Li, Yang Liu, Haoyu Wang:
MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis. CoRR abs/2401.03218 (2024) - [i277]Chong Wang, Jian Zhang, Yebo Feng, Tianlin Li, Weisong Sun, Yang Liu, Xin Peng:
Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation. CoRR abs/2401.06391 (2024) - [i276]Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu:
LLMs for Relational Reasoning: How Far are We? CoRR abs/2401.09042 (2024) - [i275]Tao Liu, Chengwei Liu, Tianwei Liu, He Wang, Gaofei Wu, Yang Liu, Yuqing Zhang:
Catch the Butterfly: Peeking into the Terms and Conflicts among SPDX Licenses. CoRR abs/2401.10636 (2024) - [i274]Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Wei Ma, Lyuye Zhang, Miaolei Shi, Yang Liu:
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning. CoRR abs/2401.16185 (2024) - [i273]Jie Li, Yi Liu, Chongyang Liu, Ling Shi, Xiaoning Ren, Yaowen Zheng, Yang Liu, Yinxing Xue:
A Cross-Language Investigation into Jailbreak Attacks in Large Language Models. CoRR abs/2401.16765 (2024) - [i272]Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu:
A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. CoRR abs/2401.17133 (2024) - [i271]Ziyue Pan, Wenbo Shen, Xingkai Wang, Yutian Yang, Rui Chang, Yao Liu, Chengwei Liu, Yang Liu, Kui Ren:
Ambush from All Sides: Understanding Security Threats in Open-Source Software CI/CD Pipelines. CoRR abs/2401.17606 (2024) - [i270]Chenyu Liu, Xinliang Zhou, Yihao Wu, Ruizhi Yang, Liming Zhai, Ziyu Jia, Yang Liu:
Graph Neural Networks in EEG-based Emotion Recognition: A Survey. CoRR abs/2402.01138 (2024) - [i269]Dingcheng Yang, Yang Bai, Xiaojun Jia, Yang Liu, Xiaochun Cao, Wenjian Yu:
Cheating Suffix: Targeted Attack to Text-To-Image Diffusion Models with Multi-Modal Priors. CoRR abs/2402.01369 (2024) - [i268]Yihao Huang, Kaiyuan Yu, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Tianlin Li, Geguang Pu, Yang Liu:
Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective. CoRR abs/2402.02738 (2024) - [i267]Qi Zhou, Dongxia Wang, Tianlin Li, Zhihong Xu, Yang Liu, Kui Ren, Wenhai Wang, Qing Guo:
FoolSDEdit: Deceptively Steering Your Edits Towards Targeted Attribute-aware Distribution. CoRR abs/2402.03705 (2024) - [i266]Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu:
Pandora: Jailbreak GPTs by Retrieval Augmented Generation Poisoning. CoRR abs/2402.08416 (2024) - [i265]Zhiyuan Chang, Mingyang Li, Yi Liu, Junjie Wang, Qing Wang, Yang Liu:
Play Guessing Game with LLM: Indirect Jailbreak Attack with Implicit Clues. CoRR abs/2402.09091 (2024) - [i264]Yi Liu, Guowei Yang, Gelei Deng, Feiyue Chen, Yuqi Chen, Ling Shi, Tianwei Zhang, Yang Liu:
Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation. CoRR abs/2402.12100 (2024) - [i263]Tianlin Li, Xiaoyu Zhang, Chao Du, Tianyu Pang, Qian Liu, Qing Guo, Chao Shen, Yang Liu:
Your Large Language Model is Secretly a Fairness Proponent and You Should Prompt it Like One. CoRR abs/2402.12150 (2024) - [i262]Guanyu Wang, Yuekang Li, Yi Liu, Gelei Deng, Tianlin Li, Guosheng Xu, Yang Liu, Haoyu Wang, Kailong Wang:
MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation. CoRR abs/2402.14480 (2024) - [i261]Tianlin Li, Qian Liu, Tianyu Pang, Chao Du, Qing Guo, Yang Liu, Min Lin:
Purifying Large Language Models by Ensembling a Small Language Model. CoRR abs/2402.14845 (2024) - [i260]Daoyuan Wu, Shuai Wang, Yang Liu, Ning Liu:
LLMs Can Defend Themselves Against Jailbreaking in a Practical Manner: A Vision Paper. CoRR abs/2402.15727 (2024) - [i259]Xiuting Ge, Chunrong Fang, Quanjun Zhang, Daoyuan Wu, Bowen Yu, Qirui Zheng, An Guo, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen:
Pre-trained Model-based Actionable Warning Identification: A Feasibility Study. CoRR abs/2403.02716 (2024) - [i258]Tingxu Han, Shenghan Huang, Ziqi Ding, Weisong Sun, Yebo Feng, Chunrong Fang, Jun Li, Hanwei Qian, Cong Wu, Quanjun Zhang, Yang Liu, Zhenyu Chen:
On the Effectiveness of Distillation in Mitigating Backdoors in Pre-trained Encoder. CoRR abs/2403.03846 (2024) - [i257]Lyuye Zhang, Kaixuan Li, Kairan Sun, Daoyuan Wu, Ye Liu, Haoye Tian, Yang Liu:
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts. CoRR abs/2403.06838 (2024) - [i256]Yanzhou Li, Tianlin Li, Kangjie Chen, Jian Zhang, Shangqing Liu, Wenhan Wang, Tianwei Zhang, Yang Liu:
BadEdit: Backdooring large language models by model editing. CoRR abs/2403.13355 (2024) - [i255]Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu:
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR abs/2403.16032 (2024) - [i254]Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu:
Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications. CoRR abs/2403.16073 (2024) - [i253]Dianxiang Sun, Wei Ma, Liming Nie, Yang Liu:
SoK: Comprehensive Analysis of Rug Pull Causes, Datasets, and Detection Tools in DeFi. CoRR abs/2403.16082 (2024) - [i252]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
CosalPure: Learning Concept from Group Images for Robust Co-Saliency Detection. CoRR abs/2403.18554 (2024) - [i251]Jian Zhang, Chong Wang, Anran Li, Weisong Sun, Cen Zhang, Wei Ma, Yang Liu:
An Empirical Study of Automated Vulnerability Localization with Large Language Models. CoRR abs/2404.00287 (2024) - [i250]Fang Liu, Yang Liu, Lin Shi, Houkun Huang, Ruifeng Wang, Zhen Yang, Li Zhang:
Exploring and Evaluating Hallucinations in LLM-Powered Code Generation. CoRR abs/2404.00971 (2024) - [i249]Qianhui Zhao, Fang Liu, Li Zhang, Yang Liu, Zhen Yan, Zhenghao Chen, Yufei Zhou, Jing Jiang, Ge Li:
Peer-aided Repairer: Empowering Large Language Models to Repair Advanced Student Assignments. CoRR abs/2404.01754 (2024) - [i248]Zhihao Lin, Wei Ma, Tao Lin, Yaowen Zheng, Jingquan Ge, Jun Wang, Jacques Klein, Tegawendé F. Bissyandé, Yang Liu, Li Li:
Open-Source AI-based SE Tools: Opportunities and Challenges of Collaborative Software Learning. CoRR abs/2404.06201 (2024) - [i247]Shangqing Liu, Wei Ma, Jian Wang, Xiaofei Xie, Ruitao Feng, Yang Liu:
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation. CoRR abs/2404.09599 (2024) - [i246]Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang:
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection. CoRR abs/2404.09894 (2024) - [i245]Qixuan Zhang, Zhifeng Wang, Yang Liu, Zhenyue Qin, Kaihao Zhang, Sabrina B. Caldwell, Tom Gedeon:
Authentic Emotion Mapping: Benchmarking Facial Expressions in Real News. CoRR abs/2404.13493 (2024) - [i244]Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen:
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? CoRR abs/2404.18186 (2024) - [i243]Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu:
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection. CoRR abs/2405.00428 (2024) - [i242]Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu:
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. CoRR abs/2405.02580 (2024) - [i241]Hanxiang Xu, Shenao Wang, Ningke Li, Kailong Wang, Yanjie Zhao, Kai Chen, Ting Yu, Yang Liu, Haoyu Wang:
Large Language Models for Cyber Security: A Systematic Literature Review. CoRR abs/2405.04760 (2024) - [i240]Gelei Deng, Haoran Ou, Yi Liu, Jie Zhang, Tianwei Zhang, Yang Liu:
Oedipus: LLM-enchanced Reasoning CAPTCHA Solver. CoRR abs/2405.07496 (2024) - [i239]Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Geguang Pu, Yang Liu:
Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs. CoRR abs/2405.14189 (2024) - [i238]Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Run Wang, Geguang Pu, Yang Liu:
Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake. CoRR abs/2405.18071 (2024) - [i237]Xiaojun Jia, Tianyu Pang, Chao Du, Yihao Huang, Jindong Gu, Yang Liu, Xiaochun Cao, Min Lin:
Improved Techniques for Optimization-Based Jailbreaking on Large Language Models. CoRR abs/2405.21018 (2024) - [i236]Ruichao Liang, Jing Chen, Cong Wu, Kun He, Yueming Wu, Weisong Sun, Ruiying Du, Qingchuan Zhao, Yang Liu:
Towards Effective Detection of Ponzi schemes on Ethereum with Contract Runtime Behavior Graph. CoRR abs/2406.00921 (2024) - [i235]Zaibin Zhang, Shiyu Tang, Yuanhang Zhang, Talas Fu, Yifan Wang, Yang Liu, Dong Wang, Jing Shao, Lijun Wang, Huchuan Lu:
AD-H: Autonomous Driving with Hierarchical Agents. CoRR abs/2406.03474 (2024) - [i234]Xunguang Wang, Daoyuan Wu, Zhenlan Ji, Zongjie Li, Pingchuan Ma, Shuai Wang, Yingjiu Li, Yang Liu, Ning Liu, Juergen Rahmel:
SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner. CoRR abs/2406.05498 (2024) - [i233]Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu:
Texture Re-scalable Universal Adversarial Perturbation. CoRR abs/2406.06089 (2024) - [i232]Chong Wang, Kaifeng Huang, Jian Zhang, Yebo Feng, Lyuye Zhang, Yang Liu, Xin Peng:
How and Why LLMs Use Deprecated APIs in Code Completion? An Empirical Study. CoRR abs/2406.09834 (2024) - [i231]Zhiyuan Chang, Mingyang Li, Junjie Wang, Yi Liu, Qing Wang, Yang Liu:
Repairing Catastrophic-Neglect in Text-to-Image Diffusion Models via Attention-Guided Feature Enhancement. CoRR abs/2406.16272 (2024) - [i230]Chunrong Fang, Weisong Sun, Yuchen Chen, Xiao Chen, Zhao Wei, Quanjun Zhang, Yudu You, Bin Luo, Yang Liu, Zhenyu Chen:
ESALE: Enhancing Code-Summary Alignment Learning for Source Code Summarization. CoRR abs/2407.01646 (2024) - [i229]Chong Wang, Jian Zhang, Yiling Lou, Mingwei Liu, Weisong Sun, Yang Liu, Xin Peng:
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference. CoRR abs/2407.02095 (2024) - [i228]Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang, Chunrong Fang, Yi Liu, Gelei Deng, Yang Liu, Zhenyu Chen:
Source Code Summarization in the Era of Large Language Models. CoRR abs/2407.07959 (2024) - [i227]Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen:
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. CoRR abs/2407.17065 (2024) - [i226]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i225]Yi Liu, Guanyu Wang, Xinyi Zheng, Gelei Deng, Kailong Wang, Yang Liu, Haoyu Wang:
SPOLRE: Semantic Preserving Object Layout Reconstruction for Image Captioning System Testing. CoRR abs/2407.18512 (2024) - [i224]Shide Zhou, Tianlin Li, Yihao Huang, Ling Shi, Kailong Wang, Yang Liu, Haoyu Wang:
NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing. CoRR abs/2407.20281 (2024) - [i223]Baijun Cheng, Ce Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Xiangqun Chen:
Semantic-Enhanced Indirect Call Analysis with Large Language Models. CoRR abs/2408.04344 (2024) - [i222]Weisong Sun, Yuchen Chen, Chunrong Fang, Yebo Feng, Yuan Xiao, An Guo, Quanjun Zhang, Yang Liu, Baowen Xu, Zhenyu Chen:
Eliminating Backdoors in Neural Code Models via Trigger Inversion. CoRR abs/2408.04683 (2024) - [i221]Chenyu Liu, Xinliang Zhou, Yihao Wu, Yi Ding, Liming Zhai, Kun Wang, Ziyu Jia, Yang Liu:
A Comprehensive Survey on EEG-Based Emotion Recognition: A Graph-Based Perspective. CoRR abs/2408.06027 (2024) - [i220]Simiao Lai, Chang Liu, Jiawen Zhu, Ben Kang, Yang Liu, Dong Wang, Huchuan Lu:
MambaVT: Spatio-Temporal Contextual Modeling for robust RGB-T Tracking. CoRR abs/2408.07889 (2024) - [i219]Yi Liu, Junchen Ding, Gelei Deng, Yuekang Li, Tianwei Zhang, Weisong Sun, Yaowen Zheng, Jingquan Ge, Yang Liu:
Image-Based Geolocation Using Large Vision-Language Models. CoRR abs/2408.09474 (2024) - [i218]Ruichao Liang, Jing Chen, Cong Wu, Kun He, Yueming Wu, Ruochen Cao, Ruiying Du, Yang Liu, Ziming Zhao:
Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing. CoRR abs/2408.10116 (2024) - [i217]Qiao Li, Cong Wu, Jing Chen, Zijun Zhang, Kun He, Ruiying Du, Xinxin Wang, Qingchuang Zhao, Yang Liu:
Privacy-preserving Universal Adversarial Defense for Black-box Models. CoRR abs/2408.10647 (2024) - [i216]Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu:
Perception-guided Jailbreak against Text-to-Image Models. CoRR abs/2408.10848 (2024) - [i215]Minghao Liu, Zonglin Di, Jiaheng Wei, Zhongruo Wang, Hengxiang Zhang, Ruixuan Xiao, Haoyu Wang, Jinlong Pang, Hao Chen, Ankit Shah, Hongxin Wei, Xinlei He, Zhaowei Zhao, Haobo Wang, Lei Feng, Jindong Wang, James Davis, Yang Liu:
Automatic Dataset Construction (ADC): Sample Collection, Data Curation, and Beyond. CoRR abs/2408.11338 (2024) - [i214]Yi Liu, Junzhe Yu, Huijia Sun, Ling Shi, Gelei Deng, Yuqi Chen, Yang Liu:
Efficient Detection of Toxic Prompts in Large Language Models. CoRR abs/2408.11727 (2024) - [i213]Sensen Gao, Xiaojun Jia, Yihao Huang, Ranjie Duan, Jindong Gu, Yang Liu, Qing Guo:
RT-Attack: Jailbreaking Text-to-Image Models via Random Token. CoRR abs/2408.13896 (2024) - [i212]Shide Zhou, Tianlin Li, Kailong Wang, Yihao Huang, Ling Shi, Yang Liu, Haoyu Wang:
Investigating Coverage Criteria in Large Language Models: An In-Depth Study Through Jailbreak Attacks. CoRR abs/2408.15207 (2024) - [i211]Yifan Hua, Jinlong Pang, Xiaoxue Zhang, Yi Liu, Xiaofeng Shi, Bao Wang, Yang Liu, Chen Qian:
Towards Practical Overlay Networks for Decentralized Federated Learning. CoRR abs/2409.05331 (2024) - [i210]An Guo, Yuan Zhou, Haoxiang Tian, Chunrong Fang, Yunjian Sun, Weisong Sun, Xinyu Gao, Anh Tuan Luu, Yang Liu, Zhenyu Chen:
SoVAR: Building Generalizable Scenarios from Accident Reports for Autonomous Driving Testing. CoRR abs/2409.08081 (2024) - [i209]Zhihao Lin, Wei Ma, Mingyi Zhou, Yanjie Zhao, Haoyu Wang, Yang Liu, Jun Wang, Li Li:
PathSeeker: Exploring LLM Security Vulnerabilities with a Reinforcement Learning-Based Jailbreak Approach. CoRR abs/2409.14177 (2024) - [i208]Wenbo Guo, Chengwei Liu, Limin Wang, Jiahui Wu, Zhengzi Xu, Cheng Huang, Yong Fang, Yang Liu:
PackageIntel: Leveraging Large Language Models for Automated Intelligence Extraction in Package Ecosystems. CoRR abs/2409.15049 (2024) - [i207]Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen, Tianlin Li, Weipeng Jiang, Yang Liu:
Speculative Coreset Selection for Task-Specific Fine-tuning. CoRR abs/2410.01296 (2024) - [i206]Qixuan Zhang, Zhifeng Wang, Dylan Zhang, Wenjia Niu, Sabrina B. Caldwell, Tom Gedeon, Yang Liu, Zhenyue Qin:
Visual Prompting in LLMs for Enhancing Emotion Recognition. CoRR abs/2410.02244 (2024) - [i205]Yifei Ge, Weisong Sun, Yihang Lou, Chunrong Fang, Yiran Zhang, Yiming Li, Xiaofang Zhang, Yang Liu, Zhihong Zhao, Zhenyu Chen:
Demonstration Attack against In-Context Learning for Code Intelligence. CoRR abs/2410.02841 (2024) - [i204]Fan Yang, Yihao Huang, Kailong Wang, Ling Shi, Geguang Pu, Yang Liu, Haoyu Wang:
Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models. CoRR abs/2410.11639 (2024) - [i203]Yuchen Chen, Weisong Sun, Chunrong Fang, Zhenpeng Chen, Yifei Ge, Tingxu Han, Quanjun Zhang, Yang Liu, Zhenyu Chen, Baowen Xu:
Security of Language Models for Code: A Systematic Literature Review. CoRR abs/2410.15631 (2024) - [i202]Yaoqi Guo, Zhenpeng Chen, Jie M. Zhang, Yang Liu, Yun Ma:
Personality-Guided Code Generation Using Large Language Models. CoRR abs/2411.00006 (2024) - [i201]Xinyue Li, Zhenpeng Chen, Jie M. Zhang, Yiling Lou, Tianlin Li, Weisong Sun, Yang Liu, Xuanzhe Liu:
Benchmarking Bias in Large Language Models during Role-Playing. CoRR abs/2411.00585 (2024) - 2023
- [j140]Bihuan Chen, Yang Liu, Xin Peng, Yijian Wu, Shengchao Qin:
Baton: symphony of random testing and concolic testing through machine learning and taint analysis. Sci. China Inf. Sci. 66(3) (2023) - [j139]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55(13s): 277:1-277:47 (2023) - [j138]Blaise Ravelo, Alexandre Douyère, Yang Liu, Wenceslas Rahajandraibe, Fayu Wan, George Chan, Mathieu Guerin:
Fully Microstrip Three-Port Circuit Bandpass NGD Design and Test. IEEE Des. Test 40(1): 96-104 (2023) - [j137]Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun:
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. 35(4): 24:1-24:29 (2023) - [j136]Hubin Yang, Yang Liu, Fengyun Li, Yucong Chen, Rui Zhou, Qingguo Zhou:
Improving real-time of Jailhouse on embedded systems via bank and cache partitioning. Int. J. Embed. Syst. 16(2): 126-133 (2023) - [j135]Chris Xing Tian, Haoliang Li, Xiaofei Xie, Yang Liu, Shiqi Wang:
Neuron Coverage-Guided Domain Generalization. IEEE Trans. Pattern Anal. Mach. Intell. 45(1): 1302-1311 (2023) - [j134]Wei Gao, Xu Zhang, Shangwei Guo, Tianwei Zhang, Tao Xiang, Han Qiu, Yonggang Wen, Yang Liu:
Automatic Transformation Search Against Deep Leakage From Gradients. IEEE Trans. Pattern Anal. Mach. Intell. 45(9): 10650-10668 (2023) - [j133]Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He:
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. 8(3): 1603-1610 (2023) - [j132]Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding:
Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles. Robotica 41(2): 668-689 (2023) - [j131]Xingshuo Han, Yuan Zhou, Kangjie Chen, Han Qiu, Meikang Qiu, Yang Liu, Tianwei Zhang:
ADS-Lead: Lifelong Anomaly Detection in Autonomous Driving Systems. IEEE Trans. Intell. Transp. Syst. 24(1): 1039-1051 (2023) - [j130]Ju Jia, Meng Luo, Siqi Ma, Lina Wang, Yang Liu:
Consensus-Clustering-Based Automatic Distribution Matching for Cross-Domain Image Steganalysis. IEEE Trans. Knowl. Data Eng. 35(6): 5665-5679 (2023) - [j129]Sihan Xu, Ya Gao, Lingling Fan, Zheli Liu, Yang Liu, Hua Ji:
LiDetector: License Incompatibility Detection for Open Source Software. ACM Trans. Softw. Eng. Methodol. 32(1): 22:1-22:28 (2023) - [j128]Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu:
A Survey on Automated Driving System Testing: Landscapes and Trends. ACM Trans. Softw. Eng. Methodol. 32(5): 124:1-124:62 (2023) - [j127]Shouguo Yang, Zhengzi Xu, Yang Xiao, Zhe Lang, Wei Tang, Yang Liu, Zhiqiang Shi, Hong Li, Limin Sun:
Towards Practical Binary Code Similarity Detection: Vulnerability Verification via Patch Semantic Analysis. ACM Trans. Softw. Eng. Methodol. 32(6): 158:1-158:29 (2023) - [j126]Meng Xi, Jianwei Yin, Zhengzi Xu, Ying Li, Shuiguang Deng, Yang Liu:
Service Pattern Optimization: Focusing on Collaboration in Service Ecosystems. IEEE Trans. Serv. Comput. 16(6): 3958-3971 (2023) - [j125]Sen Chen, Lingling Fan, Chunyang Chen, Yang Liu:
Automatically Distilling Storyboard With Rich Features for Android Apps. IEEE Trans. Software Eng. 49(2): 667-683 (2023) - [j124]Yutong Zhao, Lu Xiao, Andre B. Bondi, Bihuan Chen, Yang Liu:
A Large-Scale Empirical Study of Real-Life Performance Issues in Open Source Projects. IEEE Trans. Software Eng. 49(2): 924-946 (2023) - [j123]Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li:
Demystifying Performance Regressions in String Solvers. IEEE Trans. Software Eng. 49(3): 947-961 (2023) - [j122]Muhui Jiang, Qinming Dai, Wenlong Zhang, Rui Chang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren:
A Comprehensive Study on ARM Disassembly Tools. IEEE Trans. Software Eng. 49(4): 1683-1703 (2023) - [j121]Shangqing Liu, Xiaofei Xie, Jing Kai Siow, Lei Ma, Guozhu Meng, Yang Liu:
GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search. IEEE Trans. Software Eng. 49(4): 2839-2855 (2023) - [j120]Chunrong Fang, Shengcheng Yu, Ting Su, Jing Zhang, Yuanhan Tian, Yang Liu:
Test Report Generation for Android App Testing Via Heterogeneous Data Analysis. IEEE Trans. Software Eng. 49(5): 3032-3051 (2023) - [j119]Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang:
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49(6): 3391-3410 (2023) - [c366]Rui Huang, Ruofei Wang, Qing Guo, Jieda Wei, Yuxiang Zhang, Wei Fan, Yang Liu:
Background-Mixed Augmentation for Weakly Supervised Change Detection. AAAI 2023: 7919-7927 - [c365]Yanzhou Li, Shangqing Liu, Kangjie Chen, Xiaofei Xie, Tianwei Zhang, Yang Liu:
Multi-target Backdoor Attacks for Code Pre-trained Models. ACL (1) 2023: 7236-7254 - [c364]Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-Flow Test Data Generation. Theories of Programming and Formal Methods 2023: 257-293 - [c363]Etienne Sapin, Suraj Menon, Jingquan Ge, Sheikh Mahbub Habib, Maurice Heymann, Yuekang Li, Rene Palige, Gabriel Byman, Yang Liu:
Monitoring Automotive Software Security Health through Trustworthiness Score. CSCS 2023: 1:1-1:9 - [c362]Jingquan Ge, Yuekang Li, Yang Liu, Yaowen Zheng, Yi Liu, Lida Zhao:
PumpChannel: An Efficient and Secure Communication Channel for Trusted Execution Environment on ARM-FPGA Embedded SoC. DATE 2023: 1-6 - [c361]Vinay Sachidananda, Rajendra Patil, Akshay Sachdeva, Kwok-Yan Lam, Yang Liu:
APTer: Towards the Investigation of APT Attribution. DSC 2023: 1-10 - [c360]Xinliang Zhou, Dan Lin, Ziyu Jia, Jiaping Xiao, Chenyu Liu, Liming Zhai, Yang Liu:
An EEG Channel Selection Framework for Driver Drowsiness Detection via Interpretability Guidance. EMBC 2023: 1-5 - [c359]Jie Zhang, Wei Ma, Qiang Hu, Shangqing Liu, Xiaofei Xie, Yves Le Traon, Yang Liu:
A Black-Box Attack on Code Models via Representation Nearest Neighbor Search. EMNLP (Findings) 2023: 9706-9716 - [c358]Yuan Xu, Xingshuo Han, Gelei Deng, Jiwei Li, Yang Liu, Tianwei Zhang:
SoK: Rethinking Sensor Spoofing Attacks against Robotic Vehicles from a Systematic View. EuroS&P 2023: 1082-1100 - [c357]Jinnan Zhang, Wei Zheng, Yang Liu, Qinghua Gong, Xinmin Wang, Min Qiao:
Verifiable Multi-Key Privacy Data Computing System Based on Blockchain. ICAIT 2023: 295-300 - [c356]Hanbing Liu, Yanru Wu, Yang Liu, Ercan E. Kuruoglu, Xuan Zhang:
SDG-L: A Semiparametric Deep Gaussian Process based Framework for Battery Capacity Prediction. ICASSP 2023: 1-5 - [c355]Tianlin Li, Qing Guo, Aishan Liu, Mengnan Du, Zhiming Li, Yang Liu:
FAIRER: Fairness as Decision Rationale Alignment. ICML 2023: 19471-19489 - [c354]Yuan Zhou, Gengjie Lin, Yun Tang, Kairui Yang, Wei Jing, Ping Zhang, Junbo Chen, Liang Gong, Yang Liu:
FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing. ICRA 2023: 11389-11395 - [c353]Jiahui Wu, Zhengzi Xu, Wei Tang, Lyuye Zhang, Yueming Wu, Chengyue Liu, Kairan Sun, Lida Zhao, Yang Liu:
OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions. ICSE 2023: 270-282 - [c352]Yuekun Wang, Yuhang Ye, Yueming Wu, Weiwei Zhang, Yinxing Xue, Yang Liu:
Comparison and Evaluation of Clone Detection Techniques with Different Code Representations. ICSE 2023: 332-344 - [c351]Shangqing Liu, Bozhi Wu, Xiaofei Xie, Guozhu Meng, Yang Liu:
ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning. ICSE 2023: 2476-2487 - [c350]Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Lida Zhao, Jiahui Wu, Yang Liu:
Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects. ICSE 2023: 2540-2552 - [c349]Tianlin Li, Zhiming Li, Anran Li, Mengnan Du, Aishan Liu, Qing Guo, Guozhu Meng, Yang Liu:
Fairness via Group Contribution Matching. IJCAI 2023: 436-445 - [c348]Anran Li, Hongyi Peng, Lan Zhang, Jiahui Huang, Qing Guo, Han Yu, Yang Liu:
FedSDG-FS: Efficient and Secure Feature Selection for Vertical Federated Learning. INFOCOM 2023: 1-10 - [c347]Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen:
A Comprehensive Study on Quality Assurance Tools for Java. ISSTA 2023: 285-297 - [c346]Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang:
Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. ISSTA 2023: 1157-1168 - [c345]Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu, Yang Liu:
Detecting Condition-Related Bugs with Control Flow Graph Neural Network. ISSTA 2023: 1370-1382 - [c344]Wenbo Guo, Zhengzi Xu, Chengwei Liu, Cheng Huang, Yong Fang, Yang Liu:
An Empirical Study of Malicious Code In PyPI Ecosystem. ASE 2023: 166-177 - [c343]Lyuye Zhang, Chengwei Liu, Sen Chen, Zhengzi Xu, Lingling Fan, Lida Zhao, Yiran Zhang, Yang Liu:
Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem. ASE 2023: 191-203 - [c342]Jian Zhang, Shangqing Liu, Xu Wang, Tianlin Li, Yang Liu:
Learning to Locate and Describe Vulnerabilities. ASE 2023: 332-344 - [c341]Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao, Shaohua Wang, Yang Liu, Zhaoquan Gu:
When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection. ASE 2023: 345-357 - [c340]Yi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma, Yang Liu:
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers. ASE 2023: 510-521 - [c339]Linyu Li, Sihan Xu, Yang Liu, Ya Gao, Xiangrui Cai, Jiarun Wu, Wenli Song, Zheli Liu:
LiSum: Open Source Software License Summarization with Multi-Task Learning. ASE 2023: 787-799 - [c338]Yuqiang Sun, Zhengzi Xu, Chengwei Liu, Yiran Zhang, Yang Liu:
Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration. ASE 2023: 825-836 - [c337]Kai Huang, Xiangxin Meng, Jian Zhang, Yang Liu, Wenjie Wang, Shuhao Li, Yuqing Zhang:
An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair. ASE 2023: 1162-1174 - [c336]Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu:
ALA: Naturalness-aware Adversarial Lightness Attack. ACM Multimedia 2023: 2418-2426 - [c335]Vinay Sachidananda, Rajendra Patil, Hongyi Peng, Yang Liu, Kwok-Yan Lam:
ThreatLand: Extracting Intelligence from Audit Logs via NLP methods. PST 2023: 1-6 - [c334]Ming Hu, Zeke Xia, Dengke Yan, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen:
GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning Using Version Control. RTSS 2023: 145-157 - [c333]Junjie Shan, Shihan Dou, Yueming Wu, Hairu Wu, Yang Liu:
Gitor: Scalable Code Clone Detection by Building Global Sample Graph. ESEC/SIGSOFT FSE 2023: 784-795 - [c332]Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, Yang Liu:
Demystifying the Composition and Code Reuse in Solidity Smart Contracts. ESEC/SIGSOFT FSE 2023: 796-807 - [c331]Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen:
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. ESEC/SIGSOFT FSE 2023: 921-933 - [c330]Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, Yang Liu:
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. ESEC/SIGSOFT FSE 2023: 960-972 - [c329]Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen, Jianwen Sun, Dong Qiu, Yang Liu:
Software Architecture Recovery with Information Fusion. ESEC/SIGSOFT FSE 2023: 1535-1547 - [c328]Jiawei Yin, Menghao Li, Yuekang Li, Yong Yu, Boru Lin, Yanyan Zou, Yang Liu, Wei Huo, Jingling Xue:
RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing. SP 2023: 2155-2169 - [c327]Xinyi Wang, Cen Zhang, Yeting Li, Zhiwu Xu, Shuailin Huang, Yi Liu, Yican Yao, Yang Xiao, Yanyan Zou, Yang Liu, Wei Huo:
Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation. SP 2023: 2427-2443 - [c326]Vinay Sachidananda, Sivaanandh Muneeswaran, Yang Liu, Kwok-Yan Lam:
Do NoT Open (DOT): A Unified Generic and Specialized Models for Detecting Malicious Email Attachments. TrustCom 2023: 412-421 - [c325]Vinay Sachidananda, Berwyn Chai, Florian Gondesen, Kwok-Yan Lam, Yang Liu:
Honey-Gauge: Enabling User-Centric Honeypot Classification. UbiSec 2023: 114-132 - [c324]Cen Zhang, Yuekang Li, Hao Zhou, Xiaohan Zhang, Yaowen Zheng, Xian Zhan, Xiaofei Xie, Xiapu Luo, Xinghua Li, Yang Liu, Sheikh Mahbub Habib:
Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation. USENIX Security Symposium 2023: 2867-2884 - [c323]Gelei Deng, Zhiyi Zhang, Yuekang Li, Yi Liu, Tianwei Zhang, Yang Liu, Guo Yu, Dongjin Wang:
NAUTILUS: Automated RESTful API Vulnerability Detection. USENIX Security Symposium 2023: 5593-5609 - [c322]Wenhan Wang, Kechi Zhang, Ge Li, Shangqing Liu, Anran Li, Zhi Jin, Yang Liu:
Learning Program Representations with a Tree-Structured Transformer. SANER 2023: 248-259 - [i200]Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Lida Zhao, Jiahui Wu, Yang Liu:
Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects. CoRR abs/2301.08434 (2023) - [i199]Shangqing Liu, Bozhi Wu, Xiaofei Xie, Guozhu Meng, Yang Liu:
ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning. CoRR abs/2301.09072 (2023) - [i198]Yuan Zhou, Gengjie Lin, Yun Tang, Kairui Yang, Wei Jing, Ping Zhang, Junbo Chen, Liang Gong, Yang Liu:
FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing. CoRR abs/2301.12738 (2023) - [i197]Anran Li, Hongyi Peng, Lan Zhang, Jiahui Huang, Qing Guo, Han Yu, Yang Liu:
FedSDG-FS: Efficient and Secure Feature Selection for Vertical Federated Learning. CoRR abs/2302.10417 (2023) - [i196]Xinliang Zhou, Chenyu Liu, Liming Zhai, Ziyu Jia, Cuntai Guan, Yang Liu:
Interpretable and Robust AI in EEG Systems: A Survey. CoRR abs/2304.10755 (2023) - [i195]Xinliang Zhou, Dan Lin, Ziyu Jia, Jiaping Xiao, Chenyu Liu, Liming Zhai, Yang Liu:
An EEG Channel Selection Framework for Driver Drowsiness Detection via Interpretability Guidance. CoRR abs/2304.14920 (2023) - [i194]Jie Zhang, Wei Ma, Qiang Hu, Xiaofei Xie, Yves Le Traon, Yang Liu:
RNNS: Representation Nearest Neighbor Search Black-Box Attack on Code Models. CoRR abs/2305.05896 (2023) - [i193]Xinliang Zhou, Chenyu Liu, Jiaping Xiao, Yang Liu:
EEG-based Sleep Staging with Hybrid Attention. CoRR abs/2305.09543 (2023) - [i192]Chenyu Liu, Xinliang Zhou, Yang Liu:
EENED: End-to-End Neural Epilepsy Detection based on Convolutional Transformer. CoRR abs/2305.10502 (2023) - [i191]Ming Hu, Zhihao Yue, Zhiwei Ling, Yihao Huang, Cheng Chen, Xian Wei, Yang Liu, Mingsong Chen:
FedMR: Federated Learning via Model Recombination. CoRR abs/2305.10730 (2023) - [i190]Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu:
Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches. CoRR abs/2305.10929 (2023) - [i189]Wei Ma, Shangqing Liu, Wenhan Wang, Qiang Hu, Ye Liu, Cen Zhang, Liming Nie, Yang Liu:
The Scope of ChatGPT in Software Engineering: A Thorough Investigation. CoRR abs/2305.12138 (2023) - [i188]Weisong Sun, Chunrong Fang, Yudu You, Yun Miao, Yi Liu, Yuekang Li, Gelei Deng, Shenghan Huang, Yuchen Chen, Quanjun Zhang, Hanwei Qian, Yang Liu, Zhenyu Chen:
Automatic Code Summarization via ChatGPT: How Far Are We? CoRR abs/2305.12865 (2023) - [i187]Yi Liu, Gelei Deng, Zhengzi Xu, Yuekang Li, Yaowen Zheng, Ying Zhang, Lida Zhao, Tianwei Zhang, Yang Liu:
Jailbreaking ChatGPT via Prompt Engineering: An Empirical Study. CoRR abs/2305.13860 (2023) - [i186]Yihao Huang, Yue Cao, Tianlin Li, Felix Juefei-Xu, Di Lin, Ivor W. Tsang, Yang Liu, Qing Guo:
On the Robustness of Segment Anything. CoRR abs/2305.16220 (2023) - [i185]Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen:
A Comprehensive Study on Quality Assurance Tools for Java. CoRR abs/2305.16812 (2023) - [i184]Yi Liu, Gelei Deng, Yuekang Li, Kailong Wang, Tianwei Zhang, Yepang Liu, Haoyu Wang, Yan Zheng, Yang Liu:
Prompt Injection attack against LLM-integrated Applications. CoRR abs/2306.05499 (2023) - [i183]Yanzhou Li, Shangqing Liu, Kangjie Chen, Xiaofei Xie, Tianwei Zhang, Yang Liu:
Multi-target Backdoor Attacks for Code Pre-trained Models. CoRR abs/2306.08350 (2023) - [i182]Tianlin Li, Qing Guo, Aishan Liu, Mengnan Du, Zhiming Li, Yang Liu:
FAIRER: Fairness as Decision Rationale Alignment. CoRR abs/2306.15299 (2023) - [i181]Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, Yang Liu:
Jailbreaker: Automated Jailbreak Across Multiple Large Language Model Chatbots. CoRR abs/2307.08715 (2023) - [i180]Wenhan Wang, Yanzhou Li, Anran Li, Jian Zhang, Wei Ma, Yang Liu:
An Empirical Study on the Effectiveness of Noisy Label Learning for Program Understanding. CoRR abs/2307.08990 (2023) - [i179]Cen Zhang, Mingqiang Bai, Yaowen Zheng, Yeting Li, Xiaofei Xie, Yuekang Li, Wei Ma, Limin Sun, Yang Liu:
Understanding Large Language Model Based Fuzz Driver Generation. CoRR abs/2307.12469 (2023) - [i178]Shihan Dou, Junjie Shan, Haoxiang Jia, Wenhao Deng, Zhiheng Xi, Wei He, Yueming Wu, Tao Gui, Yang Liu, Xuanjing Huang:
Towards Understanding the Capability of Large Language Models on Code Clone Detection: A Survey. CoRR abs/2308.01191 (2023) - [i177]Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu:
When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan. CoRR abs/2308.03314 (2023) - [i176]Lyuye Zhang, Chengwei Liu, Sen Chen, Zhengzi Xu, Lingling Fan, Lida Zhao, Yiran Zhang, Yang Liu:
Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem. CoRR abs/2308.03419 (2023) - [i175]Gelei Deng, Yi Liu, Victor Mayoral Vilches, Peng Liu, Yuekang Li, Yuan Xu, Tianwei Zhang, Yang Liu, Martin Pinzger, Stefan Rass:
PentestGPT: An LLM-empowered Automatic Penetration Testing Tool. CoRR abs/2308.06782 (2023) - [i174]Yuqiang Sun, Zhengzi Xu, Chengwei Liu, Yiran Zhang, Yang Liu:
Who is the Real Hero? Measuring Developer Contribution via Multi-dimensional Data Integration. CoRR abs/2308.08991 (2023) - [i173]Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao, Shaohua Wang, Yang Liu, Zhaoquan Gu:
When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection. CoRR abs/2308.10523 (2023) - [i172]Yanxin Yang, Ming Hu, Yue Cao, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen:
Protect Federated Learning Against Backdoor Attacks via Data-Free Trigger Generation. CoRR abs/2308.11333 (2023) - [i171]Yi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma, Yang Liu:
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers. CoRR abs/2308.15742 (2023) - [i170]Linyu Li, Sihan Xu, Yang Liu, Ya Gao, Xiangrui Cai, Jiarun Wu, Wenli Song, Zheli Liu:
LiSum: Open Source Software License Summarization with Multi-Task Learning. CoRR abs/2309.05074 (2023) - [i169]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems. CoRR abs/2309.09141 (2023) - [i168]Wenbo Guo, Zhengzi Xu, Chengwei Liu, Cheng Huang, Yong Fang, Yang Liu:
An Empirical Study of Malicious Code In PyPI Ecosystem. CoRR abs/2309.11021 (2023) - [i167]Zongjie Li, Chaozheng Wang, Pingchuan Ma, Daoyuan Wu, Shuai Wang, Cuiyun Gao, Yang Liu:
Split and Merge: Aligning Position Biases in Large Language Model based Evaluators. CoRR abs/2310.01432 (2023) - [i166]Zhiming Li, Junzhe Jiang, Yushi Cao, Aixin Cui, Bozhi Wu, Bo Li, Yang Liu:
Logic-guided Deep Reinforcement Learning for Stock Trading. CoRR abs/2310.05551 (2023) - [i165]Yue Cao, Tianlin Li, Xiaofeng Cao, Ivor W. Tsang, Yang Liu, Qing Guo:
IRAD: Implicit Representation-driven Image Resampling against Adversarial Attacks. CoRR abs/2310.11890 (2023) - [i164]Chenghao Li, Yifei Wu, Wenbo Shen, Zichen Zhao, Rui Chang, Chengwei Liu, Yang Liu, Kui Ren:
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem. CoRR abs/2310.17186 (2023) - [i163]Chong Wang, Jianan Liu, Xin Peng, Yang Liu, Yiling Lou:
Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference. CoRR abs/2311.04448 (2023) - [i162]Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen, Jianwen Sun, Dong Qiu, Yang Liu:
Software Architecture Recovery with Information Fusion. CoRR abs/2311.04643 (2023) - [i161]Weisong Sun, Chunrong Fang, Yifei Ge, Yuling Hu, Yuchen Chen, Quanjun Zhang, Xiuting Ge, Yang Liu, Zhenyu Chen:
A Survey of Source Code Search: A 3-Dimensional Perspective. CoRR abs/2311.07107 (2023) - [i160]Junjie Shan, Shihan Dou, Yueming Wu, Hairu Wu, Yang Liu:
Gitor: Scalable Code Clone Detection by Building Global Sample Graph. CoRR abs/2311.08778 (2023) - [i159]Yueming Wu, Chengwei Liu, Yang Liu:
The Software Genome Project: Venture to the Genomic Pathways of Open Source Software and Its Applications. CoRR abs/2311.09881 (2023) - [i158]Chentao Jia, Ming Hu, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, Mingsong Chen:
AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems. CoRR abs/2311.13166 (2023) - [i157]Ruixuan Liu, Ming Hu, Zeke Xia, Jun Xia, Pengyu Zhang, Yihao Huang, Yang Liu, Mingsong Chen:
AdapterFL: Adaptive Heterogeneous Federated Learning for Resource-constrained Mobile Computing Systems. CoRR abs/2311.14037 (2023) - [i156]Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen:
Machine Learning for Actionable Warning Identification: A Comprehensive Survey. CoRR abs/2312.00324 (2023) - [i155]Weisong Sun, Chunrong Fang, Yun Miao, Yudu You, Mengzhe Yuan, Yuchen Chen, Quanjun Zhang, An Guo, Xiang Chen, Yang Liu, Zhenyu Chen:
Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We? CoRR abs/2312.00413 (2023) - [i154]Xiaojun Jia, Jindong Gu, Yihao Huang, Simeng Qin, Qing Guo, Yang Liu, Xiaochun Cao:
TranSegPGD: Improving Transferability of Adversarial Examples on Semantic Segmentation. CoRR abs/2312.02207 (2023) - [i153]Dongchen Han, Xiaojun Jia, Yang Bai, Jindong Gu, Yang Liu, Xiaochun Cao:
OT-Attack: Enhancing Adversarial Transferability of Vision-Language Models via Optimal Transport Optimization. CoRR abs/2312.04403 (2023) - [i152]Bangyan He, Xiaojun Jia, Siyuan Liang, Tianrui Lou, Yang Liu, Xiaochun Cao:
SA-Attack: Improving Adversarial Transferability of Vision-Language Pre-training Models via Self-Augmentation. CoRR abs/2312.04913 (2023) - [i151]Xiaoyu Zhang, Cen Zhang, Tianlin Li, Yihao Huang, Xiaojun Jia, Xiaofei Xie, Yang Liu, Chao Shen:
A Mutation-Based Method for Multi-Modal Jailbreaking Attack Detection. CoRR abs/2312.10766 (2023) - [i150]Weisong Sun, Chunrong Fang, Yudu You, Yuchen Chen, Yi Liu, Chong Wang, Jian Zhang, Quanjun Zhang, Hanwei Qian, Wei Zhao, Yang Liu, Zhenyu Chen:
A Prompt Learning Framework for Source Code Summarization. CoRR abs/2312.16066 (2023) - 2022
- [j118]Di Cui, Lingling Fan, Sen Chen, Yuanfang Cai, Qinghua Zheng, Yang Liu, Ting Liu:
Towards characterizing bug fixes through dependency-level changes in Apache Java open source projects. Sci. China Inf. Sci. 65(7): 1-19 (2022) - [j117]Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li:
A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 54(7): 148:1-148:38 (2022) - [j116]Kaifeng Huang, Bihuan Chen, Congying Xu, Ying Wang, Bowen Shi, Xin Peng, Yijian Wu, Yang Liu:
Characterizing usages, updates and risks of third-party libraries in Java projects. Empir. Softw. Eng. 27(4): 90 (2022) - [j115]Felix Juefei-Xu, Run Wang, Yihao Huang, Qing Guo, Lei Ma, Yang Liu:
Countering Malicious DeepFakes: Survey, Battleground, and Horizon. Int. J. Comput. Vis. 130(7): 1678-1734 (2022) - [j114]Chaozheng Wang, Zhenhao Nong, Cuiyun Gao, Zongjie Li, Jichuan Zeng, Zhenchang Xing, Yang Liu:
Enriching query semantics for code search with reinforcement learning. Neural Networks 145: 22-32 (2022) - [j113]Yixing Luo, Yuan Zhou, Haiyan Zhao, Zhi Jin, Tianwei Zhang, Yang Liu, Danny Barthaud, Yijun Yu:
Online adaptation for autonomous unmanned systems driven by requirements satisfaction model. Softw. Syst. Model. 21(4): 1295-1319 (2022) - [j112]Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang:
SafeOSL: Ensuring memory safety of C via ownership-based intermediate language. Softw. Pract. Exp. 52(5): 1114-1142 (2022) - [j111]Shangwei Guo, Tianwei Zhang, Guowen Xu, Han Yu, Tao Xiang, Yang Liu:
Topology-Aware Differential Privacy for Decentralized Image Classification. IEEE Trans. Circuits Syst. Video Technol. 32(6): 4016-4027 (2022) - [j110]Shangwei Guo, Tianwei Zhang, Han Yu, Xiaofei Xie, Lei Ma, Tao Xiang, Yang Liu:
Byzantine-Resilient Decentralized Stochastic Gradient Descent. IEEE Trans. Circuits Syst. Video Technol. 32(6): 4096-4106 (2022) - [j109]Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu:
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. IEEE Trans. Dependable Secur. Comput. 19(3): 1795-1809 (2022) - [j108]Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations. IEEE Trans. Inf. Forensics Secur. 17: 2657-2672 (2022) - [j107]Yam Sharon, David Berend, Yang Liu, Asaf Shabtai, Yuval Elovici:
TANTRA: Timing-Based Adversarial Network Traffic Reshaping Attack. IEEE Trans. Inf. Forensics Secur. 17: 3225-3237 (2022) - [j106]Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Shang-Wei Lin, Wei Feng, Weisi Lin, Yang Liu:
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. IEEE Trans. Multim. 24: 3807-3822 (2022) - [j105]Alvin 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 Trans. Neural Networks Learn. Syst. 33(11): 6976-6982 (2022) - [j104]Yaqin Zhou, Jing Kai Siow, Chenyu Wang, Shangqing Liu, Yang Liu:
SPI: Automated Identification of Security Patches via Commits. ACM Trans. Softw. Eng. Methodol. 31(1): 13:1-13:27 (2022) - [j103]Yu Zhao, Ting Su, Yang Liu, Wei Zheng, Xiaoxue Wu, Ramakanth Kavuluru, William G. J. Halfond, Tingting Yu:
ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps. ACM Trans. Softw. Eng. Methodol. 31(3): 36:1-36:33 (2022) - [j102]Xiaofei Xie, Tianlin Li, Jian Wang, Lei Ma, Qing Guo, Felix Juefei-Xu, Yang Liu:
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 31(3): 47:1-47:27 (2022) - [j101]Huangzhao Zhang, Zhiyi Fu, Ge Li, Lei Ma, Zhehao Zhao, Hua'an Yang, Yizhe Sun, Yang Liu, Zhi Jin:
Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement. ACM Trans. Softw. Eng. Methodol. 31(3): 50:1-50:40 (2022) - [j100]Jakub Breier, Dirmanto Jap, Xiaolu Hou, Shivam Bhasin, Yang Liu:
SNIFF: Reverse Engineering of Neural Networks With Fault Attacks. IEEE Trans. Reliab. 71(4): 1527-1539 (2022) - [j99]Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu:
Machine Learning Testing: Survey, Landscapes and Horizons. IEEE Trans. Software Eng. 48(2): 1-36 (2022) - [j98]Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su:
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. IEEE Trans. Software Eng. 48(4): 1115-1137 (2022) - [j97]Shangqing Liu, Cuiyun Gao, Sen Chen, Lun Yiu Nie, Yang Liu:
ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking. IEEE Trans. Software Eng. 48(5): 1800-1817 (2022) - [j96]Sen Chen, Chunyang Chen, Lingling Fan, Mingming Fan, Xian Zhan, Yang Liu:
Accessible or Not? An Empirical Investigation of Android App Accessibility. IEEE Trans. Software Eng. 48(10): 3954-3968 (2022) - [j95]Xian Zhan, Tianming Liu, Lingling Fan, Li Li, Sen Chen, Xiapu Luo, Yang Liu:
Research on Third-Party Libraries in Android Apps: A Taxonomy and Systematic Literature Review. IEEE Trans. Software Eng. 48(10): 4181-4213 (2022) - [j94]Xian Zhan, Tianming Liu, Yepang Liu, Yang Liu, Li Li, Haoyu Wang, Xiapu Luo:
A Systematic Assessment on Android Third-Party Library Detection Tools. IEEE Trans. Software Eng. 48(11): 4249-4273 (2022) - [j93]Chao Ren, Xiaoning Du, Yan Xu, Qun Song, Yang Liu, Rui Tan:
Vulnerability Analysis, Robustness Verification, and Mitigation Strategy for Machine Learning-Based Power System Stability Assessment Model Under Adversarial Examples. IEEE Trans. Smart Grid 13(2): 1622-1632 (2022) - [c321]Juntao Tan, Lan Zhang, Yang Liu, Anran Li, Ye Wu:
Residue-based Label Protection Mechanisms in Vertical Logistic Regression. BigCom 2022: 356-364 - [c320]Gelei Deng, Guowen Xu, Yuan Zhou, Tianwei Zhang, Yang Liu:
On the (In)Security of Secure ROS2. CCS 2022: 739-753 - [c319]Jingquan Ge, Yuekang Li, Yaowen Zheng, Yang Liu, Sheikh Mahbub Habib:
More Secure Collaborative APIs resistant to Flush-Based Cache Attacks on Cortex-A9 Based Automotive System. CSCS 2022: 7:1-7:9 - [c318]Ruijun Gao, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Huazhu Fu, Wei Feng, Yang Liu, Song Wang:
Can You Spot the Chameleon? Adversarially Camouflaging Images from Co-Salient Object Detection. CVPR 2022: 2140-2149 - [c317]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
Masked Faces with Faced Masks. ECCV Workshops (1) 2022: 360-377 - [c316]Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu:
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. ICFEM 2022: 190-208 - [c315]Chengwei Liu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu, Xin Peng:
Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem. ICSE 2022: 672-684 - [c314]Can Yang, Zhengzi Xu, Hongxu Chen, Yang Liu, Xiaorui Gong, Baoxu Liu:
ModX: Binary Level Partially Imported Third-Party Library Detection via Program Modularization and Semantic Matching. ICSE 2022: 1393-1405 - [c313]Yi Liu, Yuekang Li, Gelei Deng, Yang Liu, Ruiyuan Wan, Runchao Wu, Dandan Ji, Shiheng Xu, Minli Bao:
Morest: Model-based RESTful API Testing with Execution Feedback. ICSE 2022: 1406-1417 - [c312]Zhengjie Du, Yuekang Li, Yang Liu, Bing Mao:
Windranger: A Directed Greybox Fuzzer driven by Deviation Basic Blocks. ICSE 2022: 2440-2451 - [c311]Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu:
Cross-lingual transfer learning for statistical type inference. ISSTA 2022: 239-250 - [c310]Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, Limin Sun:
Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation. ISSTA 2022: 417-428 - [c309]Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu:
Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing. ASE 2022: 51:1-51:12 - [c308]Lili Quan, Qianyu Guo, Xiaofei Xie, Sen Chen, Xiaohong Li, Yang Liu:
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems. ASE 2022: 105:1-105:13 - [c307]Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu:
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. ASE 2022: 106:1-106:12 - [c306]Xueyang Li, Shangqing Liu, Ruitao Feng, Guozhu Meng, Xiaofei Xie, Kai Chen, Yang Liu:
TransRepair: Context-aware Program Repair for Compilation Errors. ASE 2022: 108:1-108:13 - [c305]Yi Liu, Yuekang Li, Yang Liu, Ruiyuan Wan, Runchao Wu, Qingkun Liu:
Morest: Industry Practice of Automatic RESTful API Testing. ASE 2022: 138:1-138:5 - [c304]Sen Chen, Yuxin Zhang, Lingling Fan, Jiaming Li, Yang Liu:
AUSERA: Automated Security Vulnerability Detection for Android Apps. ASE 2022: 154:1-154:5 - [c303]Liming Zhai, Qing Guo, Xiaofei Xie, Lei Ma, Yi Estelle Wang, Yang Liu:
A3GAN: Attribute-Aware Anonymization Networks for Face De-identification. ACM Multimedia 2022: 5303-5313 - [c302]Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu:
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis. NeurIPS 2022 - [c301]Lingfei Ma, Liming Nie, Chenxi Mao, Yaowen Zheng, Yang Liu:
An Empirical Study of the Impact of COVID-19 on OSS Development. QRS Companion 2022: 708-717 - [c300]Jing Ding, Liming Nie, Yang Liu, Zuohua Ding, Jifeng Xuan:
An Exploratory Study for GUI Posts on Stack Overflow. QRS 2022: 1113-1124 - [c299]Jakub Pruzinec, Quynh Anh Nguyen, Adrian Baldwin, Jonathan Griffin, Yang Liu:
KUBO: a framework for automated efficacy testing of anti-virus behavioral detection with procedure-based malware emulation. A-TEST@ESEC/SIGSOFT FSE 2022: 37-44 - [c298]Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu:
Tracking patches for open source software vulnerabilities. ESEC/SIGSOFT FSE 2022: 860-871 - [c297]Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao:
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. USENIX Security Symposium 2022: 4183-4200 - [c296]Yushi Cao, David Berend, Palina Tolmach, Guy Amit, Moshe Levy, Yang Liu, Asaf Shabtai, Yuval Elovici:
Fair and accurate age prediction using distribution aware data curation and augmentation. WACV 2022: 2867-2877 - [c295]Jing Kai Siow, Shangqing Liu, Xiaofei Xie, Guozhu Meng, Yang Liu:
Learning Program Semantics with Code Representations: An Empirical Study. SANER 2022: 554-565 - [i149]Chengwei Liu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu, Xin Peng:
Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem. CoRR abs/2201.03981 (2022) - [i148]Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu:
ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. CoRR abs/2201.06070 (2022) - [i147]Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu:
Masked Faces with Faced Masks. CoRR abs/2201.06427 (2022) - [i146]Zhiming Li, Yanzhou Li, Tianlin Li, Mengnan Du, Bozhi Wu, Yushi Cao, Xiaofei Xie, Yi Li, Yang Liu:
Unveiling Project-Specific Bias in Neural Code Models. CoRR abs/2201.07381 (2022) - [i145]Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu:
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR abs/2202.04192 (2022) - [i144]Sen Chen, Lingling Fan, Chunyang Chen, Yang Liu:
Automatically Distilling Storyboard with Rich Features for Android Apps. CoRR abs/2203.06420 (2022) - [i143]Sen Chen, Chunyang Chen, Lingling Fan, Mingming Fan, Xian Zhan, Yang Liu:
Accessible or Not? An Empirical Investigation of Android App Accessibility. CoRR abs/2203.06422 (2022) - [i142]Jing Kai Siow, Shangqing Liu, Xiaofei Xie, Guozhu Meng, Yang Liu:
Learning Program Semantics with Code Representations: An Empirical Study. CoRR abs/2203.11790 (2022) - [i141]Xiaofei Xie, Tianlin Li, Jian Wang, Lei Ma, Qing Guo, Felix Juefei-Xu, Yang Liu:
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks. CoRR abs/2203.12915 (2022) - [i140]Can Yang, Zhengzi Xu, Hongxu Chen, Yang Liu, Xiaorui Gong, Baoxu Liu:
Modx: Binary Level Partial Imported Third-Party Library Detection through Program Modularization and Semantic Matching. CoRR abs/2204.08237 (2022) - [i139]Sihan Xu, Ya Gao, Lingling Fan, Zheli Liu, Yang Liu, Hua Ji:
LiDetector: License Incompatibility Detection for Open Source Software. CoRR abs/2204.10502 (2022) - [i138]Yi Liu, Yuekang Li, Gelei Deng, Yang Liu, Ruiyuan Wan, Runchao Wu, Dandan Ji, Shiheng Xu, Minli Bao:
Morest: Model-based RESTful API Testing with Execution Feedback. CoRR abs/2204.12148 (2022) - [i137]Juntao Tan, Lan Zhang, Yang Liu, Anran Li, Ye Wu:
Residue-based Label Protection Mechanisms in Vertical Logistic Regression. CoRR abs/2205.04166 (2022) - [i136]Yuan Xu, Xingshuo Han, Gelei Deng, Guanlin Li, Yang Liu, Jiwei Li, Tianwei Zhang:
SoK: Rethinking Sensor Spoofing Attacks against Robotic Vehicles from a Systematic View. CoRR abs/2205.04662 (2022) - [i135]Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu:
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis. CoRR abs/2205.13728 (2022) - [i134]Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu:
AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems. CoRR abs/2206.03351 (2022) - [i133]Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu:
A Survey on Automated Driving System Testing: Landscapes and Trends. CoRR abs/2206.05961 (2022) - [i132]Yun Tang, Yuan Zhou, Kairui Yang, Ziyuan Zhong, Baishakhi Ray, Yang Liu, Ping Zhang, Junbo Chen:
Automatic Map Generation for Autonomous Driving System Testing. CoRR abs/2206.09357 (2022) - [i131]Yiyang Hao, Ge Li, Yongqiang Liu, Xiaowei Miao, He Zong, Siyuan Jiang, Yang Liu, Wei He:
AixBench: A Code Generation Benchmark Dataset. CoRR abs/2206.13179 (2022) - [i130]Shangqing Liu, Yanzhou Li, Yang Liu:
CommitBART: A Large Pre-trained Model for GitHub Commits. CoRR abs/2208.08100 (2022) - [i129]Wenhan Wang, Kechi Zhang, Ge Li, Shangqing Liu, Zhi Jin, Yang Liu:
A Tree-structured Transformer for Program Representation Learning. CoRR abs/2208.08643 (2022) - [i128]Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu:
Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing. CoRR abs/2209.00393 (2022) - [i127]Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu:
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. CoRR abs/2209.02575 (2022) - [i126]Lili Quan, Qianyu Guo, Xiaofei Xie, Sen Chen, Xiaohong Li, Yang Liu:
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems. CoRR abs/2209.04791 (2022) - [i125]Xueyang Li, Shangqing Liu, Ruitao Feng, Guozhu Meng, Xiaofei Xie, Kai Chen, Yang Liu:
TransRepair: Context-aware Program Repair for Compilation Errors. CoRR abs/2210.03986 (2022) - [i124]Peiyang Jia, Chengwei Liu, Hongyu Sun, Chengyi Sun, Mianxue Gu, Yang Liu, Yuqing Zhang:
Cargo Ecosystem Dependency-Vulnerability Knowledge Graph Construction and Vulnerability Propagation Study. CoRR abs/2210.07482 (2022) - [i123]Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Yang Liu, Mingsong Chen:
FedCross: Towards Accurate Federated Learning via Multi-Model Cross Aggregation. CoRR abs/2210.08285 (2022) - [i122]Rui Huang, Ruofei Wang, Qing Guo, Jieda Wei, Yuxiang Zhang, Wei Fan, Yang Liu:
Background-Mixed Augmentation for Weakly Supervised Change Detection. CoRR abs/2211.11478 (2022) - [i121]Ming Hu, Zeke Xia, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen:
GitFL: Adaptive Asynchronous Federated Learning using Version Control. CoRR abs/2211.12049 (2022) - [i120]Wei Ma, Mengjie Zhao, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jie Zhang, Wenhan Wang, Yang Liu:
Is Self-Attention Powerful to Learn Code Syntax and Semantics? CoRR abs/2212.10017 (2022) - 2021
- [j92]Fayu Wan, Yang Liu, Jamel Nebhen, Zhifei Xu, George Chan, Sébastien Lalléchère, Rémy Vauché, Wenceslas Rahajandraibe, Blaise Ravelo:
Bandpass Negative Group Delay Theory of Fully Capacitive Δ-Network. IEEE Access 9: 62430-62445 (2021) - [j91]Mathieu Guerin, Yang Liu, Alexandre Douyère, George Chan, Fayu Wan, Sébastien Lalléchère, Wenceslas Rahajandraibe, Blaise Ravelo:
Design and Synthesis of Inductorless Passive Cell Operating as Stop-Band Negative Group Delay Function. IEEE Access 9: 100141-100153 (2021) - [j90]Fu Song, Yusi Lei, Sen Chen, Lingling Fan, Yang Liu:
Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers. Int. J. Intell. Syst. 36(9): 5210-5240 (2021) - [j89]Lun Yiu Nie, Cuiyun Gao, Zhicong Zhong, Wai Lam, Yang Liu, Zenglin Xu:
CoreGen: Contextualized Code Representation Learning for Commit Message Generation. Neurocomputing 459: 97-107 (2021) - [j88]Yelin Liu, Zhi Quan Zhou, Tsong Yueh Chen, Yang Liu, Dave Towey:
MTKeras: An Automated Metamorphic Testing Platform. Int. J. Softw. Eng. Knowl. Eng. 31(9): 1235-1249 (2021) - [j87]Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong:
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65(4): 569-598 (2021) - [j86]Zhiwu Xu, Hongxu Chen, Alwen Tiu, Yang Liu, Kunal Sareen:
A permission-dependent type system for secure information flow analysis. J. Comput. Secur. 29(2): 161-228 (2021) - [j85]Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai, Yang Liu:
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving. IEEE Trans. Computers 70(10): 1569-1581 (2021) - [j84]Jakub Breier, Xiaolu Hou, Yang Liu:
On Evaluating Fault Resilient Encoding Schemes in Software. IEEE Trans. Dependable Secur. Comput. 18(3): 1065-1079 (2021) - [j83]Xiaoning Du, Alwen Tiu, Kun Cheng, Yang Liu:
Trace-Length Independent Runtime Monitoring of Quantitative Policies. IEEE Trans. Dependable Secur. Comput. 18(3): 1489-1510 (2021) - [j82]Sen Chen, Lingling Fan, Chunyang Chen, Minhui Xue, Yang Liu, Lihua Xu:
GUI-Squatting Attack: Automated Generation of Android Phishing Apps. IEEE Trans. Dependable Secur. Comput. 18(6): 2551-2568 (2021) - [j81]Ming Fan, Wenying Wei, Xiaofei Xie, Yang Liu, Xiaohong Guan, Ting Liu:
Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis. IEEE Trans. Inf. Forensics Secur. 16: 838-853 (2021) - [j80]Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu:
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. IEEE Trans. Inf. Forensics Secur. 16: 1563-1578 (2021) - [j79]Ming Fan, Ziliang Si, Xiaofei Xie, Yang Liu, Ting Liu:
Text Backdoor Detection Using an Interpretable RNN Abstract Model. IEEE Trans. Inf. Forensics Secur. 16: 4117-4132 (2021) - [j78]Qing Guo, Wei Feng, Ruijun Gao, Yang Liu, Song Wang:
Exploring the Effects of Blur and Deblurring to Visual Object Tracking. IEEE Trans. Image Process. 30: 1812-1824 (2021) - [j77]David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu:
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Trans. Program. Lang. Syst. 43(1): 2:1-2:46 (2021) - [j76]Bozhi Wu, Sen Chen, Cuiyun Gao, Lingling Fan, Yang Liu, Weiping Wen, Michael R. Lyu:
Why an Android App Is Classified as Malware: Toward Malware Classification Interpretation. ACM Trans. Softw. Eng. Methodol. 30(2): 21:1-21:29 (2021) - [j75]Chunyang Chen, Zhenchang Xing, Yang Liu, Kent Ong Long Xiong:
Mining Likely Analogical APIs Across Third-Party Libraries via Large-Scale Unsupervised API Semantics Embedding. IEEE Trans. Software Eng. 47(3): 432-447 (2021) - [j74]Yinxing Xue, Zhengzi Xu, Mahinthan Chandramohan, Yang Liu:
Erratum to "Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search With Emulation". IEEE Trans. Software Eng. 47(5): 1088 (2021) - [j73]Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu:
Explaining Regressions via Alignment Slicing and Mending. IEEE Trans. Software Eng. 47(11): 2421-2437 (2021) - [j72]Yan Zheng, Ziming Yan, Kangjie Chen, Jianwen Sun, Yan Xu, Yang Liu:
Vulnerability Assessment of Deep Reinforcement Learning Models for Power System Topology Optimization. IEEE Trans. Smart Grid 12(4): 3613-3623 (2021) - [c294]Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao:
EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. AAAI 2021: 1487-1495 - [c293]Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun:
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI 2021: 11699-11707 - [c292]Kangjie Chen, Shangwei Guo, Tianwei Zhang, Xiaofei Xie, Yang Liu:
Stealing Deep Reinforcement Learning Models for Fun and Profit. AsiaCCS 2021: 307-319 - [c291]Kangjie Chen, Shangwei Guo, Tianwei Zhang, Shuxin Li, Yang Liu:
Temporal Watermarks for Deep Reinforcement Learning Models. AAMAS 2021: 314-322 - [c290]Xiaoyu He, Xiaofei Xie, Yuekang Li, Jianwen Sun, Feng Li, Wei Zou, Yang Liu, Lei Yu, Jianhua Zhou, Wenchang Shi, Wei Huo:
SoFi: Reflection-Augmented Fuzzing for JavaScript Engines. CCS 2021: 2229-2242 - [c289]Wei Gao, Shangwei Guo, Tianwei Zhang, Han Qiu, Yonggang Wen, Yang Liu:
Privacy-Preserving Collaborative Learning With Automatic Transformation Search. CVPR 2021: 114-123 - [c288]Lan Fu, Changqing Zhou, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Wei Feng, Yang Liu, Song Wang:
Auto-Exposure Fusion for Single-Image Shadow Removal. CVPR 2021: 10571-10580 - [c287]Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu:
Formal Analysis of Composable DeFi Protocols. Financial Cryptography Workshops 2021: 149-161 - [c286]Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao:
Learning to Adversarially Blur Visual Object Tracking. ICCV 2021: 10819-10828 - [c285]Shangqing Liu, Yu Chen, Xiaofei Xie, Jing Kai Siow, Yang Liu:
Retrieval-Augmented Generation for Code Summarization via Hybrid GNN. ICLR 2021 - [c284]Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing:
RNNRepair: Automatic RNN Repair via Model-based Analysis. ICML 2021: 11383-11392 - [c283]Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, Gang Wang:
Route Coverage Testing for Autonomous Vehicles via Map Modeling. ICRA 2021: 11450-11456 - [c282]Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, Yang Liu:
Automatic Web Testing Using Curiosity-Driven Reinforcement Learning. ICSE 2021: 423-435 - [c281]Xian Zhan, Lingling Fan, Sen Chen, Feng Wu, Tianming Liu, Xiapu Luo, Yang Liu:
ATVHUNTER: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications. ICSE 2021: 1695-1707 - [c280]Binyu Tian, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Xiaohong Li, Yang Liu:
AVA: Adversarial Vignetting Attack against Visual Recognition. IJCAI 2021: 1046-1053 - [c279]Shangwei Guo, Tianwei Zhang, Han Qiu, Yi Zeng, Tao Xiang, Yang Liu:
Fine-tuning Is Not Enough: A Simple yet Effective Watermark Removal Attack for DNN Models. IJCAI 2021: 3635-3641 - [c278]Haoyu Wang, John Chen, Majid Laali, Kevin Durda, Jeff King, William Campbell, Yang Liu:
Leveraging ASR N-Best in Deep Entity Retrieval. Interspeech 2021: 261-265 - [c277]Xingshuo Han, Kangjie Chen, Yuan Zhou, Meikang Qiu, Chun Fan, Yang Liu, Tianwei Zhang:
A Unified Anomaly Detection Methodology for Lane-Following of Autonomous Driving Systems. ISPA/BDCloud/SocialCom/SustainCom 2021: 836-844 - [c276]Yuekang Li, Guozhu Meng, Jun Xu, Cen Zhang, Hongxu Chen, Xiaofei Xie, Haijun Wang, Yang Liu:
Vall-nut: Principled Anti-Grey box - Fuzzing. ISSRE 2021: 288-299 - [c275]Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu:
Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps. ISSRE 2021: 579-590 - [c274]Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, Gang Wang:
Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. IV 2021: 179-185 - [c273]Qiang Liu, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu, Wenbo Shen, Xiapu Luo, Yang Liu, Kui Ren:
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution. ASE 2021: 792-804 - [c272]Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga:
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. ASE 2021: 1151-1155 - [c271]Cen Zhang, Yuekang Li, Hongxu Chen, Xiaoxing Luo, Miaohua Li, Anh Quynh Nguyen, Yang Liu:
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices. ASE 2021: 1161-1165 - [c270]Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong:
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. ASE 2021: 1186-1189 - [c269]Yun Tang, Yuan Zhou, Tianwei Zhang, Fenghua Wu, Yang Liu, Gang Wang:
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification. ASE 2021: 1342-1346 - [c268]Qing Guo, Xiaoguang Li, Felix Juefei-Xu, Hongkai Yu, Yang Liu, Song Wang:
JPGNet: Joint Predictive Filtering and Generative Network for Image Inpainting. ACM Multimedia 2021: 386-394 - [c267]Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. ACM Multimedia 2021: 395-403 - [c266]Run Wang, Felix Juefei-Xu, Meng Luo, Yang Liu, Lina Wang:
FakeTagger: Robust Safeguards against DeepFake Dissemination via Provenance Tracking. ACM Multimedia 2021: 3546-3555 - [c265]Gelei Deng, Yuan Zhou, Yuan Xu, Tianwei Zhang, Yang Liu:
An Investigation of Byzantine Threats in Multi-Robot Systems. RAID 2021: 17-32 - [c264]Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu:
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. SP 2021: 694-711 - [c263]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. USENIX Security Symposium 2021: 2811-2828 - [c262]Yang Xiao, Zhengzi Xu, Weiwei Zhang, Chendong Yu, Longquan Liu, Wei Zou, Zimu Yuan, Yang Liu, Aihua Piao, Wei Huo:
VIVA: Binary Level Vulnerability Identification via Partial Signature. SANER 2021: 213-224 - [e5]Min Yang, Chao Chen, Yang Liu:
Network and System Security - 15th International Conference, NSS 2021, Tianjin, China, October 23, 2021, Proceedings. Lecture Notes in Computer Science 13041, Springer 2021, ISBN 978-3-030-92707-3 [contents] - [i119]Xiaoxuan Lou, Shangwei Guo, Tianwei Zhang, Yinqian Zhang, Yang Liu:
When NAS Meets Watermarking: Ownership Verification of DNN Models via Cache Side Channels. CoRR abs/2102.03523 (2021) - [i118]Xian Zhan, Lingling Fan, Sen Chen, Feng Wu, Tianming Liu, Xiapu Luo, Yang Liu:
ATVHunter: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications. CoRR abs/2102.08172 (2021) - [i117]Felix Juefei-Xu, Run Wang, Yihao Huang, Qing Guo, Lei Ma, Yang Liu:
Countering Malicious DeepFakes: Survey, Battleground, and Horizon. CoRR abs/2103.00218 (2021) - [i116]Chris Xing Tian, Haoliang Li, Xiaofei Xie, Yang Liu, Shiqi Wang:
Neuron Coverage-Guided Domain Generalization. CoRR abs/2103.00229 (2021) - [i115]Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu:
Formal Analysis of Composable DeFi Protocols. CoRR abs/2103.00540 (2021) - [i114]Lan Fu, Changqing Zhou, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Wei Feng, Yang Liu, Song Wang:
Auto-Exposure Fusion for Single-Image Shadow Removal. CoRR abs/2103.01255 (2021) - [i113]Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, Yang Liu:
Automatic Web Testing using Curiosity-Driven Reinforcement Learning. CoRR abs/2103.06018 (2021) - [i112]Yam Sharon, David Berend, Yang Liu, Asaf Shabtai, Yuval Elovici:
TANTRA: Timing-Based Adversarial Network Traffic Reshaping Attack. CoRR abs/2103.06297 (2021) - [i111]Binyu Tian, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Xiaohong Li, Yang Liu:
AVA: Adversarial Vignetting Attack against Visual Recognition. CoRR abs/2105.05558 (2021) - [i110]Qing Guo, Felix Juefei-Xu, Changqing Zhou, Yang Liu, Song Wang:
Sparta: Spatially Attentive and Adversarially Robust Activation. CoRR abs/2105.08269 (2021) - [i109]Chaozheng Wang, Zhenghao Nong, Cuiyun Gao, Zongjie Li, Jichuan Zeng, Zhenchang Xing, Yang Liu:
Enriching Query Semantics for Code Search with Reinforcement Learning. CoRR abs/2105.09630 (2021) - [i108]Yaqin Zhou, Jing Kai Siow, Chenyu Wang, Shangqing Liu, Yang Liu:
SPI: Automated Identification of Security Patches via Commits. CoRR abs/2105.14565 (2021) - [i107]Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu:
Cross-Lingual Adaptation for Type Inference. CoRR abs/2107.00157 (2021) - [i106]Qing Guo, Xiaoguang Li, Felix Juefei-Xu, Hongkai Yu, Yang Liu, Song Wang:
JPGNet: Joint Predictive Filtering and Generative Network for Image Inpainting. CoRR abs/2107.04281 (2021) - [i105]Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. CoRR abs/2107.06501 (2021) - [i104]Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao:
Learning to Adversarially Blur Visual Object Tracking. CoRR abs/2107.12085 (2021) - [i103]Qing Guo, Zhijie Wang, Felix Juefei-Xu, Di Lin, Lei Ma, Wei Feng, Yang Liu:
CarveNet: Carving Point-Block for Complex 3D Shape Completion. CoRR abs/2107.13452 (2021) - [i102]Xian Zhan, Tianming Liu, Yepang Liu, Yang Liu, Li Li, Haoyu Wang, Xiapu Luo:
A Systematic Assessment on Android Third-party Library Detection Tools. CoRR abs/2108.01964 (2021) - [i101]Xian Zhan, Tianming Liu, Lingling Fan, Li Li, Sen Chen, Xiapu Luo, Yang Liu:
Research on Third-Party Libraries in AndroidApps: A Taxonomy and Systematic LiteratureReview. CoRR abs/2108.03787 (2021) - [i100]Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu:
SEC4SR: A Security Analysis Platform for Speaker Recognition. CoRR abs/2109.01766 (2021) - [i99]Shangqing Liu, Xiaofei Xie, Lei Ma, Jing Kai Siow, Yang Liu:
GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search. CoRR abs/2111.02671 (2021) - [i98]Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu:
AdvBokeh: Learning to Adversarially Defocus Blur. CoRR abs/2111.12971 (2021) - [i97]Lan Fu, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Wei Feng, Yang Liu, Song Wang:
Benchmarking Shadow Removal for Facial Landmark Detection and Beyond. CoRR abs/2111.13790 (2021) - [i96]Ziyuan Zhong, Yun Tang, Yuan Zhou, Vânia de Oliveira Neves, Yang Liu, Baishakhi Ray:
A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation. CoRR abs/2112.00964 (2021) - [i95]Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu:
TRACER: Finding Patches for Open Source Software Vulnerabilities. CoRR abs/2112.02240 (2021) - [i94]Shihan Dou, Yueming Wu, Wenxuan Li, Feng Cheng, Wei Yang, Yang Liu:
Boosting the Capability of Intelligent Vulnerability Detection by Training in a Human-Learning Manner. CoRR abs/2112.06250 (2021) - [i93]Shangwei Guo, Xu Zhang, Fei Yang, Tianwei Zhang, Yan Gan, Tao Xiang, Yang Liu:
Robust and Privacy-Preserving Collaborative Learning: A Comprehensive Survey. CoRR abs/2112.10183 (2021) - [i92]Liming Zhai, Lina Wang, Yanzhen Ren, Yang Liu:
Generalized Local Optimality for Video Steganalysis in Motion Vector Domain. CoRR abs/2112.11729 (2021) - 2020
- [j71]Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding:
A distributed method to avoid higher-order deadlocks in multi-robot systems. Autom. 112 (2020) - [j70]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19(4): 983-1013 (2020) - [j69]Jakub Breier, Mustafa Khairallah, Xiaolu Hou, Yang Liu:
A Countermeasure Against Statistical Ineffective Fault Analysis. IEEE Trans. Circuits Syst. 67-II(12): 3322-3326 (2020) - [j68]Wenjian He, Sanjeev Das, Wei Zhang, Yang Liu:
BBB-CFI: Lightweight CFI Approach Against Code-Reuse Attacks Using Basic Block Information. ACM Trans. Embed. Comput. Syst. 19(1): 7:1-7:22 (2020) - [j67]Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu:
Information Theoretical Analysis of Unfair Rating Attacks Under Subjectivity. IEEE Trans. Inf. Forensics Secur. 15: 816-828 (2020) - [j66]Xiang Chen, Yingquan Zhao, Zhanqi Cui, Guozhu Meng, Yang Liu, Zan Wang:
Large-Scale Empirical Studies on Effort-Aware Security Vulnerability Prediction Methods. IEEE Trans. Reliab. 69(1): 70-87 (2020) - [j65]Xiaoyuan Xie, Zhiyi Zhang, Tsong Yueh Chen, Yang Liu, Pak-Lok Poon, Baowen Xu:
METTLE: A METamorphic Testing Approach to Assessing and Validating Unsupervised Machine Learning Systems. IEEE Trans. Reliab. 69(4): 1293-1322 (2020) - [j64]Kun Cheng, Yuebin Bai, Yuan Zhou, Yun Tang, David Sanán, Yang Liu:
CANeleon: Protecting CAN Bus With Frame ID Chameleon. IEEE Trans. Veh. Technol. 69(7): 7116-7130 (2020) - [c261]Jianwen Sun, Yan Zheng, Jianye Hao, Zhaopeng Meng, Yang Liu:
Continuous Multiagent Control Using Collective Behavior Entropy for Large-Scale Home Energy Management. AAAI 2020: 922-929 - [c260]Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin:
Generating Adversarial Examples for Holding Robustness of Source Code Processing Models. AAAI 2020: 1169-1176 - [c259]Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu:
Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning. AAAI 2020: 5883-5891 - [c258]Qing Guo, Xiaofei Xie, Felix Juefei-Xu, Lei Ma, Zhongguo Li, Wanli Xue, Wei Feng, Yang Liu:
SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking. ECCV (25) 2020: 202-219 - [c257]Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu:
SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. ICECCS 2020: 63-72 - [c256]Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou, Yang Liu:
Privacy-Aware UAV Flights through Self-Configuring Motion Planning. ICRA 2020: 1169-1175 - [c255]Xiao Wang, Lu Xiao, Kaifeng Huang, Bihuan Chen, Yutong Zhao, Yang Liu:
DesignDiff: Continuously Modeling Software Design Difference from Code Revisions. ICSA 2020: 179-190 - [c254]Yutong Zhao, Lu Xiao, Xiao Wang, Zhifei Chen, Bihuan Chen, Yang Liu:
Butterfly Space: An Architectural Approach for Investigating Performance Issues. ICSA 2020: 202-213 - [c253]Yelin Liu, Yang Liu, Tsong Yueh Chen, Zhi Quan Zhou:
A Testing Tool for Machine Learning Applications. ICSE (Workshops) 2020: 386-387 - [c252]Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun:
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. ICSE 2020: 739-751 - [c251]Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu:
MemLock: memory usage guided fuzzing. ICSE 2020: 765-777 - [c250]Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui:
Typestate-guided fuzzer for discovering use-after-free vulnerabilities. ICSE 2020: 999-1010 - [c249]Sen Chen, Lingling Fan, Guozhu Meng, Ting Su, Minhui Xue, Yinxing Xue, Yang Liu, Lihua Xu:
An empirical assessment of security risks of global Android banking apps. ICSE 2020: 1310-1322 - [c248]Ying Wang, Bihuan Chen, Kaifeng Huang, Bowen Shi, Congying Xu, Xin Peng, Yijian Wu, Yang Liu:
An Empirical Study of Usages, Updates and Risks of Third-Party Libraries in Java Projects. ICSME 2020: 35-45 - [c247]Mingwei Liu, Xin Peng, Xiujie Meng, Huanjun Xu, Shuangshuang Xing, Xin Wang, Yang Liu, Gang Lv:
Source Code based On-demand Class Documentation Generation. ICSME 2020: 864-865 - [c246]Xiaomin Wang, Yan Shang, Yang Liu, Hanxiang He:
Variable Precision Multi-granularity Rough Soft Sets Based on Multiple Thresholds. ICWL/SETE 2020: 160-170 - [c245]Ruimin Shen, Yan Zheng, Jianye Hao, Zhaopeng Meng, Yingfeng Chen, Changjie Fan, Yang Liu:
Generating Behavior-Diverse Game AIs with Evolutionary Multi-Objective Deep Reinforcement Learning. IJCAI 2020: 3371-3377 - [c244]Run Wang, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yihao Huang, Jian Wang, Yang Liu:
FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces. IJCAI 2020: 3444-3451 - [c243]Ming Fan, Le Yu, Sen Chen, Hao Zhou, Xiapu Luo, Shuyue Li, Yang Liu, Jun Liu, Ting Liu:
An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps. ISSRE 2020: 253-264 - [c242]Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu:
Patch based vulnerability matching for binary programs. ISSTA 2020: 376-387 - [c241]Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren:
An empirical study on ARM disassembly tools. ISSTA 2020: 401-414 - [c240]Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, Jianjun Zhao:
How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software. ICPC 2020: 172-183 - [c239]Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao:
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. ASE 2020: 423-435 - [c238]Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, Chao Shen:
Audee: Automated Testing for Deep Learning Frameworks. ASE 2020: 486-498 - [c237]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 Implementations. ASE 2020: 524-535 - [c236]Yang Liu, Mingwei Liu, Xin Peng, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang:
Generating Concept based API Element Comparison Using a Knowledge Graph. ASE 2020: 834-845 - [c235]Xian Zhan, Lingling Fan, Tianming Liu, Sen Chen, Li Li, Haoyu Wang, Yifei Xu, Xiapu Luo, Yang Liu:
Automated Third-Party Library Detection for Android Applications: Are We There Yet? ASE 2020: 919-930 - [c234]David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao:
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. ASE 2020: 1041-1052 - [c233]Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu:
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices. ACM Multimedia 2020: 1207-1216 - [c232]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia 2020: 1217-1226 - [c231]Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu:
Amora: Black-box Adversarial Morphing Attack. ACM Multimedia 2020: 1376-1385 - [c230]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. ACM Multimedia 2020: 4318-4327 - [c229]Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu:
Watch out! Motion is Blurring the Vision of Your Deep Neural Networks. NeurIPS 2020 - [c228]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP 2020: 1695-1712 - [c227]Yang Xiao, Bihuan Chen, Chendong Yu, Zhengzi Xu, Zimu Yuan, Feng Li, Binghong Liu, Yang Liu, Wei Huo, Wei Zou, Wenchang Shi:
MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures. USENIX Security Symposium 2020: 1165-1182 - [c226]Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu:
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. USENIX Security Symposium 2020: 2325-2342 - [c225]Zhengzi Xu, Yulong Zhang, Longri Zheng, Liangzhao Xia, Chenfu Bao, Zhi Wang, Yang Liu:
Automatic Hot Patch Generation for Android Kernels. USENIX Security Symposium 2020: 2397-2414 - [c224]Jing Kai Siow, Cuiyun Gao, Lingling Fan, Sen Chen, Yang Liu:
CORE: Automating Review Recommendation for Code Changes. SANER 2020: 284-295 - [c223]Yutong Zhao, Lu Xiao, Xiao Wang, Lei Sun, Bihuan Chen, Yang Liu, Andre B. Bondi:
How Are Performance Issues Caused and Resolved?-An Empirical Study from a Design Perspective. ICPE 2020: 181-192 - [i91]Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR abs/2001.09598 (2020) - [i90]Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Wei Feng, Yang Liu:
ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack. CoRR abs/2002.03500 (2020) - [i89]Jakub Breier, Dirmanto Jap, Xiaolu Hou, Shivam Bhasin, Yang Liu:
SNIFF: Reverse Engineering of Neural Networks with Fault Attacks. CoRR abs/2002.11021 (2020) - [i88]Ying Wang, Bihuan Chen, Kaifeng Huang, Bowen Shi, Congying Xu, Xin Peng, Yang Liu, Yijian Wu:
An Empirical Study of Usages, Updates and Risks of Third-Party Libraries in Java Projects. CoRR abs/2002.11028 (2020) - [i87]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. CoRR abs/2003.08116 (2020) - [i86]Sijia Geng, Yuekang Li, Yunlan Du, Jun Xu, Yang Liu, Bing Mao:
An Empirical Study on Benchmarks of Artificial Software Vulnerabilities. CoRR abs/2003.09561 (2020) - [i85]Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai, Yang Liu:
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving. CoRR abs/2003.12359 (2020) - [i84]Yusi Lei, Sen Chen, Lingling Fan, Fu Song, Yang Liu:
Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers. CoRR abs/2004.06954 (2020) - [i83]Bozhi Wu, Sen Chen, Cuiyun Gao, Lingling Fan, Yang Liu, Weiping Wen, Michael R. Lyu:
Why an Android App is Classified as Malware? Towards Malware Classification Interpretation. CoRR abs/2004.11516 (2020) - [i82]Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun:
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. CoRR abs/2004.11573 (2020) - [i81]Kun Cheng, Yuebin Bai, Yuan Zhou, Chao Yu, Yang Liu:
Multi-IF : An Approach to Anomaly Detection in Self-Driving Systems. CoRR abs/2004.12581 (2020) - [i80]Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu:
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. CoRR abs/2005.04970 (2020) - [i79]Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu:
Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning. CoRR abs/2005.07099 (2020) - [i78]Jianwen Sun, Yan Zheng, Jianye Hao, Zhaopeng Meng, Yang Liu:
Continuous Multiagent Control using Collective Behavior Entropy for Large-Scale Home Energy Management. CoRR abs/2005.10000 (2020) - [i77]Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu:
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices. CoRR abs/2005.13770 (2020) - [i76]Kangjie Chen, Tianwei Zhang, Xiaofei Xie, Yang Liu:
Stealing Deep Reinforcement Learning Models for Fun and Profit. CoRR abs/2006.05032 (2020) - [i75]Shangqing Liu, Yu Chen, Xiaofei Xie, Jing Kai Siow, Yang Liu:
Automatic Code Summarization via Multi-dimensional Semantic Fusing in GNN. CoRR abs/2006.05405 (2020) - [i74]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR abs/2006.07533 (2020) - [i73]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. CoRR abs/2006.07634 (2020) - [i72]Shangwei Guo, Tianwei Zhang, Tao Xiang, Yang Liu:
Differentially Private Decentralized Learning. CoRR abs/2006.07817 (2020) - [i71]Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu:
Generating Adversarial Examples withControllable Non-transferability. CoRR abs/2007.01299 (2020) - [i70]Lun Yiu Nie, Cuiyun Gao, Zhicong Zhong, Wai Lam, Yang Liu, Zenglin Xu:
Contextualized Code Representation Learning for Commit Message Generation. CoRR abs/2007.06934 (2020) - [i69]Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, Yang Liu:
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. CoRR abs/2007.07097 (2020) - [i68]Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu:
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. CoRR abs/2007.15943 (2020) - [i67]Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li:
A Survey of Smart Contract Formal Specification and Verification. CoRR abs/2008.02712 (2020) - [i66]Ming Fan, Le Yu, Sen Chen, Hao Zhou, Xiapu Luo, Shuyue Li, Yang Liu, Jun Liu, Ting Liu:
An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps. CoRR abs/2008.05864 (2020) - [i65]Ming Fan, Wenying Wei, Xiaofei Xie, Yang Liu, Xiaohong Guan, Ting Liu:
Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis. CoRR abs/2008.05895 (2020) - [i64]Yushi Cao, David Berend, Palina Tolmach, Moshe Levy, Guy Amit, Asaf Shabtai, Yuval Elovici, Yang Liu:
Fairness Matters - A Data-Driven Framework Towards Fair and High Performing Facial Recognition Systems. CoRR abs/2009.05283 (2020) - [i63]Haoliang Li, Yufei Wang, Xiaofei Xie, Yang Liu, Shiqi Wang, Renjie Wan, Lap-Pui Chau, Alex C. Kot:
Light Can Hack Your Face! Black-box Backdoor Attack on Face Recognition Systems. CoRR abs/2009.06996 (2020) - [i62]Shangwei Guo, Tianwei Zhang, Han Qiu, Yi Zeng, Tao Xiang, Yang Liu:
The Hidden Vulnerability of Watermarking for Deep Neural Networks. CoRR abs/2009.08697 (2020) - [i61]Liming Zhai, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu:
It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception. CoRR abs/2009.09205 (2020) - [i60]Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. CoRR abs/2009.09213 (2020) - [i59]Yupeng Cheng, Felix Juefei-Xu, Qing Guo, Huazhu Fu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Yang Liu:
Adversarial Exposure Attack on Diabetic Retinopathy Imagery. CoRR abs/2009.09231 (2020) - [i58]Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu:
EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. CoRR abs/2009.09238 (2020) - [i57]Run Wang, Felix Juefei-Xu, Meng Luo, Yang Liu, Lina Wang:
FakeTagger: Robust Safeguards against DeepFake Dissemination via Provenance Tracking. CoRR abs/2009.09869 (2020) - [i56]Tzvika Shapira, David Berend, Ishai Rosenberg, Yang Liu, Asaf Shabtai, Yuval Elovici:
Being Single Has Benefits. Instance Poisoning to Deceive Malware Classifiers. CoRR abs/2010.16323 (2020) - [i55]Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu:
SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices. CoRR abs/2011.05218 (2020) - [i54]Wei Gao, Shangwei Guo, Tianwei Zhang, Han Qiu, Yonggang Wen, Yang Liu:
Privacy-preserving Collaborative Learning with Automatic Transformation Search. CoRR abs/2011.12505 (2020) - [i53]Jakub Breier, Adrian Baldwin, Helen Balinsky, Yang Liu:
Risk Management Framework for Machine Learning Security. CoRR abs/2012.04884 (2020)
2010 – 2019
- 2019
- [j63]Zhouyang Ren, Hui Li, Yang Liu, Yan Xu, Liming Jin, Wenyuan Li, Wenyu Wang:
An Alterable Weight Minimum Spanning Tree Method for Electrical Collector System Planning in Tidal Current Generation Farms. IEEE Access 7: 71585-71592 (2019) - [j62]Xiaobing Sun, Xin Peng, Kai Zhang, Yang Liu, Yuanfang Cai:
How security bugs are fixed and what can be improved: an empirical study with Mozilla. Sci. China Inf. Sci. 62(1): 19102:1-19102:3 (2019) - [j61]Zhushou Tang, Minhui Xue, Guozhu Meng, Chengguo Ying, Yugeng Liu, Jianan He, Haojin Zhu, Yang Liu:
Securing android applications via edge assistant third-party library detection. Comput. Secur. 80: 257-272 (2019) - [j60]Wilayat Khan, David Sanán, Zhe Hou, Yang Liu:
On embedding a hardware description language in Isabelle/HOL. Des. Autom. Embed. Syst. 23(3-4): 123-151 (2019) - [j59]Chunyang Chen, Zhenchang Xing, Yang Liu:
What's Spain's Paris? Mining analogical libraries from Q&A discussions. Empir. Softw. Eng. 24(3): 1155-1194 (2019) - [j58]Gaofeng Zhang, Yingnan Yan, Yunsheng Tian, Yang Liu, Yan Li, Qingguo Zhou, Rui Zhou, Kuan-Ching Li:
Water contamination monitoring system based on big data: a case study. Int. J. Comput. Sci. Eng. 19(4): 494-505 (2019) - [j57]Yan Ma, Zining Cao, Yang Liu:
A PSO-Based CEGAR Framework for Stochastic Model Checking. Int. J. Softw. Eng. Knowl. Eng. 29(10): 1465-1495 (2019) - [j56]Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Automatic Detection and Repair Recommendation for Missing Checks. J. Comput. Sci. Technol. 34(5): 972-992 (2019) - [j55]Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu:
Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2019(3): 1-29 (2019) - [j54]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Refinement-Based Specification and Security Analysis of Separation Kernels. IEEE Trans. Dependable Secur. Comput. 16(1): 127-141 (2019) - [j53]Chenyu Wang, Bihuan Chen, Yang Liu, Hongjun Wu:
Layered Object-Oriented Programming: Advanced VTable Reuse Attacks on Binary-Level Defense. IEEE Trans. Inf. Forensics Secur. 14(3): 693-708 (2019) - [j52]Guozhu Meng, Matthew Patrick, Yinxing Xue, Yang Liu, Jie Zhang:
Securing Android App Markets via Modeling and Predicting Malware Spread Between Markets. IEEE Trans. Inf. Forensics Secur. 14(7): 1944-1959 (2019) - [j51]Bihuan Chen, Xin Peng, Yang Liu, Songzheng Song, Jiahuan Zheng, Wenyun Zhao:
Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints. IEEE Trans. Serv. Comput. 12(1): 73-87 (2019) - [j50]Xiaofei Xie, Bihuan Chen, Liang Zou, Yang Liu, Wei Le, Xiaohong Li:
Automatic Loop Summarization via Path Dependency Analysis. IEEE Trans. Software Eng. 45(6): 537-557 (2019) - [j49]Yinxing Xue, Zhengzi Xu, Mahinthan Chandramohan, Yang Liu:
Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation. IEEE Trans. Software Eng. 45(11): 1125-1149 (2019) - [j48]Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding:
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Trans. Syst. Man Cybern. Syst. 49(12): 2636-2650 (2019) - [c222]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. FM 2019: 161-178 - [c221]Matej Kristan, Amanda Berg, Linyu Zheng, Litu Rout, Luc Van Gool, Luca Bertinetto, Martin Danelljan, Matteo Dunnhofer, Meng Ni, Min Young Kim, Ming Tang, Ming-Hsuan Yang, Abdelrahman Eldesokey, Naveen Paluru, Niki Martinel, Pengfei Xu, Pengfei Zhang, Pengkun Zheng, Pengyu Zhang, Philip H. S. Torr, Qi Zhang, Qiang Wang, Qing Guo, Radu Timofte, Jani Käpylä, Rama Krishna Sai Subrahmanyam Gorthi, Richard M. Everson, Ruize Han, Ruohan Zhang, Shan You, Shao-Chuan Zhao, Shengwei Zhao, Shihu Li, Shikun Li, Shiming Ge, Gustavo Fernández, Shuai Bai, Shuosen Guan, Tengfei Xing, Tianyang Xu, Tianyu Yang, Ting Zhang, Tomás Vojír, Wei Feng, Weiming Hu, Weizhao Wang, Abel Gonzalez-Garcia, Wenjie Tang, Wenjun Zeng, Wenyu Liu, Xi Chen, Xi Qiu, Xiang Bai, Xiao-Jun Wu, Xiaoyun Yang, Xier Chen, Xin Li, Alireza Memarmoghadam, Xing Sun, Xingyu Chen, Xinmei Tian, Xu Tang, Xuefeng Zhu, Yan Huang, Yanan Chen, Yanchao Lian, Yang Gu, Yang Liu, Andong Lu, Yanjie Chen, Yi Zhang, Yinda Xu, Yingming Wang, Yingping Li, Yu Zhou, Yuan Dong, Yufei Xu, Yunhua Zhang, Yunkun Li, Anfeng He, Zeyu Wang, Zhao Luo, Zhaoliang Zhang, Zhenhua Feng, Zhenyu He, Zhichao Song, Zhihao Chen, Zhipeng Zhang, Zhirong Wu, Zhiwei Xiong, Zhongjian Huang, Anton Varfolomieiev, Zhu Teng, Zihan Ni, Antoni B. Chan, Jirí Matas, Ardhendu Shekhar Tripathi, Arnold W. M. Smeulders, Bala Suraj Pedasingu, Bao Xin Chen, Baopeng Zhang, Baoyuan Wu, Bi Li, Bin He, Bin Yan, Bing Bai, Ales Leonardis, Bing Li, Bo Li, Byeong Hak Kim, Chao Ma, Chen Fang, Chen Qian, Cheng Chen, Chenglong Li, Chengquan Zhang, Chi-Yi Tsai, Michael Felsberg, Chong Luo, Christian Micheloni, Chunhui Zhang, Dacheng Tao, Deepak Gupta, Dejia Song, Dong Wang, Efstratios Gavves, Eunu Yi, Fahad Shahbaz Khan, Roman P. Pflugfelder, Fangyi Zhang, Fei Wang, Fei Zhao, George De Ath, Goutam Bhat, Guangqi Chen, Guangting Wang, Guoxuan Li, Hakan Cevikalp, Hao Du, Joni-Kristian Kämäräinen, Haojie Zhao, Hasan Saribas, Ho Min Jung, Hongliang Bai, Hongyuan Yu, Houwen Peng, Huchuan Lu, Hui Li, Jiakun Li, Luka Cehovin Zajc, Jianhua Li, Jianlong Fu, Jie Chen, Jie Gao, Jie Zhao, Jin Tang, Jing Li, Jingjing Wu, Jingtuo Liu, Jinqiao Wang, Ondrej Drbohlav, Jinqing Qi, Jinyue Zhang, John K. Tsotsos, Jong Hyuk Lee, Joost van de Weijer, Josef Kittler, Jun Ha Lee, Junfei Zhuang, Kangkai Zhang, Kangkang Wang, Alan Lukezic, Kenan Dai, Lei Chen, Lei Liu, Leida Guo, Li Zhang, Liang Wang, Liangliang Wang, Lichao Zhang, Lijun Wang, Lijun Zhou:
The Seventh Visual Object Tracking VOT2019 Challenge Results. ICCV Workshops 2019: 2206-2241 - [c220]Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin:
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. ICECCS 2019: 61-70 - [c219]Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu:
A Formally Verified Buddy Memory Allocation Model. ICECCS 2019: 144-153 - [c218]Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie:
Safe Inputs Approximation for Black-Box Systems. ICECCS 2019: 180-189 - [c217]Yang Liu, Lei Ma, Jianjun Zhao:
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. ICFEM 2019: 3-15 - [c216]Ruitao Feng, Yang Liu, Shangwei Lin:
A Performance-Sensitive Malware Detection System on Mobile Platform. ICFEM 2019: 493-497 - [c215]Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu:
Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) 2019: 1-4 - [c214]Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang:
Leopard: identifying vulnerable code for vulnerability assessment through program metrics. ICSE 2019: 60-71 - [c213]Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang, William G. J. Halfond:
ReCDroid: automatically reproducing Android application crashes from bug reports. ICSE 2019: 128-139 - [c212]Chongbin Tang, Sen Chen, Lingling Fan, Lihua Xu, Yang Liu, Zhushou Tang, Liang Dou:
A large-scale empirical study on industrial fake apps. ICSE (SEIP) 2019: 183-192 - [c211]Yutong Zhao, Lu Xiao, Xiao Wang, Bihuan Chen, Yang Liu:
Localized or architectural: an empirical study of performance issues dichotomy. ICSE (Companion Volume) 2019: 316-317 - [c210]Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu:
StoryDroid: automated generation of storyboard for Android apps. ICSE 2019: 596-607 - [c209]Junjie Wang, Bihuan Chen, Lei Wei, Yang Liu:
Superion: grammar-aware greybox fuzzing. ICSE 2019: 724-735 - [c208]Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin:
Learning Performance Optimization from Code Changes for Android Apps. ICST Workshops 2019: 285-290 - [c207]Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Yang Liu, Xiaohong Li:
DiffChaser: Detecting Disagreements for Deep Neural Networks. IJCAI 2019: 5772-5778 - [c206]Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See:
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. ISSTA 2019: 146-157 - [c205]Yan Zheng, Changjie Fan, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yingfeng Chen:
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. ASE 2019: 772-784 - [c204]Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. ASE 2019: 810-822 - [c203]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
A Quantitative Analysis Framework for Recurrent Neural Network. ASE 2019: 1062-1065 - [c202]Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao:
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems. ASE 2019: 1158-1161 - [c201]Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
Coverage-Guided Fuzzing for Feedforward Neural Networks. ASE 2019: 1162-1165 - [c200]Yaqin Zhou, Shangqing Liu, Jing Kai Siow, Xiaoning Du, Yang Liu:
Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks. NeurIPS 2019: 10197-10207 - [c199]Mingwei Liu, Xin Peng, Andrian Marcus, Zhenchang Xing, Wenkai Xie, Shuangshuang Xing, Yang Liu:
Generating query-specific class API summaries. ESEC/SIGSOFT FSE 2019: 120-130 - [c198]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
DeepStellar: model-based quantitative analysis of stateful deep learning systems. ESEC/SIGSOFT FSE 2019: 477-487 - [c197]Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang, Yang Liu:
Cerebro: context-aware adaptive fuzzing for effective vulnerability detection. ESEC/SIGSOFT FSE 2019: 533-544 - [c196]Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu:
Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE 2019: 718-728 - [c195]Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao:
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. SANER 2019: 614-618 - [i52]Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang:
LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics. CoRR abs/1901.11479 (2019) - [i51]Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu:
StoryDroid: Automated Generation of Storyboard for Android Apps. CoRR abs/1902.00476 (2019) - [i50]Chongbin Tang, Sen Chen, Lingling Fan, Lihua Xu, Yang Liu, Zhushou Tang, Liang Dou:
A Large-Scale Empirical Study on Industrial Fake Apps. CoRR abs/1902.00647 (2019) - [i49]Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu:
Machine Learning Testing: Survey, Landscapes and Horizons. CoRR abs/1906.10742 (2019) - [i48]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong:
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR abs/1906.11203 (2019) - [i47]Yaqin Zhou, Shangqing Liu, Jing Kai Siow, Xiaoning Du, Yang Liu:
Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks. CoRR abs/1909.03496 (2019) - [i46]Run Wang, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Jian Wang, Yang Liu:
FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces. CoRR abs/1909.06122 (2019) - [i45]Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu:
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR abs/1909.06605 (2019) - [i44]Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms. CoRR abs/1909.06727 (2019) - [i43]Qing Guo, Xiaofei Xie, Lei Ma, Zhongguo Li, Wei Feng, Yang Liu:
Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking. CoRR abs/1910.08681 (2019) - [i42]Jiwei Liu, Junyu Liu, Yang Liu, Rui Yang, Dongjun Lv, Zhengting Cai, Jingjing Cui:
A Locating Model for Pulmonary Tuberculosis Diagnosis in Radiographs. CoRR abs/1910.09900 (2019) - [i41]Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu:
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. CoRR abs/1911.01840 (2019) - [i40]Shangqing Liu, Cuiyun Gao, Sen Chen, Lun Yiu Nie, Yang Liu:
ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking. CoRR abs/1912.02972 (2019) - [i39]Run Wang, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Yihao Huang, Yang Liu:
Amora: Black-box Adversarial Morphing Attack. CoRR abs/1912.03829 (2019) - [i38]Yinxing Xue, Jiaming Ye, Mingliang Ma, Lei Ma, Yi Li, Haijun Wang, Yun Lin, Tianyong Peng, Yang Liu:
Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. CoRR abs/1912.04466 (2019) - [i37]Jing Kai Siow, Cuiyun Gao, Lingling Fan, Sen Chen, Yang Liu:
CORE: Automating Review Recommendation for Code Changes. CoRR abs/1912.09652 (2019) - [i36]Xiaolu Hou, Jakub Breier, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu:
Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks. IACR Cryptol. ePrint Arch. 2019: 461 (2019) - [i35]Jakub Breier, Mustafa Khairallah, Xiaolu Hou, Yang Liu:
A Countermeasure Against Statistical Ineffective Fault Analysis. IACR Cryptol. ePrint Arch. 2019: 515 (2019) - 2018
- [j47]Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding:
A distributed approach to robust control of multi-robot systems. Autom. 98: 1-13 (2018) - [j46]Ting Wang, Tieming Chen, Yang Liu, Ye Wang:
Anti-chain based algorithms for timed/probabilistic refinement checking. Sci. China Inf. Sci. 61(5): 052105:1-052105:17 (2018) - [j45]Sanjeev Das, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Wei Zhang:
ROPSentry: Runtime defense against ROP attacks using hardware performance counters. Comput. Secur. 73: 374-388 (2018) - [j44]Guozhu Meng, Ruitao Feng, Guangdong Bai, Kai Chen, Yang Liu:
DroidEcho: an in-depth dissection of malicious behaviors in Android applications. Cybersecur. 1(1): 4 (2018) - [j43]Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu:
A multi-view context-aware approach to Android malware detection and malicious code localization. Empir. Softw. Eng. 23(3): 1222-1274 (2018) - [j42]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30(3-4): 351-380 (2018) - [j41]Jakub Breier, Xiaolu Hou, Yang Liu:
Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018(2): 96-122 (2018) - [j40]Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser:
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44(6): 595-612 (2018) - [j39]Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong:
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44(8): 725-746 (2018) - [c194]Hongxu Chen, Yinxing Xue, Yuekang Li, Bihuan Chen, Xiaofei Xie, Xiuheng Wu, Yang Liu:
Hawkeye: Towards a Desired Directed Grey-box Fuzzer. CCS 2018: 2095-2108 - [c193]Jakub Breier, Xiaolu Hou, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu:
Practical Fault Attack on Deep Neural Networks. CCS 2018: 2204-2206 - [c192]Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. CSF 2018: 218-232 - [c191]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun:
Compositional Reasoning for Shared-Variable Concurrent Programs. FM 2018: 523-541 - [c190]Junyu Liu, Yang Liu, Cheng Wang, Anwei Li, Bowen Meng, Xiangfei Chai, Panli Zuo:
An Original Neural Network for Pulmonary Tuberculosis Diagnosis in Radiographs. ICANN (2) 2018: 158-166 - [c189]Zhenshen Qu, Junyu Liu, Yang Liu, Qiuyu Guan, Chunyu Yang, Yuxin Zhang:
OrieNet: A Regression System for Latent Fingerprint Orientation Field Extraction. ICANN (3) 2018: 436-446 - [c188]Wenjian He, Wei Zhang, Sanjeev Das, Yang Liu:
SGXlinger: A New Side-Channel Attack Vector Based on Interrupt Latency Against Enclave Execution. ICCD 2018: 108-114 - [c187]Annamalai Narayanan, Charlie Soh, Lihui Chen, Yang Liu, Lipo Wang:
Apk2vec: Semi-Supervised Multi-view Representation Learning for Profiling Android Applications. ICDM 2018: 357-366 - [c186]Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Detecting missing checks for identifying insufficient attack protections. ICSE (Companion Volume) 2018: 238-239 - [c185]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su:
Large-scale analysis of framework-specific exceptions in Android apps. ICSE 2018: 408-419 - [c184]Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu:
From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation. ICSE 2018: 665-676 - [c183]Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu, Baowen Xu:
Speedoo: prioritizing performance optimization opportunities. ICSE 2018: 811-821 - [c182]Xin Peng, Yifan Zhao, Mingwei Liu, Fengyi Zhang, Yang Liu, Xin Wang, Zhenchang Xing:
Automatic Generation of API Documentations for Open-Source Projects. DySDoc@ICSME 2018: 7-8 - [c181]Zhenshen Qu, Junyu Liu, Yang Liu, Qiuyu Guan, Ruikun Li, Yuxin Zhang:
A Novel System for Fingerprint Orientation Estimation. IGTA 2018: 281-291 - [c180]Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. Internetware 2018: 5:1-5:10 - [c179]Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li:
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware 2018: 6:1-6:10 - [c178]Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepMutation: Mutation Testing of Deep Learning Systems. ISSRE 2018: 100-111 - [c177]Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepGauge: multi-granularity testing criteria for deep learning systems. ASE 2018: 120-131 - [c176]Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu:
Tell them apart: distilling technology differences from crowd-scale comparison discussions. ASE 2018: 214-224 - [c175]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu:
Efficiently manifesting asynchronous programming errors in Android apps. ASE 2018: 486-497 - [c174]Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, Wenyun Zhao:
ClDiff: generating concise linked code differences. ASE 2018: 679-690 - [c173]Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu, Lihua Xu:
Are mobile banking apps secure? what can be improved? ESEC/SIGSOFT FSE 2018: 797-802 - [c172]Hongxu Chen, Yuekang Li, Bihuan Chen, Yinxing Xue, Yang Liu:
FOT: a versatile, configurable, extensible fuzzing framework. ESEC/SIGSOFT FSE 2018: 867-870 - [i34]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su:
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. CoRR abs/1801.07009 (2018) - [i33]Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. CoRR abs/1803.07519 (2018) - [i32]Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-flow Test Data Generation. CoRR abs/1803.10431 (2018) - [i31]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Executable Operational Semantics of Solidity. CoRR abs/1804.01295 (2018) - [i30]Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu:
K-Rust: An Executable Formal Semantics for Rust. CoRR abs/1804.07608 (2018) - [i29]Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepMutation: Mutation Testing of Deep Learning Systems. CoRR abs/1805.05206 (2018) - [i28]Sen Chen, Guozhu Meng, Ting Su, Lingling Fan, Yinxing Xue, Yang Liu, Lihua Xu, Minhui Xue, Bo Li, Shuang Hao:
AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps. CoRR abs/1805.05236 (2018) - [i27]Jakub Breier, Xiaolu Hou, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu:
Practical Fault Attack on Deep Neural Networks. CoRR abs/1806.05859 (2018) - [i26]Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang:
Combinatorial Testing for Deep Learning Systems. CoRR abs/1806.07723 (2018) - [i25]Zhiyi Zhang, Xiaoyuan Xie, Tsong Yueh Chen, Yang Liu, Baowen Xu:
A Validation and Quality Assessment Method with Metamorphic Relations for Unsupervised Machine Learning Software. CoRR abs/1807.10453 (2018) - [i24]Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu:
Efficiently Manifesting Asynchronous Programming Errors in Android Apps. CoRR abs/1808.03178 (2018) - [i23]Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Hongxu Chen, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See:
Coverage-Guided Fuzzing for Deep Neural Networks. CoRR abs/1809.01266 (2018) - [i22]Alvin Chan, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Yang Liu, Yew-Soon Ong:
Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer. CoRR abs/1809.02444 (2018) - [i21]Annamalai Narayanan, Charlie Soh, Lihui Chen, Yang Liu, Lipo Wang:
apk2vec: Semi-supervised multi-view representation learning for profiling Android applications. CoRR abs/1809.05693 (2018) - [i20]Lei Ma, Felix Juefei-Xu, Minhui Xue, Qiang Hu, Sen Chen, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See:
Secure Deep Learning Engineering: A Software Quality Assurance Perspective. CoRR abs/1810.04538 (2018) - [i19]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems. CoRR abs/1810.07855 (2018) - [i18]Qianyu Guo, Xiaofei Xie, Lei Ma, Qiang Hu, Ruitao Feng, Li Li, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms. CoRR abs/1811.05187 (2018) - [i17]Junjie Wang, Bihuan Chen, Lei Wei, Yang Liu:
Superion: Grammar-Aware Greybox Fuzzing. CoRR abs/1812.01197 (2018) - [i16]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu:
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. CoRR abs/1812.05339 (2018) - [i15]Jakub Breier, Xiaolu Hou, Yang Liu:
Fault Resilient Encoding Schemes in Software: How Far Can We Go? IACR Cryptol. ePrint Arch. 2018: 218 (2018) - [i14]Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu:
Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms. IACR Cryptol. ePrint Arch. 2018: 545 (2018) - 2017
- [j38]Chunyang Chen, Zhenchang Xing, Yang Liu:
By the Community & For the Community: A Deep Learning Approach to Assist Collaborative Editing in Q&A Sites. Proc. ACM Hum. Comput. Interact. 1(CSCW): 32:1-32:21 (2017) - [j37]Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu:
Context-Aware, Adaptive, and Scalable Android Malware Detection Through Online Learning. IEEE Trans. Emerg. Top. Comput. Intell. 1(3): 157-175 (2017) - [j36]Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang:
Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. IEEE Trans. Inf. Forensics Secur. 12(7): 1529-1544 (2017) - [j35]Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, Yang Liu, Kang G. Shin:
Battery-Aware Mobile Data Service. IEEE Trans. Mob. Comput. 16(6): 1544-1558 (2017) - [j34]Rong Wang, Zuohua Ding, Ning Gui, Yang Liu:
Detecting Bugs of Concurrent Programs With Program Invariants. IEEE Trans. Reliab. 66(2): 425-439 (2017) - [j33]Yuan Zhou, Hesuan Hu, Yang Liu, Zuohua Ding:
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. IEEE Trans. Syst. Man Cybern. Syst. 47(7): 1712-1726 (2017) - [c171]Junyao Hou, Hesuan Hu, Yuan Zhou, Yang Liu:
Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets. CASE 2017: 358-363 - [c170]Nan Du, Hesuan Hu, Yuan Zhou, Yang Liu:
Robust control of automated manufacturing systems with complex structures using Petri Nets. CASE 2017: 364-369 - [c169]Xiaojun Wang, Hesuan Hu, Yuan Zhou, Yang Liu:
A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets. CASE 2017: 370-375 - [c168]Wenjian He, Sanjeev Das, Wei Zhang, Yang Liu:
No-Jump-into-Basic-Block: Enforce Basic Block CFI on the Fly for Real-world Binaries. DAC 2017: 23:1-23:6 - [c167]Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong:
A Verification Framework for Stateful Security Protocols. ICFEM 2017: 262-280 - [c166]Chen Chen, Hesuan Hu, Yang Liu:
Static and dynamic partitions of inequalities and their application in supervisor simplification. ICRA 2017: 536-542 - [c165]Yan Yang, Hesuan Hu, Yang Liu:
A distributed approach to automated manufacturing systems with complex structures using Petri nets. ICRA 2017: 3016-3023 - [c164]Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jin Song Dong:
Feedback-based debugging. ICSE 2017: 393-403 - [c163]Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Fu Song:
SPAIN: security patch analysis for binaries towards understanding the pain and pills. ICSE 2017: 462-472 - [c162]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu:
Proof Tactics for Assertions in Separation Logic. ITP 2017: 285-303 - [c161]Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong:
Mining implicit design templates for actionable code reuse. ASE 2017: 394-404 - [c160]Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen:
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE 2017: 793-803 - [c159]Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, Xiaohong Li:
Loopster: static loop termination analysis. ESEC/SIGSOFT FSE 2017: 84-94 - [c158]Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su:
Guided, stochastic model-based GUI testing of Android apps. ESEC/SIGSOFT FSE 2017: 245-256 - [c157]Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu:
Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE 2017: 627-637 - [c156]Junjie Wang, Bihuan Chen, Lei Wei, Yang Liu:
Skyfire: Data-Driven Seed Generation for Fuzzing. IEEE Symposium on Security and Privacy 2017: 579-594 - [c155]David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu:
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. TACAS (1) 2017: 481-498 - [e4]Abhik Roychoudhury, Yang Liu:
A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017. Cryptology and Information Security Series 15, IOS Press 2017, ISBN 978-1-61499-743-6 [contents] - [i13]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
High-Assurance Separation Kernels: A Survey on Formal Methods. CoRR abs/1701.01535 (2017) - [i12]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Refinement-based Specification and Security Analysis of Separation Kernels. CoRR abs/1702.05997 (2017) - [i11]Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu:
A Multi-view Context-aware Approach to Android Malware Detection and Malicious Code Localization. CoRR abs/1704.01759 (2017) - [i10]Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu:
Context-aware, Adaptive and Scalable Android Malware Detection through Online Learning (extended version). CoRR abs/1706.00947 (2017) - [i9]Annamalai Narayanan, Mahinthan Chandramohan, Rajasekar Venkatesan, Lihui Chen, Yang Liu, Shantanu Jaiswal:
graph2vec: Learning Distributed Representations of Graphs. CoRR abs/1707.05005 (2017) - [i8]Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. CoRR abs/1709.09623 (2017) - [i7]Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu:
AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis. CoRR abs/1711.07451 (2017) - 2016
- [j32]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu:
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor. Arch. Formal Proofs 2016 (2016) - [j31]Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun:
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Appl. Soft Comput. 49: 1215-1231 (2016) - [j30]Yangxi Li, Xin Shi, Cuilan Du, Yang Liu, Yonggang Wen:
Manifold regularized multi-view feature selection for social image annotation. Neurocomputing 204: 135-141 (2016) - [j29]Akin Günay, Yang Liu, Jie Zhang:
ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols. J. Artif. Intell. Res. 57: 465-508 (2016) - [j28]Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15(2): 453-471 (2016) - [j27]Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
Verifying a quantitative relaxation of linearizability via refinement. Int. J. Softw. Tools Technol. Transf. 18(4): 393-407 (2016) - [j26]Hesuan Hu, Yang Liu, Ling Yuan:
Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets. IEEE Trans. Control. Syst. Technol. 24(1): 81-95 (2016) - [j25]Hesuan Hu, Rong Su, MengChu Zhou, Yang Liu:
Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets. IEEE Trans. Control. Syst. Technol. 24(5): 1610-1622 (2016) - [j24]Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang:
Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE Trans. Hum. Mach. Syst. 46(2): 197-208 (2016) - [j23]Sanjeev Das, Yang Liu, Wei Zhang, Mahinthan Chandramohan:
Semantics-Based Online Malware Detection: Towards Efficient Real-Time Protection Against Malware. IEEE Trans. Inf. Forensics Secur. 11(2): 289-302 (2016) - [j22]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. IEEE Trans. Ind. Informatics 12(4): 1321-1331 (2016) - [j21]Sanjeev Das, Wei Zhang, Yang Liu:
A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks for Embedded Systems. IEEE Trans. Very Large Scale Integr. Syst. 24(11): 3193-3207 (2016) - [c154]Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu:
Is It Harmful When Advisors Only Pretend to Be Honest? AAAI 2016: 2551-2557 - [c153]Tim Muller, Jie Zhang, Yang Liu:
A Language for Trust Modelling. AAMAS Workshops (Visionary Papers) 2016: 1-12 - [c152]Tim Muller, Jie Zhang, Yang Liu:
A Language for Trust Modelling. TRUST@AAMAS 2016: 63-70 - [c151]Hesuan Hu, Yan Yang, Yang Liu, Nan Du:
Critical stages and their identification in large scale automated manufacturing systems via Petri nets. CASE 2016: 413-420 - [c150]Guozhu Meng, Yinxing Xue, Mahinthan Chandramohan, Annamalai Narayanan, Yang Liu, Jie Zhang, Tieming Chen:
Mystique: Evolving Android Malware for Auditing Anti-Malware Tools. AsiaCCS 2016: 365-376 - [c149]Guyue Zhang, Luchao Tian, Ye Liu, Jun Liu, Xiang An Liu, Yang Liu, Yan Qiu Chen:
Robust Real-Time Human Perception with Depth Camera. ECAI 2016: 304-310 - [c148]Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu:
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. ECAI 2016: 1726-1727 - [c147]Hesuan Hu, Yan Yang, Yang Liu, Nan Du:
Critical stages and their application in large scale automated manufacturing systems via Petri nets. ECC 2016: 2337-2344 - [c146]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa:
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. FM 2016: 388-405 - [c145]Jinghua Hou, Zhiwei Zeng, Chunyan Miao, Yang Liu:
Prospective memory aid: A reminding model based on Fuzzy Cognitive Maps. FUZZ-IEEE 2016: 170-177 - [c144]Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin:
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. ICECCS 2016: 135-144 - [c143]Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong:
Automated Requirements Validation for ATP Software via Specification Review and Testing. ICFEM 2016: 26-40 - [c142]Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong:
Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140 - [c141]Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong:
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM 2016: 363-382 - [c140]Nan Du, Hesuan Hu, Yang Liu:
Robust control of automated manufacturing systems with assembly operations using petri nets. ICRA 2016: 3632-3638 - [c139]Bihuan Chen, Yang Liu, Wei Le:
Generating performance distributions via probabilistic symbolic execution. ICSE 2016: 49-60 - [c138]Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong:
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE 2016: 85-95 - [c137]Tim Muller, Dongxia Wang, Yang Liu, Jie Zhang:
How to Use Information Theory to Mitigate Unfair Rating Attacks. IFIPTM 2016: 17-32 - [c136]Tim Muller, Yang Liu, Jie Zhang:
Limitations on Robust Ratings and Predictions. IFIPTM 2016: 113-126 - [c135]Annamalai Narayanan, Yang Liu, Lihui Chen, Jinliang Liu:
Adaptive and scalable Android malware detection through online learning. IJCNN 2016: 2484-2491 - [c134]Annamalai Narayanan, Guozhu Meng, Yang Liu, Jinliang Liu, Lihui Chen:
Contextual Weisfeiler-Lehman graph kernel for malware detection. IJCNN 2016: 4701-4708 - [c133]Sanjeev Das, Hao Xiao, Yang Liu, Wei Zhang:
Online malware defense using attack behavior model. ISCAS 2016: 1322-1325 - [c132]Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan:
Semantic modelling of Android malware for effective malware comprehension, detection, and classification. ISSTA 2016: 306-317 - [c131]Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu:
Detecting Bugs of Concurrent Programs with Program Invariants. QRS Companion 2016: 412-413 - [c130]Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, Xiaohong Li:
Proteus: computing disjunctive loop summary via path dependency analysis. SIGSOFT FSE 2016: 61-72 - [c129]Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho, Hee Beng Kuan Tan:
BinGo: cross-architecture cross-OS binary search. SIGSOFT FSE 2016: 678-689 - [c128]Jinghua Hou, Chunyan Miao, Yang Liu:
Prospective memory aid reminder system design for group tasks. SKIMA 2016: 433-438 - [c127]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. TACAS 2016: 791-810 - [e3]Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu:
Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10055, Springer 2016, ISBN 978-3-319-50111-6 [contents] - [i6]Annamalai Narayanan, Guozhu Meng, Yang Liu, Jinliang Liu, Lihui Chen:
Contextual Weisfeiler-Lehman Graph Kernel For Malware Detection. CoRR abs/1606.06369 (2016) - [i5]Annamalai Narayanan, Yang Liu, Lihui Chen, Jinliang Liu:
Adaptive and Scalable Android Malware Detection through Online Learning. CoRR abs/1606.07150 (2016) - [i4]Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu, Santhoshkumar Saminathan:
subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs. CoRR abs/1606.08928 (2016) - [i3]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun:
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR abs/1611.00574 (2016) - 2015
- [j20]Guozhu Meng, Yang Liu, Jie Zhang, Alexander Pokluda, Raouf Boutaba:
Collaborative Security: A Survey and Taxonomy. ACM Comput. Surv. 48(1): 1:1-1:42 (2015) - [j19]Hesuan Hu, Yang Liu, Mengchu Zhou:
Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets. IEEE Trans. Control. Syst. Technol. 23(5): 2026-2034 (2015) - [j18]Hesuan Hu, Yang Liu:
Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets. IEEE Trans. Ind. Informatics 11(2): 450-458 (2015) - [j17]Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li:
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41(1): 3-18 (2015) - [c126]Akin Günay, Songzheng Song, Yang Liu, Jie Zhang:
Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. AAAI 2015: 2060-2066 - [c125]Tim Muller, Yang Liu, Jie Zhang:
The Fallacy of Endogenous Discounting of Trust Recommendations. AAMAS 2015: 563-572 - [c124]Dongxia Wang, Tim Muller, Athirai Aravazhi Irissappane, Jie Zhang, Yang Liu:
Using Information Theory to Improve the Robustness of Trust Systems. AAMAS 2015: 791-799 - [c123]Yan Cheng, Hesuan Hu, Yang Liu:
Robust supervisor synthesis for automated manufacturing systems using Petri nets. CASE 2015: 1029-1035 - [c122]Yan Yang, Hesuan Hu, Yang Liu:
A Petri net-based distributed control of automated manufacturing systems with assembly operations. CASE 2015: 1090-1097 - [c121]Junjie Wang, Yinxing Xue, Yang Liu, Tian Huat Tan:
JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification. AsiaCCS 2015: 109-120 - [c120]Xiaoning Du, Yang Liu, Alwen Tiu:
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. FM 2015: 231-247 - [c119]Li Li, Jun Sun, Yang Liu, Jin Song Dong:
Verifying Parameterized Timed Security Protocols. FM 2015: 342-359 - [c118]Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin:
GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109 - [c117]David Sanán, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey:
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS 2015: 120-129 - [c116]Hesuan Hu, Chen Chen, Yang Liu, Yan Yang:
Supervisors and their simplification in automated manufacturing systems via Petri nets. ICRA 2015: 969-975 - [c115]Hesuan Hu, Yan Yang, Yang Liu, Chen Chen:
Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets. ICRA 2015: 3826-3832 - [c114]Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, Jun Sun:
An Adaptive Markov Strategy for Effective Network Intrusion Detection. ICTAI 2015: 1085-1092 - [c113]Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu:
Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory. IJCAI 2015: 111-117 - [c112]Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu:
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B. ISSRE 2015: 281-292 - [c111]Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan:
Detection and classification of malicious JavaScript via attack behavior modelling. ISSTA 2015: 48-59 - [c110]Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen:
S-looper: automatic summarization for multipath string loops. ISSTA 2015: 188-198 - [c109]Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong:
Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256 - [c108]Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA 2015: 293-304 - [c107]Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong:
Interpolation Guided Compositional Verification (T). ASE 2015: 65-74 - [c106]Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS 2015: 449 - [c105]Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin:
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE 2015: 698-709 - [c104]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi:
Event and Strategy Analytics. TASE 2015: 4-6 - [c103]Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu:
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. TASE 2015: 55-62 - [c102]Shouyuan Chen, Yang Liu, Michael R. Lyu, Irwin King, Shengyu Zhang:
Fast Relative-Error Approximation Algorithm for Ridge Regression. UAI 2015: 201-210 - [c101]Akin Günay, Yang Liu, Jie Zhang, Partha Sarathi Dutta:
Automated Agent Behavior Construction for Protocol-Based Multiagent Systems. WI-IAT (2) 2015: 300-307 - [e2]Jun Pang, Yang Liu, Sjouke Mauw:
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. EPTCS 184, 2015 [contents] - [i2]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication. CoRR abs/1510.05091 (2015) - 2014
- [j16]Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Towards verification of computation orchestration. Formal Aspects Comput. 26(4): 729-759 (2014) - [j15]Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang:
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8(1): 1-16 (2014) - [j14]Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun:
Model checking approach to automated planning. Formal Methods Syst. Des. 44(2): 176-202 (2014) - [j13]Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
Complexity of the Soundness Problem of Workflow Nets. Fundam. Informaticae 131(1): 81-101 (2014) - [j12]Hao Han, Yinxing Xue, Keizo Oyama, Yang Liu:
Practice and Evaluation of Pagelet-Based Client-Side Rendering Mechanism. IEICE Trans. Inf. Syst. 97-D(8): 2067-2083 (2014) - [j11]Jianwei Niu, Yang Liu, Jialiu Lin, Like Zhu, Kongqiao Wang:
Stroke++: A new Chinese input method for touch screen mobile phones. Int. J. Hum. Comput. Stud. 72(4): 440-450 (2014) - [j10]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. 50(5-6): 620-679 (2014) - [j9]Hesuan Hu, Yang Liu:
Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis. IEEE Trans Autom. Sci. Eng. 11(1): 66-77 (2014) - [j8]Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari:
Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. 16: 62-91 (2014) - [j7]Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40(2): 137-153 (2014) - [c100]Songzheng Song, Yang Liu, Jie Zhang, Jun Sun:
An extensive model checking framework for multi-agent systems. AAMAS 2014: 1645-1646 - [c99]Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu:
PeCAn: Compositional Verification of Petri Nets Made Easy. ATVA 2014: 242-247 - [c98]Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun:
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software 2014: 151-170 - [c97]Hesuan Hu, Yan Yang, Yang Liu, Chen Chen:
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis. CASE 2014: 449-454 - [c96]Hesuan Hu, Chen Chen, Yang Liu, Yan Yang:
A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets. CASE 2014: 619-625 - [c95]Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun:
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV 2014: 391-406 - [c94]Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin:
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. FM 2014: 110-126 - [c93]Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun:
Formal Verification of Operational Transformation. FM 2014: 432-448 - [c92]Yan Liu, Lin Gui, Yang Liu:
MDP-Based Reliability Analysis of an Ambient Assisted Living System. FM 2014: 688-702 - [c91]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS 2014: 11-18 - [c90]Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong:
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM 2014: 171-186 - [c89]Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong:
Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM 2014: 284-299 - [c88]Li Li, Jun Sun, Yang Liu, Jin Song Dong:
TAuth: Verifying Timed Security Protocols. ICFEM 2014: 300-315 - [c87]Zhimin Wu, Yang Liu, Yun Liang, Jun Sun:
GPU Accelerated Counterexample Generation in LTL Model Checking. ICFEM 2014: 413-429 - [c86]Hesuan Hu, Chen Chen, Rong Su, Yang Liu, MengChu Zhou:
Distributed supervisor synthesis for automated manufacturing systems using Petri nets. ICRA 2014: 4423-4429 - [c85]Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, Wenyun Zhao:
Detecting differences across multiple instances of code clones. ICSE 2014: 164-174 - [c84]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong:
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion 2014: 564-567 - [c83]Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong:
Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. ICSME 2014: 341-350 - [c82]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li:
Event Analytics. ICTAC 2014: 17-24 - [c81]Tim Muller, Yang Liu, Sjouke Mauw, Jie Zhang:
On Robustness of Trust Systems. IFIPTM 2014: 44-60 - [c80]Sanjeev Das, Wei Zhang, Yang Liu:
Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking. ISVLSI 2014: 166-171 - [c79]Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang:
Automatic early defects detection in use case documents. ASE 2014: 785-790 - [c78]Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong:
RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE 2014: 727-730 - [c77]Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng:
Automatic Verification for Later-Correspondence of Security Protocols. SOFL+MSVL 2014: 111-126 - [c76]Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li:
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS 2014: 310-325 - [c75]Dongxia Wang, Tim Muller, Yang Liu, Jie Zhang:
Towards Robust and Effective Trust Management for Security: A Survey. TrustCom 2014: 511-518 - [c74]Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong:
Automated runtime recovery for QoS-based service composition. WWW 2014: 563-574 - [e1]Jun Pang, Yang Liu:
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. EPTCS 150, 2014 [contents] - [i1]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Stateful Security Protocol Verification. CoRR abs/1403.2237 (2014) - 2013
- [j6]Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André:
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013) - [j5]Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong:
Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. 39(7): 1018-1039 (2013) - [c73]Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun:
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. APSEC (1) 2013: 547-552 - [c72]Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. ATVA 2013: 474-477 - [c71]Hesuan Hu, MengChu Zhou, Yang Liu:
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets. CASE 2013: 1139-1144 - [c70]Hesuan Hu, MengChu Zhou, Yang Liu:
Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets. CASE 2013: 1145-1150 - [c69]Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin:
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV 2013: 984-989 - [c68]Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun:
TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS 2013: 107-124 - [c67]Yuanjie Si, Jun Sun, Yang Liu, Ting Wang:
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM 2013: 182-198 - [c66]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM 2013: 215-230 - [c65]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li:
Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM 2013: 313-328 - [c64]Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun:
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. ICFEM 2013: 329-346 - [c63]Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen:
Dynamic synthesis of local time requirement for service composition. ICSE 2013: 542-551 - [c62]Jin Song Dong, Jun Sun, Yang Liu:
Build your own model checker in one month. ICSE 2013: 1481-1483 - [c61]Jun Pang, Yang Liu, Sjouke Mauw:
Message from ESSS 2013 Workshop Co-chairs. ICST Workshops 2013: 1 - [c60]Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Improved Reachability Analysis in DTMC via Divide and Conquer. IFM 2013: 162-176 - [c59]Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong:
A Formal Semantics for Complete UML State Machines with Communications. IFM 2013: 331-346 - [c58]Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang:
Combining model checking and testing with an application to reliability prediction and distribution. ISSTA 2013: 101-111 - [c57]Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong:
Constraint-based automatic symmetry detection. ASE 2013: 15-25 - [c56]Yongzheng Wu, Jun Sun, Yang Liu, Jin Song Dong:
Automatically partition software into least privilege components using dynamic data dependency analysis. ASE 2013: 323-333 - [c55]Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun:
TzuYu: Learning stateful typestates. ASE 2013: 432-442 - [c54]Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong:
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. NDSS 2013 - [c53]G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai:
Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. SERVICES 2013: 306-311 - [c52]Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong:
USMMC: a self-contained model checker for UML state machines. ESEC/SIGSOFT FSE 2013: 623-626 - [c51]Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN 2013: 24-42 - [c50]Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI 2013: 515-535 - 2012
- [j4]Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Thanh Tho Quan:
SeVe: automatic tool for verification of security protocols. Frontiers Comput. Sci. China 6(1): 57-75 (2012) - [j3]Qingsong Cai, Jianwei Niu, Meikang Qiu, Yang Liu:
Properties of message forwarding paths in social-aware disconnected mobile networks. Simul. 88(10): 1190-1201 (2012) - [j2]Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng:
Formal modeling and validation of Stateflow diagrams. Int. J. Softw. Tools Technol. Transf. 14(6): 653-671 (2012) - [c49]Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
Complexity of the Soundness Problem of Bounded Workflow Nets. Petri Nets 2012: 92-107 - [c48]Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong:
Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC 2012: 644-653 - [c47]Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong:
A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV 2012: 705-711 - [c46]Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André:
Automatic Compositional Verification of Timed Systems. FM 2012: 272-276 - [c45]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu:
Improved BDD-Based Discrete Analysis of Timed Systems. FM 2012: 326-340 - [c44]Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun:
Model Checking Software Architecture Design. HASE 2012: 193-200 - [c43]Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari:
Formal Analysis of Pervasive Computing Systems. ICECCS 2012: 169-178 - [c42]Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249 - [c41]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS 2012: 253-262 - [c40]Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong:
Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229 - [c39]Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li:
More Anti-chain Based Refinement Checking. ICFEM 2012: 364-380 - [c38]Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho:
An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM 2012: 381-397 - [c37]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong:
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ICFEM 2012: 398-413 - [c36]Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong:
Analyzing multi-agent systems with probabilistic model checking approach. ICSE 2012: 1337-1340 - [c35]Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung:
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA 2012: 16-30 - [c34]Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Planning as Model Checking Tasks. SEW 2012: 177-186 - [r1]Jun Sun, Yang Liu, Jin Song Dong:
Timed Automata. Handbook of Finite State Based Models and Applications 2012: 87-111 - 2011
- [c33]Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu:
An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472 - [c32]Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong:
On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447 - [c31]Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong:
Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114 - [c30]Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li:
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162 - [c29]Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM 2011: 372-387 - [c28]Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
Differencing Labeled Transition Systems. ICFEM 2011: 537-552 - [c27]Yang Liu, Jun Sun, Jin Song Dong:
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE 2011: 190-199 - [c26]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong:
A model checking framework for hierarchical systems. ASE 2011: 633-636 - [c25]Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu:
Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408 - 2010
- [c24]Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan:
Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175 - [c23]Yang Liu, Jun Sun, Jin Song Dong:
Developing Model Checkers Using PAT. ATVA 2010: 371-377 - [c22]Jun Sun, Songzheng Song, Yang Liu:
Model Checking Hierarchical Probabilistic Systems. ICFEM 2010: 388-403 - [c21]Jun Sun, Yang Liu, Bin Cheng:
Model Checking a Model Checker: A Code Contract Combined Approach. ICFEM 2010: 518-533 - [c20]Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
SpecDiff: debugging formal specifications. ASE 2010: 353-354 - [c19]Yang Liu, Jun Sun, Jin Song Dong:
Analyzing hierarchical complex real-time systems. SIGSOFT FSE 2010: 365-366 - [c18]Shao Jie Zhang, Yang Liu:
An Automatic Approach to Model Checking UML State Machines. SSIRI (Companion) 2010: 1-6 - [c17]Yuzhang Feng, Yang Liu, Yuan-Fang Li, Daqing Zhang:
Discovering Anomalies in Semantic Web Rules. SSIRI 2010: 33-42 - [c16]Shao Jie Zhang, Yang Liu:
Model Checking a Lazy Concurrent List-Based Set Algorithm. SSIRI 2010: 43-52 - [c15]Xian Zhang, Yang Liu, Mikhail Auguston:
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. SSIRI 2010: 217-226
2000 – 2009
- 2009
- [c14]Jun Sun, Yang Liu, Jin Song Dong, Jun Pang:
PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714 - [c13]Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong:
Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139 - [c12]Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun:
Model Checking Linearizability via Refinement. FM 2009: 321-337 - [c11]Yang Liu, Jun Sun, Jin Song Dong:
Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445 - [c10]Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang:
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600 - [c9]Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu:
Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411 - [c8]Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao:
Verification of Population Ring Protocols in PAT. TASE 2009: 81-89 - [c7]Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen:
Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135 - 2008
- [j1]Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Compositional encoding for bounded model checking. Frontiers Comput. Sci. China 2(4): 368-379 (2008) - [c6]Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24 - [c5]Yang Liu, Jun Sun, Jin Song Dong:
An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920 - [c4]Jun Sun, Yang Liu, Jin Song Dong:
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322 - [c3]Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Bounded Model Checking of Compositional Processes. TASE 2008: 23-30 - 2006
- [c2]Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245 - 2005
- [c1]Yang Liu, Jun Sun:
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. WLFM@FM 2005: 107-124
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-29 21:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint