Yang Liu
Yang Liu
Professor and 2019 University Leadership Forum Chair, Nanyang Technological University
Verified email at ntu.edu.sg - Homepage
TitleCited byYear
PAT: Towards flexible verification under fairness
J Sun, Y Liu, JS Dong, J Pang
International Conference on Computer Aided Verification, 709-714, 2009
3392009
Model checking CSP revisited: Introducing a process analysis toolkit
J Sun, Y Liu, JS Dong
Leveraging Applications of Formal Methods, Verification and Validation, 307-322, 2009
1592009
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations
G Bai, J Lei, G Meng, SS Venkatraman, P Saxena, J Sun, Y Liu, JS Dong
Proceedings of the 20th Annual Network and Distributed System Security …, 2013
1032013
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
L Ma, F Juefei-Xu, F Zhang, J Sun, M Xue, B Li, C Chen, T Su, L Li, Y Liu, ...
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
97*2018
Skyfire: Data-driven seed generation for fuzzing
J Wang, B Chen, L Wei, Y Liu
2017 IEEE Symposium on Security and Privacy (SP), 579-594, 2017
962017
subgraph2vec: Learning distributed representations of rooted sub-graphs from large graphs
A Narayanan, M Chandramohan, L Chen, Y Liu, S Saminathan
arXiv preprint arXiv:1606.08928, 2016
962016
Integrating specification and programs for system modeling and verification
J Sun, Y Liu, JS Dong, C Chen
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE …, 2009
942009
Steelix: program-state based binary fuzzing
Y Li, B Chen, M Chandramohan, SW Lin, Y Liu, A Tiu
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
902017
Semantics-based online malware detection: Towards efficient real-time protection against malware
S Das, Y Liu, W Zhang, M Chandramohan
IEEE transactions on information forensics and security 11 (2), 289-302, 2015
842015
Pat 3: An extensible architecture for building multi-domain model checkers
Y Liu, J Sun, JS Dong
The 22nd annual International Symposium on Software Reliability Engineering …, 2011
762011
Verification of computation orchestration via timed automata
J Dong, Y Liu, J Sun, X Zhang
Formal Methods and Software Engineering, 226-245, 2006
762006
Guided, stochastic model-based GUI testing of Android apps
T Su, G Meng, Y Chen, K Wu, W Yang, Y Yao, G Pu, Y Liu, Z Su
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
722017
Modeling and verifying hierarchical real-time systems using stateful timed CSP
J Sun, Y Liu, JS Dong, Y Liu, L Shi, É André
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 3, 2013
682013
graph2vec: Learning distributed representations of graphs
A Narayanan, M Chandramohan, R Venkatesan, L Chen, Y Liu, S Jaiswal
arXiv preprint arXiv:1707.05005, 2017
672017
Model checking linearizability via refinement
Y Liu, W Chen, Y Liu, J Sun
FM 2009: Formal Methods, 321-337, 2009
632009
Collaborative security: A survey and taxonomy
G Meng, Y Liu, J Zhang, A Pokluda, R Boutaba
ACM Computing Surveys (CSUR) 48 (1), 1, 2015
582015
DeepMutation: Mutation Testing of Deep Learning Systems
L Ma, F Zhang, J Sun, M Xue, B Li, F Juefei-Xu, C Xie, L Li, Y Liu, J Zhao, ...
The 29th IEEE International Symposium on Software Reliability Engineering …, 2018
542018
An Automatic Approach to Model Checking UML State Machines
SJ Zhang, Y Liu
Secure Software Integration and Reliability Improvement Companion (SSIRI-C …, 2010
512010
Specifying and verifying event-based fairness enhanced systems
J Sun, Y Liu, J Dong, H Wang
Formal Methods and Software Engineering, 5-24, 2008
492008
Verifying stateful timed csp using implicit clocks and zone abstraction
J Sun, Y Liu, J Dong, X Zhang
Formal Methods and Software Engineering, 581-600, 2009
482009
The system can't perform the operation now. Try again later.
Articles 1–20