Concepedia

Weijie Feng

WF

Statistics

Publications

3

Citations

65

H-Index

3

Active since

2019

Affiliations

University of New Hampshire at Manchester(Current)

University of Science and Technology of China

Weijie Feng is an author at University of New Hampshire at Manchester specializing in formal methods, formal verification, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationBusinessData MiningData PrivacyData Science

Publications per year

2019–2021

3

Publications

3

MIASec: Enabling Data Indistinguishability Against Membership Inference Attacks in MLaaS

Chen Wang, Gaoyang Liu, Haojun Huang et al. · IEEE Transactions on Sustainable Computing · 2019 · 36 citations

Artificial Intelligence, Engineering, Machine Learning +24

Boosting SMT solver performance on mixed-bitwise-arithmetic expressions

Dongpeng Xu, Binbin Liu, Weijie Feng et al. · 2021 · 19 citations · Full text

Engineering, Verification, Computer-aided Verification +20

NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network

Weijie Feng, Binbin Liu, Dongpeng Xu et al. · 2020 · 10 citations · Full text

1–3 of 3