Wen-Chuan Lee

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 15

Top Topics

Bayesian Estimation

Data Provenance

Top Venues

ESEC/SIGSOFT FSE

Publications

Zhuo Zhang, Yapeng Ye, Wei You, Guanhong Tao, Wen-Chuan Lee, Yonghwi Kwon, Yousra Aafer, Xiangyu Zhang
OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary. IEEE Symposium on Security and Privacy (2021)
Yi-Shan Lin, Wen-Chuan Lee, Z. Berkay Celik
What Do You See?: Evaluation of Explainable Artificial Intelligence (XAI) Interpretability through Neural Backdoors. KDD (2021)
Yi-Shan Lin, Wen-Chuan Lee, Z. Berkay Celik
What Do You See? Evaluation of Explainable Artificial Intelligence (XAI) Interpretability through Neural Backdoors. CoRR (2020)
Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang
Programming support for autonomizing software. PLDI (2019)
Shiqing Ma, Yingqi Liu, Guanhong Tao, Wen-Chuan Lee, Xiangyu Zhang
NIC: Detecting Adversarial Samples with Neural Network Invariant Checking. NDSS (2019)
Wen-Chuan Lee, Yingqi Liu, Peng Liu, Shiqing Ma, Hongjun Choi, Xiangyu Zhang, Rajiv Gupta
White-Box Program Tuning. CGO (2019)
Yingqi Liu, Wen-Chuan Lee, Guanhong Tao, Shiqing Ma, Yousra Aafer, Xiangyu Zhang
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation. CCS (2019)
Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, Ananth Grama
MODE: automated neural network model debugging via state differential analysis and input selection. ESEC/SIGSOFT FSE (2018)
Yonghwi Kwon, Fei Wang, Weihang Wang, Kyu Hyung Lee, Wen-Chuan Lee, Shiqing Ma, Xiangyu Zhang, Dongyan Xu, Somesh Jha, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran
MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. NDSS (2018)
Yingqi Liu, Shiqing Ma, Yousra Aafer, Wen-Chuan Lee, Juan Zhai, Weihang Wang, Xiangyu Zhang
Trojaning Attack on Neural Networks. NDSS (2018)
Hongjun Choi, Wen-Chuan Lee, Yousra Aafer, Fan Fei, Zhan Tu, Xiangyu Zhang, Dongyan Xu, Xinyan Xinyan
Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach. CCS (2018)
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, Xiangyu Zhang
LAMP: data provenance for graph based machine learning algorithms through derivative computation. ESEC/SIGSOFT FSE (2017)
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster
PAD: programming third-party web advertisement censorship. ASE (2017)
Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta
RAIVE: runtime assessment of floating-point instability by vectorization. OOPSLA (2015)
Wen-Chuan Lee, Ching-Wen Hong, Jong-Wuu Wu
Computational procedure of performance assessment of lifetime index of normal products with fuzzy data under the type II right censored sampling plan. J. Intell. Fuzzy Syst. 28 (4) (2015)
Jong-Wuu Wu, Ching-Wen Hong, Wen-Chuan Lee
Computational procedure of lifetime performance index of products for the Burr XII distribution with upper record values. Appl. Math. Comput. 227 (2014)
Wen-Chuan Lee, Jong-Wuu Wu
Reply to "open problem of fuzzy confidence interval for fuzzy process capability index". J. Intell. Fuzzy Syst. 24 (1) (2013)
Wen-Chuan Lee, Jong-Wuu Wu, Ching-Wen Hong, Shie-Fan Hong
Evaluating the Lifetime Performance Index Based on the Bayesian Estimation for the Rayleigh Lifetime Products with the Upper Record Values. J. Appl. Math. 2013 (2013)
Ching-Wen Hong, Wen-Chuan Lee, Jong-Wuu Wu
Computational Procedure of Performance Assessment of Lifetime Index of Products for the Weibull Distribution with the Progressive First-Failure-Censored Sampling Plan. J. Appl. Math. 2012 (2012)
Wen-Chuan Lee, Jong-Wuu Wu, Hsin-Hui Tsou, Chia-Ling Lei
Computational procedure of optimal inventory model involving controllable backorder rate and variable lead time with defective units. Int. J. Syst. Sci. 43 (10) (2012)
Hsiu-Mei Lee, Wen-Chuan Lee, Chia-Ling Lei, Jong-Wuu Wu
Computational procedure of assessing lifetime performance index of Weibull lifetime products with the upper record values. Math. Comput. Simul. 81 (6) (2011)
Wen-Chuan Lee, Jong-Wuu Wu, Mei-Ling Hong, Liang-Sian Lin, Ruei-Ling Chan
Assessing the lifetime performance index of Rayleigh products based on the Bayesian estimation under progressive type II right censored samples. J. Comput. Appl. Math. 235 (6) (2011)
Wen-Chuan Lee
-value method. Int. J. Syst. Sci. 42 (6) (2011)
Meng-Huan Wu, Wen-Chuan Lee, Chen-Yu Chuang, Ren-Song Tsay
Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation. DATE (2010)
Wen-Chuan Lee, Jong-Wuu Wu, Ching-Wen Hong
Assessing the lifetime performance index of products from progressively type II right censored data using Burr XII model. Math. Comput. Simul. 79 (7) (2009)
Wen-Chuan Lee, Jong-Wuu Wu, Ching-Wen Hong
Assessing the lifetime performance index of products with the exponential distribution under progressively type II right censored samples. J. Comput. Appl. Math. 231 (2) (2009)
Wen-Chuan Lee, Jong-Wuu Wu, Chia-Ling Lei
Computational algorithmic procedure for optimal inventory policy involving ordering cost reduction and back-order discounts when lead time demand is controllable. Appl. Math. Comput. 189 (1) (2007)
Jong-Wuu Wu, Wen-Chuan Lee, Sheau-Chiann Chen
Computational comparison of the prediction intervals of future observation for three-parameter Pareto distribution with known shape parameter. Appl. Math. Comput. 190 (1) (2007)
Jong-Wuu Wu, Wen-Chuan Lee, Hui-Yin Tsai
Computational algorithmic procedure of optimal inventory policy involving a negative exponential crashing cost and variable lead time demand. Appl. Math. Comput. 184 (2) (2007)
Jong-Wuu Wu, Wen-Chuan Lee, Sheau-Chiann Chen
Computational comparison of prediction intervals of future observation for two-parameter exponential distribution. Appl. Math. Comput. 184 (2) (2007)
Jong-Wuu Wu, Wen-Chuan Lee, Sheau-Chiann Chen
Computational comparison of prediction future lifetime of electronic components with Pareto distribution based on multiply type II censored samples. Appl. Math. Comput. 184 (2) (2007)
Wen-Chuan Lee, Jong-Wuu Wu, Jye-Wei Hsu
Computational algorithm for inventory model with a service level constraint, lead time demand with the mixture of distributions and controllable negative exponential backorder rate. Appl. Math. Comput. 175 (2) (2006)
Jong-Wuu Wu, Wen-Chuan Lee, Chi-Chin Yang
Computational comparison for ML estimator of quadratic functions of the Bernoulli parameter in IS and FSS methods. Appl. Math. Comput. 176 (1) (2006)
Jong-Wuu Wu, Wen-Chuan Lee
Computational algorithm of least absolute deviation method for determining number of outliers under normality. Appl. Math. Comput. 175 (1) (2006)
Jong-Wuu Wu, Wen-Chuan Lee, Sheau-Chiann Chen
Computational comparison for weighted moments estimators and BLUE of the scale parameter of a Pareto distribution with known shape parameter under type II multiply censored sample. Appl. Math. Comput. 181 (2) (2006)
Wen-Chuan Lee
Inventory model involving controllable backorder rate and variable lead time demand with the mixtures of distribution. Appl. Math. Comput. 160 (3) (2005)
Jong-Wuu Wu, Wen-Chuan Lee, Sheau-Chiann Chen
Prediction intervals of future observation from one-parameter exponential distribution based on multiply type II censored samples. Appl. Math. Comput. 167 (2) (2005)
Chinho Lin, Bertram Tan, Wen-Chuan Lee
An Eoq Model for Deteriorating Items with Time-varying Demand and Shortages. Int. J. Syst. Sci. 31 (3) (2000)
Jong-Wuu Wu, Chinho Lin, Bertram Tan, Wen-Chuan Lee
An Eoq Inventory Model with Time-varying Demand and Weibull Deterioration with Shortages. Int. J. Syst. Sci. 31 (6) (2000)
T. William Chien, Chinho Lin, Bertram Tan, Wen-Chuan Lee
A neural networks-based approach for strategic planning. Inf. Manag. 35 (6) (1999)