default search action

combined dblp search
author search
venue search
publication search

ask others

Min Zhou 0001

> Home > Persons

Person information

affiliation (PhD 2014): Tsinghua University, School of Software, Beijing, China

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/LiHZG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/LiHZG23
Chi Li, Peixiu Han, Min Zhou, Ming Gu:
Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach. Appl. Soft Comput. 133: 109925 (2023)
2022
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/ZouXXLGZZH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/ZouXXLGZZH22
Guobing Zou, Zhiwei Xu, Xiaoyu Xia, Ya Liu, Yanglan Gan, Bofeng Zhang, Min Zhou, Qiang He:
Spatial-Temporal Edge User Allocation: An Expectation Confirmation Perspective Approach. IEEE Trans. Netw. Serv. Manag. 19(4): 4918-4931 (2022)
2021
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/Cheng0S0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/Cheng0S0021
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18(2): 918-935 (2021)
2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/LiGZWZG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/LiGZWZG19
Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu:
API Misuse Detection in C Programs: Practice on SSL APIs. Int. J. Softw. Eng. Knowl. Eng. 29(11&12): 1761-1779 (2019)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/ChengZSGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ChengZSGS19
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68(2): 270-286 (2019)
2018
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/GuJZGSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GuJZGSS18
Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha:
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access 6: 34834-34845 (2018)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChengZSGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChengZSGS18
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257: 127-157 (2018)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcas/ZhouHSGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcas/ZhouHSGS18
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs 65-II(1): 66-70 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tec/WangZSGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tec/WangZSGS18
Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22(3): 334-346 (2018)
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/LiuZSGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/LiuZSGS17
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64(4): 3239-3249 (2017)
2015
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ZhouHSHCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ZhouHSHCG15
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu:
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Theory Comput. Syst. 56(2): 347-371 (2015)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GuoZSGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GuoZSGS15
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41(10): 986-1000 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZhouHWGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZhouHWGS14
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
Array Theory of Bounded Elements and its Applications. J. Autom. Reason. 52(4): 379-405 (2014)
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/ZhouWWSSGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/ZhouWWSSGS13
Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun:
Formal component-based modeling and synthesis for PLC systems. Comput. Ind. 64(8): 1022-1034 (2013)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jam/ZhouHWGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/ZhouHWGS13
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. 2013: 964682:1-964682:13 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icse/XuQS0WZL024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XuQS0WZL024
Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang:
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. ICSE 2024: 221:1-221:12
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiX0WZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiX0WZ24
Yuanlin Li, Zhiwei Xu, Min Zhou, Hai Wan, Xibin Zhao:
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network. ASE 2024: 2225-2229
2023
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/XuZZCCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/XuZZCCZ23
Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, Hongyu Zhang:
xASTNN: Improved Code Representations for Industrial Practice. ESEC/SIGSOFT FSE 2023: 1727-1738
2021
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LiWZG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LiWZG21
Chi Li, Yuexing Wang, Min Zhou, Ming Gu:
Scalable Fault Detection Based on Precise Access Path. APSEC 2021: 473-481
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/Li0H021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/Li0H021
Chi Li, Min Zhou, Xinrong Han, Ming Gu:
Sensing Error Handling Bugs in SSL Library Usages. TrustCom 2021: 686-692
2020
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangLTZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangLTZ20
Dan Zhang, Ping Luo, Wei Tang, Min Zhou:
OSLDetector: Identifying Open-Source Libraries through Binary Analysis. ASE 2020: 1312-1315
2019
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/Wang00S19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/Wang00S19
Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun:
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC 2019: 268-275
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/GuWL0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/GuWL0019
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu:
An Empirical Study on API-Misuse Bugs in Open-Source C Programs. COMPSAC (1) 2019: 11-20
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GuWLZ0GS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuWLZ0GS19
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun:
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) 2019: 91-94
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChenWZS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChenWZS19
Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun:
VFQL: combinational static analysis as query language. ISSTA 2019: 378-381
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LiZGCWWG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LiZGCWWG19
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu:
VBSAC: a value-based static analyzer for C. ISSTA 2019: 382-385
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangC00S19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangC00S19
Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun:
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE 2019: 1170-1173
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Li0G0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Li0G0019
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang:
Ares: Inferring Error Specifications through Static Analysis. ASE 2019: 1174-1177
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/seke/GuWLZ019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/GuWLZ019
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu:
SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. SEKE 2019: 707-777
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/Gu0W0L019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/Gu0W0L019
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu:
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE 2019: 216-223
2018
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChenZSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChenZSS18
Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song:
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC 2018: 298-304
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sate/WangZCC018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sate/WangZCC018
Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu:
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. SATE 2018: 3-19
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/WangGCZS0S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/WangGCZS0S17
Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) 2017: 85-90
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangZJS0S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangZJS0S17
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A static analysis tool with optimizations for reachability determination. ASE 2017: 925-930
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChengZS0S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChengZS0S17
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
IntPTI: automatic integer error repair with proper-type inference. ASE 2017: 996-1001
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChengZSGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChengZSGS16
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC 2016: 2-11
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhouCGGZS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhouCGGZS16
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song:
Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. COMPSAC 2016: 164-173
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhouWSYZHG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhouWSYZHG13
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu:
Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC 2013: 569-578
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SuZYWG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SuZYWG13
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu:
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS 2013: 4-13
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/YinHZG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/YinHZG13
Liangze Yin, Fei He, Min Zhou, Ming Gu:
Reusing Search Tree for Incremental SAT Solving of Temporal Induction. ICECCS 2013: 85-92
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangZYZSMB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangZYZSMB12
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga:
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE 2012: 161-166
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhouHG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhouHG11
Min Zhou, Fei He, Ming Gu:
An Efficient Resolution Based Algorithm for SAT. TASE 2011: 60-67
2010
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhouHWG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhouHWG10
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu:
On Array Theory of Bounded Elements. CAV 2010: 570-584
2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhouHGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhouHGS09
Min Zhou, Fei He, Ming Gu, Xiaoyu Song:
Translation-Based Model Checking for PLC Programs. COMPSAC (1) 2009: 553-562

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-07104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-07104
Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, Hongyu Zhang:
xASTNN: Improved Code Representations for Industrial Practice. CoRR abs/2303.07104 (2023)

Coauthor Index

see FAQ

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.