The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yang Liu 0003" ( http://dblp.L3S.de/Authors/Yang_Liu_0003 )

URL (Homepage):  http://www.ntu.edu.sg/home/yangliu/  Author page on DBLP  Author page in RDF  Community of Yang Liu 0003 in ASPL-2

Publication years (Num. hits)
2006-2009 (15) 2010-2011 (18) 2012 (19) 2013 (25) 2014 (35) 2015 (28) 2016 (39) 2017 (27) 2018 (29) 2019 (5)
Publication types (Num. hits)
article(64) incollection(1) inproceedings(173) proceedings(2)
Venues (Conferences, Journals, ...)
ICFEM(26) CoRR(16) ASE(13) FM(12) ICSE(11) CASE(10) ESEC/SIGSOFT FSE(7) ICRA(6) ISSTA(6) ICECCS(5) IEEE Trans. Software Eng.(5) CAV(4) SIGSOFT FSE(4) TASE(4) AAMAS(3) ATVA(3) More (+10 of total 99)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 13 keywords

Results
Found 241 publication records. Showing 240 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Chenyu Wang, Bihuan Chen 0001, Yang Liu 0003, Hongjun Wu Layered Object-Oriented Programming: Advanced VTable Reuse Attacks on Binary-Level Defense. Search on Bibsonomy IEEE Trans. Information Forensics and Security The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 Refinement-Based Specification and Security Analysis of Separation Kernels. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chongbin Tang, Sen Chen, Lingling Fan, Lihua Xu, Yang Liu 0003, Zhushou Tang, Liang Dou A Large-Scale Empirical Study on Industrial Fake Apps. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhushou Tang, Minhui Xue, Guozhu Meng, Chengguo Ying, Yugeng Liu, Jianan He, Haojin Zhu, Yang Liu 0003 Securing android applications via edge assistant third-party library detection. Search on Bibsonomy Computers & Security The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bihuan Chen 0001, Xin Peng 0001, Yang Liu 0003, Songzheng Song, Jiahuan Zheng, Wenyun Zhao Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints. Search on Bibsonomy IEEE Trans. Services Computing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Shang-Wei Lin, Zuohua Ding A distributed approach to robust control of multi-robot systems. Search on Bibsonomy Automatica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jakub Breier, Xiaolu Hou, Yang Liu 0003 Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code. Search on Bibsonomy IACR Trans. Cryptogr. Hardw. Embed. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ting Wang 0004, Tieming Chen, Yang Liu 0003, Ye Wang Anti-chain based algorithms for timed/probabilistic refinement checking. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu 0003 A multi-view context-aware approach to Android malware detection and malicious code localization. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Junjie Wang, Bihuan Chen 0001, Lei Wei, Yang Liu 0003 Superion: Grammar-Aware Greybox Fuzzing. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sen Chen, Guozhu Meng, Ting Su, Lingling Fan, Yinxing Xue, Yang Liu 0003, Lihua Xu, Minhui Xue, Bo Li, Shuang Hao AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu 0003, Zhoulai Fu, Zhendong Su Towards Efficient Data-flow Test Data Generation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu 0003, Jianjun Zhao, Yadong Wang DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu Efficiently Manifesting Asynchronous Programming Errors in Android Apps. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sanjeev Das, Bihuan Chen 0001, Mahintham Chandramohan, Yang Liu 0003, Wei Zhang ROPSentry: Runtime defense against ROP attacks using hardware performance counters. Search on Bibsonomy Computers & Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Willem Visser Towards Model Checking Android Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Li Li 0044, Jun Sun 0001, Yang Liu 0003, Meng Sun 0002, Jin Song Dong A Formal Specification and Verification Framework for Timed Security Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guozhu Meng, Ruitao Feng, Guangdong Bai, Kai Chen, Yang Liu 0003 DroidEcho: an in-depth dissection of malicious behaviors in Android applications. Search on Bibsonomy Cybersecurity The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongxu Chen, Yinxing Xue, Yuekang Li, Bihuan Chen 0001, Xiaofei Xie, Xiuheng Wu, Yang Liu 0003 Hawkeye: Towards a Desired Directed Grey-box Fuzzer. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu 0003, Jianjun Zhao, Yadong Wang DeepMutation: Mutation Testing of Deep Learning Systems. Search on Bibsonomy ISSRE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu 0003 A Permission-Dependent Type System for Secure Information Flow Analysis. Search on Bibsonomy CSF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Charlie Soh, Lihui Chen, Yang Liu 0003, Lipo Wang Apk2vec: Semi-Supervised Multi-view Representation Learning for Profiling Android Applications. Search on Bibsonomy ICDM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kaifeng Huang, Bihuan Chen 0001, Xin Peng 0001, Daihong Zhou, Ying Wang, Yang Liu 0003, Wenyun Zhao ClDiff: generating concise linked code differences. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu 0003, Jianjun Zhao, Yadong Wang DeepGauge: multi-granularity testing criteria for deep learning systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu Efficiently manifesting asynchronous programming errors in Android apps. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu 0003 Tell them apart: distilling technology differences from crowd-scale comparison discussions. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu 0003, Alwen Tiu, Shang-Wei Lin, Jun Sun 0001 Compositional Reasoning for Shared-Variable Concurrent Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhifei Chen, Bihuan Chen 0001, Lu Xiao 0001, Xiao Wang, Lin Chen, Yang Liu 0003, Baowen Xu Speedoo: prioritizing performance optimization opportunities. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu 0003 From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su Large-scale analysis of framework-specific exceptions in Android apps. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongxu Chen, Yuekang Li, Bihuan Chen 0001, Yinxing Xue, Yang Liu 0003 FOT: a versatile, configurable, extensible fuzzing framework. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu 0003, Lihua Xu Are mobile banking apps secure? what can be improved? Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yinxing Xue, Guozhu Meng, Yang Liu 0003, Tian Huat Tan, Hongxu Chen, Jun Sun 0001, Jie Zhang 0002 Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. Search on Bibsonomy IEEE Trans. Information Forensics and Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Zuohua Ding Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liang He 0002, Guozhu Meng, Yu Gu 0001, Cong Liu 0005, Jun Sun 0001, Ting Zhu, Yang Liu 0003, Kang G. Shin Battery-Aware Mobile Data Service. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu 0003 A Multi-view Context-aware Approach to Android Malware Detection and Malicious Code Localization. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu 0003 Context-aware, Adaptive and Scalable Android Malware Detection through Online Learning (extended version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu 0003 AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Rong Wang, Zuohua Ding, Ning Gui, Yang Liu 0003 Detecting Bugs of Concurrent Programs With Program Invariants. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu 0003 Context-Aware, Adaptive, and Scalable Android Malware Detection Through Online Learning. Search on Bibsonomy IEEE Trans. Emerging Topics in Comput. Intellig. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chunyang Chen, Zhenchang Xing, Yang Liu 0003 By the Community & For the Community: A Deep Learning Approach to Assist Collaborative Editing in Q&A Sites. Search on Bibsonomy PACMHCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chen Chen 0009, Hesuan Hu, Yang Liu 0003 Static and dynamic partitions of inequalities and their application in supervisor simplification. Search on Bibsonomy ICRA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yan Yang, Hesuan Hu, Yang Liu 0003 A distributed approach to automated manufacturing systems with complex structures using Petri nets. Search on Bibsonomy ICRA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Li Li 0044, Naipeng Dong, Jun Pang, Jun Sun 0001, Guangdong Bai, Yang Liu 0003, Jin Song Dong A Verification Framework for Stateful Security Protocols. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu 0003 CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shang-Wei Lin, Jun Sun 0001, Hao Xiao, Yang Liu 0003, David Sanán, Henri Hansen FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. Search on Bibsonomy ASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yun Lin 0001, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun 0001, Xin Peng 0001, Yang Liu 0003, Wenyun Zhao, Jin Song Dong Mining implicit design templates for actionable code reuse. Search on Bibsonomy ASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaojun Wang, Hesuan Hu, Yuan Zhou 0005, Yang Liu 0003 A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junyao Hou, Hesuan Hu, Yuan Zhou 0005, Yang Liu 0003 Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nan Du, Hesuan Hu, Yuan Zhou 0005, Yang Liu 0003 Robust control of automated manufacturing systems with complex structures using Petri Nets. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wenjian He, Sanjeev Das, Wei Zhang, Yang Liu 0003 No-Jump-into-Basic-Block: Enforce Basic Block CFI on the Fly for Real-world Binaries. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junjie Wang, Bihuan Chen 0001, Lei Wei, Yang Liu 0003 Skyfire: Data-Driven Seed Generation for Fuzzing. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003 Proof Tactics for Assertions in Separation Logic. Search on Bibsonomy ITP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, Yang Liu 0003 (eds.) A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017 Search on Bibsonomy SG-CRC The full citation details ... 2017 DBLP  BibTeX  RDF
1Yun Lin 0001, Jun Sun 0001, Yinxing Xue, Yang Liu 0003, Jin Song Dong Feedback-based debugging. Search on Bibsonomy ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengzi Xu, Bihuan Chen 0001, Mahinthan Chandramohan, Yang Liu 0003, Fu Song SPAIN: security patch analysis for binaries towards understanding the pain and pills. Search on Bibsonomy ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuekang Li, Bihuan Chen 0001, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu 0003, Alwen Tiu Steelix: program-state based binary fuzzing. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu 0003, Zhendong Su Guided, stochastic model-based GUI testing of Android apps. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaofei Xie, Bihuan Chen 0001, Liang Zou, Shang-Wei Lin, Yang Liu 0003, Xiaohong Li Loopster: static loop termination analysis. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Songzheng Song, Jianye Hao, Yang Liu 0003, Jun Sun 0001, Ho-fung Leung, Jie Zhang 0002 Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. Search on Bibsonomy IEEE Trans. Human-Machine Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sanjeev Das, Yang Liu 0003, Wei Zhang 0012, Mahinthan Chandramohan Semantics-Based Online Malware Detection: Towards Efficient Real-Time Protection Against Malware. Search on Bibsonomy IEEE Trans. Information Forensics and Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sanjeev Das, Wei Zhang 0012, Yang Liu 0003 A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks for Embedded Systems. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hesuan Hu, Rong Su, MengChu Zhou, Yang Liu 0003 Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hesuan Hu, Yang Liu 0003, Ling Yuan Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Akin Günay, Yang Liu 0003, Jie Zhang 0002 ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu 0003, Santhoshkumar Saminathan subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu 0003, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun 0001 Compositional Reasoning for Shared-variable Concurrent Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Annamalai Narayanan, Yang Liu 0003, Lihui Chen, Jinliang Liu Adaptive and Scalable Android Malware Detection through Online Learning. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Annamalai Narayanan, Guozhu Meng, Yang Liu 0003, Jinliang Liu, Lihui Chen Contextual Weisfeiler-Lehman Graph Kernel For Malware Detection. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003 A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2016 DBLP  BibTeX  RDF
1Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang Verifying a quantitative relaxation of linearizability via refinement. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Songzheng Song, Jiexin Zhang, Yang Liu 0003, Mikhail Auguston, Jun Sun 0001, Jin Song Dong, Tieming Chen Formalizing and verifying stochastic system architectures using Monterey Phoenix. Search on Bibsonomy Software and System Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu 0003, Wentong Cai, Manman Chen, Jun Sun 0001 IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nan Du, Hesuan Hu, Yang Liu 0003 Robust control of automated manufacturing systems with assembly operations using petri nets. Search on Bibsonomy ICRA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guozhu Meng, Yinxing Xue, Mahinthan Chandramohan, Annamalai Narayanan, Yang Liu 0003, Jie Zhang 0002, Tieming Chen Mystique: Evolving Android Malware for Auditing Anti-Malware Tools. Search on Bibsonomy AsiaCCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Muller, Dongxia Wang, Yang Liu 0003, Jie Zhang 0002 How to Use Information Theory to Mitigate Unfair Rating Attacks. Search on Bibsonomy IFIPTM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Muller, Yang Liu 0003, Jie Zhang 0002 Limitations on Robust Ratings and Predictions. Search on Bibsonomy IFIPTM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Truong Khanh Nguyen, Tian Huat Tan, Jun Sun 0001, Jiaying Li, Yang Liu 0003, Manman Chen, Jin Song Dong Scaling BDD-based Timed Verification with Simulation Reduction. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu 0003, Shuohao Chen, Kunpeng Xiong Automated Requirements Validation for ATP Software via Specification Review and Testing. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manman Chen, Tian Huat Tan, Jun Sun 0001, Jingyi Wang, Yang Liu 0003, Jing Sun 0002, Jin Song Dong Service Adaptation with Probabilistic Partial Models. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Yang Liu 0003, Lihui Chen, Jinliang Liu Adaptive and scalable Android malware detection through online learning. Search on Bibsonomy IJCNN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Annamalai Narayanan, Guozhu Meng, Yang Liu 0003, Jinliang Liu, Lihui Chen Contextual Weisfeiler-Lehman graph kernel for malware detection. Search on Bibsonomy IJCNN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sanjeev Das, Hao Xiao, Yang Liu 0003, Wei Zhang 0012 Online malware defense using attack behavior model. Search on Bibsonomy ISCAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu 0003, Jie Zhang 0002, Annamalai Narayanan Semantic modelling of Android malware for effective malware comprehension, detection, and classification. Search on Bibsonomy ISSTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dongxia Wang, Tim Muller, Jie Zhang 0002, Yang Liu 0003 Is It Harmful When Advisors Only Pretend to Be Honest? Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Hesuan Hu, Yan Yang, Yang Liu 0003, Nan Du Critical stages and their identification in large scale automated manufacturing systems via Petri nets. Search on Bibsonomy CASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang 0001, Jun Sun 0001, Yang Liu 0003 (eds.) Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers Search on Bibsonomy JIST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu 0003 Detecting Bugs of Concurrent Programs with Program Invariants. Search on Bibsonomy QRS Companion The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hesuan Hu, Yan Yang, Yang Liu 0003, Nan Du Critical stages and their application in large scale automated manufacturing systems via Petri nets. Search on Bibsonomy ECC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tian Huat Tan, Manman Chen, Jun Sun 0001, Yang Liu 0003, Étienne André, Yinxing Xue, Jin Song Dong Optimizing selection of competing services with probabilistic hierarchical refinement. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bihuan Chen 0001, Yang Liu 0003, Wei Le Generating performance distributions via probabilistic symbolic execution. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Muller, Jie Zhang 0002, Yang Liu 0003 A Language for Trust Modelling. Search on Bibsonomy AAMAS Workshops (Visionary Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Muller, Jie Zhang 0002, Yang Liu 0003 A Language for Trust Modelling. Search on Bibsonomy TRUST@AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu 0003, Chia Yuan Cho, Hee Beng Kuan Tan BinGo: cross-architecture cross-OS binary search. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaofei Xie, Bihuan Chen 0001, Yang Liu 0003, Wei Le, Xiaohong Li Proteus: computing disjunctive loop summary via path dependency analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 240 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license