Yang Liu
发表
Yang Liu,
Zhenchang Xing,
Chunyang Chen,
2018,
Empirical Software Engineering.
Jun Sun,
Yang Liu,
Wentong Cai,
2013,
ICFEM.
Yang Liu,
Annamalai Narayanan,
Lihui Chen,
2016,
ArXiv.
Yang Liu,
Ting Su,
Geguang Pu,
2016,
ICFEM.
Yang Liu,
Cheng Lei,
Yong Ma,
2019,
IEEE Transactions on Power Delivery.
Yang Liu,
Annamalai Narayanan,
Lihui Chen,
2017,
IEEE Transactions on Emerging Topics in Computational Intelligence.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
Real-Time Systems.
Yang Liu,
Min Zhang,
Songtao Zhang,
2013
.
MengChu Zhou,
Yang Liu,
Hesuan Hu,
2015,
IEEE Transactions on Control Systems Technology.
Lin Gui,
Jun Sun,
Yang Liu,
2013,
ISSTA.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
ICFEM.
Yang Liu,
Jie Zhang,
Tim Muller,
2016,
TRUST@AAMAS.
Yang Liu,
Yuan Zhou,
Nan Du,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
ICSE Companion.
Li Li,
Jun Sun,
Yang Liu,
2018,
IEEE Transactions on Software Engineering.
Yang Liu,
Yan Yang,
Hesuan Hu,
2017,
2017 IEEE International Conference on Robotics and Automation (ICRA).
Yang Liu,
Ting Su,
Annamalai Narayanan,
2017,
ArXiv.
Yang Liu,
Dongxia Wang,
Jie Zhang,
2014,
2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications.
Jun Sun,
Yang Liu,
Jin Song Dong,
2010,
ATVA.
Wei Zhang,
Yang Liu,
Hao Xiao,
2016,
2016 IEEE International Symposium on Circuits and Systems (ISCAS).
Jun Sun,
Yang Liu,
Shengchao Qin,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Li Li,
Jun Sun,
Yang Liu,
2014,
ICFEM.
Ling Shi,
Jun Sun,
Yang Liu,
2015,
2015 International Symposium on Theoretical Aspects of Software Engineering.
Jun Sun,
Yang Liu,
Zhenchang Xing,
2014,
ICSE.
Jun Sun,
Yang Liu,
Jun Pang,
2013,
ICFEM.
Lin Gui,
Yang Liu,
Yan Liu,
2014,
FM.
Yang Liu,
Yi Xu,
Chengzheng Sun,
2014,
FM.
Lin Gui,
Jun Sun,
Yang Liu,
2012,
PRIMA.
Jun Sun,
Yang Liu,
Shang-Wei Lin,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Wei Zhang,
Yang Liu,
Mahinthan Chandramohan,
2016,
IEEE Transactions on Information Forensics and Security.
Yang Liu,
Lingling Fan,
Ting Su,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yang Liu,
Annamalai Narayanan,
Lihui Chen,
2017,
Empirical Software Engineering.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
SenSys.
Yang Liu,
Fu Song,
Bihuan Chen,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Ling Shi,
Jun Sun,
Yang Liu,
2013,
ICFEM.
Ling Shi,
Jun Sun,
Yang Liu,
2013,
Formal Aspects of Computing.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
Formal Methods Syst. Des..
Yang Liu,
Shang-Wei Lin,
Bihuan Chen,
2017,
ESEC/SIGSOFT FSE.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
FM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
ICFEM.
Yang Liu,
Hongxing Liu,
Yang Liu,
2010,
2010 International Conference on Internet Technology and Applications.
Jun Sun,
Yang Liu,
Shang-Wei Lin,
2014,
CAV.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
IFM.
Jun Sun,
Yang Liu,
Yuanjie Si,
2013,
ICFEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.
Yang Liu,
Yongwang Zhao,
David Sanán,
2016,
TACAS.
Jun Sun,
Yang Liu,
Jun Pang,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Yang Liu,
Dongxia Wang,
Jie Zhang,
2016,
AAAI.
Yang Liu,
Bihuan Chen,
Wei Le,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2016,
ICFEM.
Yang Liu,
Guoshan Zhang,
Zhihua Yang,
2013
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
Specification, Algebra, and Software.
MengChu Zhou,
Yang Liu,
Rong Su,
2016,
IEEE Transactions on Control Systems Technology.
Jun Sun,
Yang Liu,
Songzheng Song,
2010,
ICFEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2010,
ASE '10.
Jun Sun,
Yang Liu,
Jin Song Dong,
2009,
ICFEM.
Yang Liu,
Yan Yang,
Hesuan Hu,
2015,
2015 IEEE International Conference on Automation Science and Engineering (CASE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2009,
CAV.
Yang Liu,
Yang Liu,
2018
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
ICTAC.
Yang Liu,
2000
.
Yang Liu,
Junjie Wang,
Lei Wei,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
Handbook of Finite State Based Models and Applications.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
FM.
Yang Liu,
Xian Zhang,
Mikhail Auguston,
2010,
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.
Yang Liu,
Jie Zhang,
Tim Muller,
2015,
AAMAS.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
ATVA.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
ESEC/FSE 2013.
Jun Sun,
Yang Liu,
Jin Song Dong,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yang Liu,
Jingshan Li,
Jingshan Li,
2010
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
FM.
Li Li,
Yang Liu,
Qiang Hu,
2018,
ArXiv.
Jun Sun,
Yang Liu,
Shanping Li,
2014,
TACAS.
Yang Liu,
Haijun Wang,
Yi Li,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
Zuohua Ding,
Yang Liu,
Rong Wang,
2016,
IEEE Transactions on Reliability.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Jun Li,
Yang Liu,
Chao Liu,
2011,
2011 Second International Conference on Networking and Distributed Computing.
Yang Liu,
Jie Zhang,
Tim Muller,
2016,
IFIPTM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2015,
Software & Systems Modeling.
Yang Liu,
Yang Liu,
2017
.
Yang Liu,
Yan Yang,
Nan Du,
2016,
2016 IEEE International Conference on Automation Science and Engineering (CASE).
Yang Liu,
Yuan Zhou,
Hesuan Hu,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Jun Sun,
Yang Liu,
Shengchao Qin,
2015,
ESEC/SIGSOFT FSE.
Yang Liu,
Dongxia Wang,
Jie Zhang,
2015,
AAMAS.
Jun Sun,
Yang Liu,
Jin Song Dong,
2008,
ISoLA.
Yang Liu,
Jie Zhang,
Annamalai Narayanan,
2016,
AsiaCCS.
Yang Liu,
Junjie Wang,
Lei Wei,
2018,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Yang Liu,
Chao Wang,
Shao Jie Zhang,
2013,
International Journal on Software Tools for Technology Transfer.
Jun Sun,
Yang Liu,
Jun Sun,
2006,
WLFM@FM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2015,
MoDELS.
Yang Liu,
David Sanán,
Alwen Tiu,
2017,
ITP.
Yang Liu,
2003
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
2011 IEEE 22nd International Symposium on Software Reliability Engineering.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
2013 IEEE Ninth World Congress on Services.
Li Li,
Jun Sun,
Yang Liu,
2014,
2014 19th International Conference on Engineering of Complex Computer Systems.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
Frontiers of Computer Science.
Yang Liu,
Yang Liu,
2012
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2009,
ICFEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
Trans. Comput. Collect. Intell..
Jun Sun,
Yang Liu,
Ho-fung Leung,
2016,
IEEE Transactions on Human-Machine Systems.
Yang Liu,
Yan Yang,
Chen Chen,
2015,
2015 IEEE International Conference on Robotics and Automation (ICRA).
Jun Sun,
Yang Liu,
Jin Song Dong,
2006,
ICFEM.
Yanhong A. Liu,
Jun Sun,
Yang Liu,
2009,
FM.
Jun Sun,
Yang Liu,
Chen-Wei Wang,
2013,
FTSCS.
Li Li,
Jun Sun,
Yang Liu,
2017,
ICFEM.
Yang Liu,
Xiaoning Du,
Alwen Tiu,
2015,
FM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
Yang Liu,
Keizo Oyama,
Yinxing Xue,
2014,
IEICE Trans. Inf. Syst..
Jun Sun,
Yang Liu,
Yun Liang,
2014,
ICFEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2015,
ISSTA.
Yang Liu,
Zhenkai Liang,
Andrew P. Martin,
2014,
FM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
CAV.
Yang Liu,
Zhenchang Xing,
Ting Su,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Yang Liu,
Yan Yang,
Nan Du,
2016,
2016 European Control Conference (ECC).
Li Li,
Jun Sun,
Yang Liu,
2014,
ArXiv.
MengChu Zhou,
Yang Liu,
Rong Su,
2014,
2014 IEEE International Conference on Robotics and Automation (ICRA).
Yang Liu,
Daqing Zhang,
Yuan-Fang Li,
2010,
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
NDSS.
Yang Liu,
Nan Du,
Hesuan Hu,
2016,
2016 IEEE International Conference on Robotics and Automation (ICRA).
Yang Liu,
Shao Jie Zhang,
Yang Liu,
2010,
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.
Yang Liu,
Jie Zhang,
Akin Günay,
2015,
AAAI.
Yang Liu,
Shang-Wei Lin,
Xiaohong Li,
2017,
ESEC/SIGSOFT FSE.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
Formal Aspects of Computing.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
WWW.
Jun Sun,
Yang Liu,
Junjie Wang,
2015,
ISSTA.
Yang Liu,
Xiaohong Li,
Xiaofei Xie,
2015,
ISSTA.
Jun Sun,
Yang Liu,
Jin Song Dong,
2008,
ICFEM.
Yang Liu,
Xiao Wang,
Bihuan Chen,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
CAV.
Jun Sun,
Yang Liu,
Jin Song Dong,
2016,
ICFEM.
Yang Liu,
Lingling Fan,
Zhendong Su,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Jun Sun,
Yang Liu,
Jin Song Dong,
2009,
FM.
Yang Liu,
Yisha Liu,
Wei Wang,
2008
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Lin Gui,
Jun Sun,
Yang Liu,
2014,
FSE 2014.
Jun Sun,
Yang Liu,
Jin Song Dong,
2008,
Frontiers of Computer Science in China.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yang Liu,
Chao Wang,
Shao Jie Zhang,
2015,
International Journal on Software Tools for Technology Transfer.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
Petri Nets.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 35th Annual IEEE Software Engineering Workshop.
Ling Shi,
Jun Sun,
Yang Liu,
2012,
ICFEM.
Li Li,
Yang Liu,
Xiaohong Li,
2014,
SOFL+MSVL.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
ICFEM.
Yang Liu,
Yan Yang,
Chen Chen,
2014,
2014 IEEE International Conference on Automation Science and Engineering (CASE).
Ling Shi,
Jun Sun,
Yang Liu,
2013,
TSEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
VMCAI.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
ICFEM.
Yang Liu,
Yan Yang,
Chen Chen,
2014,
2014 IEEE International Conference on Automation Science and Engineering (CASE).
Yue Zhang,
Jun Sun,
Yang Liu,
2014,
ASE.
Li Li,
Jun Sun,
Yang Liu,
2015,
FM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
ATVA.
Jun Sun,
Yang Liu,
Jianye Hao,
2015,
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).
Yang Liu,
Jie Zhang,
Sjouke Mauw,
2014,
IFIPTM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
IEEE Transactions on Software Engineering.
Yang Liu,
Xiaohong Li,
Bihuan Chen,
2016,
SIGSOFT FSE.
Yang Liu,
Yan Yang,
Chen Chen,
2015,
2015 IEEE International Conference on Robotics and Automation (ICRA).
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Yang Liu,
Yuan Zhou,
Hesuan Hu,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Yang Liu,
Lei Ma,
Shivam Bhasin,
2018,
1806.05859.
Yang Liu,
Jie Zhang,
Partha Sarathi Dutta,
2015,
2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT).
Yang Liu,
Jinliang Liu,
Annamalai Narayanan,
2016,
2016 International Joint Conference on Neural Networks (IJCNN).
Jun Sun,
Yang Liu,
Jin Song Dong,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Yang Liu,
Kejun Zhao,
Qi Liu,
2010,
2010 International Conference on Internet Technology and Applications.
Yang Liu,
Dongxia Wang,
Jie Zhang,
2015,
IJCAI.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
2014 IEEE International Conference on Software Maintenance and Evolution.
Yang Liu,
Jinliang Liu,
Annamalai Narayanan,
2016,
2016 International Joint Conference on Neural Networks (IJCNN).
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Yang Liu,
Raouf Boutaba,
Jie Zhang,
2015,
ACM Comput. Surv..
Li Li,
Jun Sun,
Yang Liu,
2014,
ICFEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2008,
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
Yang Liu,
Kejun Zhao,
Xinjun Wang,
2009,
2009 International Symposium on Computer Network and Multimedia Technology.
Ling Yuan,
Yang Liu,
Hesuan Hu,
2016,
IEEE Transactions on Control Systems Technology.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
ICFEM.
Yang Liu,
Huaqing Liang,
Rui Zhang,
2017,
2017 IEEE 2nd International Conference on Opto-Electronic Information Processing (ICOIP).
Yang Liu,
Jie Zhang,
Annamalai Narayanan,
2016,
ISSTA.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.
Jun Sun,
Yang Liu,
Jin Song Dong,
2014,
Frontiers of Computer Science.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
FM.
Wei Zhang,
Yang Liu,
Sanjeev Das,
2016,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Yang Liu,
Zhendong Su,
Ting Su,
2017,
ESEC/SIGSOFT FSE.
Yang Liu,
Lingling Fan,
Zhendong Su,
2018,
ArXiv.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
ICFEM.
Jun Sun,
Yang Liu,
Jin Song Dong,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yang Liu,
Chen Chen,
Hesuan Hu,
2017,
2017 IEEE International Conference on Robotics and Automation (ICRA).
Yang Liu,
Yongwang Zhao,
David Sanán,
2016,
IEEE Transactions on Industrial Informatics.
Jun Sun,
Yang Liu,
Jin Song Dong,
2010,
FSE '10.
MengChu Zhou,
Yang Liu,
Hesuan Hu,
2013,
2013 IEEE International Conference on Automation Science and Engineering (CASE).
Lin Gui,
Jun Sun,
Yang Liu,
2014,
ICFEM.
Lin Gui,
Jun Sun,
Yang Liu,
2013,
IFM.
Jun Sun,
Yang Liu,
Xuan-Linh Ha,
2013,
2013 20th Asia-Pacific Software Engineering Conference (APSEC).
Wei Zhang,
Yang Liu,
Wenjian He,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Yang Liu,
Ye Wang,
Ting Wang,
2018,
Science China Information Sciences.
Yang Liu,
Hesuan Hu,
Yan Cheng,
2015,
2015 IEEE International Conference on Automation Science and Engineering (CASE).
Jun Sun,
Yang Liu,
Bin Cheng,
2010,
ICFEM.
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
TACAS.
Jun Sun,
Yang Liu,
Jin Song Dong,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Jun Sun,
Yang Liu,
Jie Zhang,
2014,
AAMAS.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Yang Liu,
Junjie Wang,
Yinxing Xue,
2015,
AsiaCCS.
Yanhong A. Liu,
Jun Sun,
Yang Liu,
2009,
SEKE.
Yang Liu,
Huaikou Miao,
2012
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2008,
ICSE Companion '08.
Yang Liu,
Liang Ma,
Yongzhi Liu,
2010,
2010 International Conference on Internet Technology and Applications.
Pao-Ann Hsiung,
Jun Sun,
Yang Liu,
2012,
ICFEM.
Yang Liu,
Minhui Xue,
Haojin Zhu,
2019,
Comput. Secur..
Yang Liu,
Yang Liu,
Guan-Zhu Han,
2015,
Plant Physiology.
Yang Liu,
Yang Liu,
Yurong Gao,
2011,
Annals of Microbiology.
Yang Liu,
Yan Liu,
Hui Hua,
2016,
PloS one.
Yang Liu,
Neelesh Soni,
Mallur S. Madhusudhan,
2016,
Nucleic acids research.
Yang Liu,
Trupti Joshi,
Babu Valliyodan,
2016,
BMC Genomics.
Yang Liu,
Pan Zheng,
Shili Lin,
2012,
American journal of translational research.
Identification of Candidate Olfactory Genes in Chilo suppressalis by Antennal Transcriptome Analysis
Yang Liu,
William B. Walker,
Jianhong Li,
2014,
International journal of biological sciences.
Yang Liu,
Qingyang Xiao,
Shenshen Li,
2015,
PloS one.
Yang Liu,
Shili Lin,
Jie Ding,
2006,
American journal of human genetics.
Yang Liu,
Stephen J. Rossiter,
Shuyi Zhang,
2010,
Current Biology.
Yang Liu,
Jean-Jack M. Riethoven,
Istvan Ladunga,
2010,
PloS one.
Yang Liu,
Yang Liu,
Yong Deng,
2015
.
Meng Wang,
Yang Liu,
Lei Wang,
2015,
Scientific Reports.
Yang Liu,
Qiyun Zhu,
Yang Liu,
2008,
Genetica.
Meng Wang,
Yang Liu,
M. Wang,
2017,
Front. Microbiol..
Yang Liu,
Wei Wang,
Bernard Goffinet,
2014,
Systematic biology.