Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDYu Feng
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j58]Jianan Zhao, Yu Feng
, Geng Tian, Cassandra Taylor, N. Sarah Arden:
Influences of puff protocols and upper airway anatomy on cannabis pharmacokinetics: A CFPD-PK study. Comput. Biol. Medicine 132: 104333 (2021)- [j57]Shurui Fan, Dongxia Hao, Yu Feng, Kewen Xia, Wenbiao Yang:
A Hybrid Model for Air Quality Prediction Based on Data Decomposition. Inf. 12(5): 210 (2021) - [j56]Yichuan Dong, Yu Feng, Yuanlei Chen:
Research on restoration algorithm of discrete tone image based on noise model. Microprocess. Microsystems 82: 103864 (2021) - [j55]Yu Feng, Yuhai Tu:
The inverse variance-flatness relation in stochastic gradient descent is critical for finding flat minima. Proc. Natl. Acad. Sci. USA 118(9): e2015617118 (2021) - [j54]Lili He, Zhikang Shuai, Xu Chu, Wen Huang, Yu Feng, Zheng John Shen:
Waveform Difference Feature-Based Protection Scheme for Islanded Microgrids. IEEE Trans. Smart Grid 12(3): 1939-1952 (2021) - [c59]Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CHI 2021: 106:1-106:15 - [i25]Yu Feng, Yuhai Tu:
Phases of learning dynamics in artificial neural networks: with or without mislabeled data. CoRR abs/2101.06509 (2021) - [i24]Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CoRR abs/2102.01024 (2021) - [i23]Yu Feng, Patrick Hansen, Paul N. Whatmough, Guoyu Lu, Yuhao Zhu:
A LiDAR-Guided Framework for Video Enhancement. CoRR abs/2103.08764 (2021) - [i22]Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna:
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. CoRR abs/2104.08638 (2021) - [i21]Yueying Ni, Yin Li, Patrick Lachance, Rupert A. C. Croft, Tiziana di Matteo, Simeon Bird, Yu Feng:
AI-assisted super-resolution cosmological simulations II: Halo substructures, velocities and higher order statistics. CoRR abs/2105.01016 (2021) - 2020
- [j53]Yang Han, Yu Feng, Ping Yang, Lin Xu, Yan Xu, Frede Blaabjerg:
Cause, Classification of Voltage Sag, and Voltage Sag Emulators and Applications: A Comprehensive Overview. IEEE Access 8: 1922-1934 (2020) - [j52]Mengjia Feng, Changhai Zhang, Guangtai Zhou, Tiandong Zhang, Yu Feng, Qingguo Chi, Qingquan Lei:
Enhanced Energy Storage Characteristics in PVDF-Based Nanodielectrics With Core-Shell Structured and Optimized Shape Fillers. IEEE Access 8: 81542-81550 (2020) - [j51]Rongyao Ling, Yu Feng, Fabien Claveau, Philippe Chevrel:
Design and Realizations of Networked Estimators: A Descriptor Model Approach. IEEE Access 8: 156394-156407 (2020) - [j50]Jianan Zhao, Yu Feng, Catherine A. Fromen:
Glottis motion effects on the particle transport and deposition in a subject-specific mouth-to-trachea model: A CFPD study. Comput. Biol. Medicine 116: 103532 (2020) - [j49]Bin Zhu, Yu Feng, Daozhi Gong, Shouzheng Jiang, Lu Zhao, Ningbo Cui:
Hybrid particle swarm optimization with extreme learning machine for daily reference evapotranspiration prediction from limited climatic data. Comput. Electron. Agric. 173: 105430 (2020) - [j48]Yu Feng, Yanyu Huang, Mohamed Yagoubi:
ℋ ∞ control under asymptotic tracking constraint and nonproper output weights. Int. J. Control 93(10): 2418-2430 (2020) - [j47]Luefeng Chen, Wanjuan Su, Yu Feng, Min Wu, Jinhua She, Kaoru Hirota:
Two-layer fuzzy multiple random forest for speech emotion recognition in human-robot interaction. Inf. Sci. 509: 150-163 (2020) - [j46]Yu Feng, Biqing Huang:
Cloud manufacturing service QoS prediction based on neighbourhood enhanced matrix factorization. J. Intell. Manuf. 31(7): 1649-1660 (2020) - [j45]Yu Feng, Yuanyuan Feng, Gautam Iyer, Jean-Luc Thiffeault:
Phase Separation in the Advective Cahn-Hilliard Equation. J. Nonlinear Sci. 30(6): 2821-2845 (2020) - [j44]Rui Zhou, Yu Feng, Bin Di, Jiang Zhao, Yan Hu:
Multi-UAV cooperative target tracking with bounded noise for connectivity preservation. Frontiers Inf. Technol. Electron. Eng. 21(10): 1494-1503 (2020) - [j43]Shuaishuai Geng, Yu Feng, Yaoguo Dang, Junjie Wang, Rizwan Rasheed:
An enhanced algorithm for calculating the degree of greyness of interval grey numbers and its application. Kybernetes 49(6): 1721-1740 (2020) - [j42]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig:
Visualization by example. Proc. ACM Program. Lang. 4(POPL): 49:1-49:28 (2020) - [j41]Yu Feng, Bo Yang, Yongchang Jiang, Xiang Zheng:
Research on Key Techniques of Insect Flapping Onset Control Based on Electrical Stimulation. Sensors 20(1): 239 (2020) - [j40]Yu Feng, Zhuoming Chen, Xiang Chen:
Distributed ℋ∞ Gaussian Consensus Filtering for Discrete-Time Systems over Lossy Sensor Networks. SIAM J. Control. Optim. 58(1): 34-58 (2020) - [j39]Yu Feng, Xuanhe Nie, Xiang Chen:
Robust Optimal Filtering Over Lossy Networks. IEEE Trans. Autom. Control. 65(5): 2272-2277 (2020) - [j38]Yu Feng, Zhuoming Chen:
A Game Approach to Distributed Robust Optimal Filtering With Consensus Through Multiple Sensors: Theory and Application. IEEE Trans. Ind. Electron. 67(11): 9693-9702 (2020) - [c58]Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng:
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) 2020: 587-610 - [c57]Yu Feng, Xiang Chen, Ying Tan:
An Improved Paradigm for Robust Optimal Filtering Over Lossy Networks. CDC 2020: 4336-4341 - [c56]Yu Feng, Shaoshan Liu, Yuhao Zhu:
Real-Time Spatio-Temporal LiDAR Point Cloud Compression. IROS 2020: 10766-10773 - [c55]Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig:
Demystifying Loops in Smart Contracts. ASE 2020: 262-274 - [c54]Yu Feng, Emina Torlak, Rastislav Bodík:
Summary-Based Symbolic Evaluation for Smart Contracts. ASE 2020: 1141-1152 - [c53]Yu Feng, Boyuan Tian, Tiancheng Xu, Paul N. Whatmough, Yuhao Zhu:
Mesorasi: Architecture Support for Point Cloud Analytics via Delayed-Aggregation. MICRO 2020: 1037-1050 - [c52]Yu Feng, Xiaochun Lu:
Simulation analysis of the coronavirus disease 2019(COVID-19) spread based on system dynamics model. SMC 2020: 498-501 - [i20]Yu Feng, Yuhai Tu:
How neural networks find generalizable solutions: Self-tuned annealing in deep learning. CoRR abs/2001.01678 (2020) - [i19]Pengfei Zhu, Yiming Sun, Longyin Wen, Yu Feng, Qinghua Hu:
Drone Based RGBT Vehicle Detection and Counting: A Challenge. CoRR abs/2003.02437 (2020) - [i18]Yu Feng, Claus Brenner, Monika Sester:
Flood severity mapping from Volunteered Geographic Information by interpreting water level from images containing people: a case study of Hurricane Harvey. CoRR abs/2006.11802 (2020) - [i17]Yu Feng, Boyuan Tian, Tiancheng Xu, Paul N. Whatmough, Yuhao Zhu:
Mesorasi: Architecture Support for Point Cloud Analytics via Delayed-Aggregation. CoRR abs/2008.06967 (2020) - [i16]Yu Feng, Shaoshan Liu, Yuhao Zhu:
Real-Time Spatio-Temporal LiDAR Point Cloud Compression. CoRR abs/2008.06972 (2020) - [i15]Yin Li, Yueying Ni, Rupert A. C. Croft, Tiziana di Matteo, Simeon Bird, Yu Feng:
AI-assisted super-resolution cosmological simulations. CoRR abs/2010.06608 (2020) - [i14]Chaolun Lu, Yongqiang Li, Zijun Feng, Zhongsheng Hou, Yu Feng, Yuanjing Feng:
Interval-driven discrete-time general nonlinear robust control: stabilization with closed-loop robust DOA enlargement. CoRR abs/2012.00951 (2020)
2010 – 2019
- 2019
- [j37]Luefeng Chen, Yu Feng, Mohamed A. Maram, Yawu Wang, Min Wu, Kaoru Hirota, Witold Pedrycz:
Multi-SVM based Dempster-Shafer theory for gesture intention understanding using sparse coding feature. Appl. Soft Comput. 85 (2019) - [j36]Yixuan Zhang, Ningbo Cui, Yu Feng, Daozhi Gong, Xiaotao Hu:
Comparison of BP, PSO-BP and statistical models for predicting daily global solar radiation in arid Northwest China. Comput. Electron. Agric. 164 (2019) - [j35]Yu Feng, Xiaole Chen, Mingshi Yang, Ke-jun Dong:
Multiscale Computational Models for Respiratory Aerosol Dynamics with Medical Applications. Comput. Math. Methods Medicine 2019: 4304139:1-4304139:2 (2019) - [j34]Yu Feng, Frank Thiemann, Monika Sester:
Learning Cartographic Building Generalization with Deep Convolutional Neural Networks. ISPRS Int. J. Geo Inf. 8(6): 258 (2019) - [j33]Yu Feng:
A Generalized Takagi-Sugeno Prediction Model for Acute Hyperglycemia Actuation Duration. J. Medical Imaging Health Informatics 9(9): 1900-1904 (2019) - [j32]Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig:
Relational verification using reinforcement learning. Proc. ACM Program. Lang. 3(OOPSLA): 141:1-141:30 (2019) - [j31]Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig:
Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12(12): 1914-1917 (2019) - [j30]Yilang Shen, Tinghua Ai, Wende Li, Min Yang, Yu Feng:
A polygon aggregation method with global feature preservation using superpixel segmentation. Comput. Environ. Urban Syst. 75: 117-131 (2019) - [c51]Yu Feng, Yue Pan, Bo Zhu, Yuchuan Deng, Jing Wu, Hao Jiang:
A New Framework for Network Flow Queuing Delay Prediction Based on Stream Computing. BigDataSecurity/HPSC/IDS 2019: 212-217 - [c50]Yu Feng, Zhuoming Chen:
Distributed Robust Optimal Filter Design Over Sensor Networks With Data Packet Dropouts. CDC 2019: 4495-4500 - [c49]Yu Feng, Yuhao Zhu:
PES: proactive event scheduling for responsive and energy-efficient mobile web computing. ISCA 2019: 66-78 - [c48]Yu Feng, Ming Gao, Zehui Zhang:
Web Service QoS Classification Based on Optimized Convolutional Neural Network. ISKE 2019: 584-590 - [c47]Tamjid Al Rahat, Yu Feng, Yuan Tian:
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications. ASE 2019: 293-304 - [c46]Yu Feng, Shumin Tang, Hao Cheng, Monika Sester:
Flood Level Estimation from News Articles and Flood Detection from Satellite Image Sequences. MediaEval 2019 - [c45]Yu Feng, Paul N. Whatmough, Yuhao Zhu:
ASV: Accelerated Stereo Vision System. MICRO 2019: 643-656 - [c44]Deming Mao, Shuwen Zhang, Ling Zhang, Yu Feng:
Game Theory Based Dynamic Defense Mechanism for SDN. ML4CS 2019: 290-303 - [c43]Yanju Chen, Ruben Martins, Yu Feng:
Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE 2019: 602-612 - [i13]Yu Feng, Emina Torlak, Rastislav Bodík:
Precise Attack Synthesis for Smart Contracts. CoRR abs/1902.06067 (2019) - [i12]Pauli Virtanen, Ralf Gommers, Travis E. Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, Evgeni Burovski, Pearu Peterson, Warren Weckesser, Jonathan Bright, Stéfan van der Walt, Matthew Brett, Joshua Wilson, K. Jarrod Millman, Nikolay Mayorov, Andrew R. J. Nelson, Eric Jones, Robert Kern, Eric Larson, C. J. Carey, Ilhan Polat, Yu Feng, Eric W. Moore, Jake VanderPlas, Denis Laxalde, Josef Perktold, Robert Cimrman, Ian Henriksen, E. A. Quintero, Charles R. Harris, Anne M. Archibald, Antônio H. Ribeiro, Fabian Pedregosa, Paul van Mulbregt, SciPy 1. 0 Contributors:
SciPy 1.0-Fundamental Algorithms for Scientific Computing in Python. CoRR abs/1907.10121 (2019) - [i11]Yu Feng, Yuhao Zhu:
PES: Proactive Event Scheduling for Responsive and Energy-Efficient Mobile Web Computing. CoRR abs/1911.07787 (2019) - [i10]Yu Feng, Paul N. Whatmough, Yuhao Zhu:
ASV: Accelerated Stereo Vision System. CoRR abs/1911.07919 (2019) - [i9]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig:
Visualization by Example. CoRR abs/1911.09668 (2019) - [i8]Chaolun Lu, Yongqiang Li, Zhongsheng Hou, Yuanjing Feng, Yu Feng, Ronghu Chi, Xuhui Bu:
Data-Driven Robust Stabilization with Robust DOA Enlargement for Nonlinear Systems. CoRR abs/1912.11480 (2019) - [i7]Yongqiang Li, Chaolun Lu, Yinan Li, Zhongsheng Hou, Yu Feng, Yuanjing Feng:
Stabilization with Closed-loop DOA Enlargement: An Interval Analysis Approach. CoRR abs/1912.11775 (2019) - 2018
- [j29]Yu Feng, Jianzhong Zhou, Li Mo, Chao Wang, Zhe Yuan, Jiang Wu:
A Gradient-Based Cuckoo Search Algorithm for a Reservoir-Generation Scheduling Problem. Algorithms 11(4): 36 (2018) - [j28]Yu Feng, Xiang Chen, Guoxiang Gu:
Robust stabilization subject to structured uncertainties and mean power constraint. Autom. 92: 1-8 (2018) - [j27]Dahua Tang, Yu Feng, Daozhi Gong, Weiping Hao, Ningbo Cui:
Evaluation of artificial intelligence models for actual crop evapotranspiration modeling in mulched and non-mulched maize croplands. Comput. Electron. Agric. 152: 375-384 (2018) - [j26]Yu Feng, Monika Sester:
Extraction of Pluvial Flood Relevant Volunteered Geographic Information (VGI) by Deep Learning from User Generated Texts and Photos. ISPRS Int. J. Geo Inf. 7(2): 39 (2018) - [j25]Yu Feng, Xiang Chen, Guoxiang Gu:
Multiobjective ℋ2/ℋ∞ Control Design Subject to Multiplicative Input Dependent Noises. SIAM J. Control. Optim. 56(1): 253-271 (2018) - [c42]Yu Feng, Xuanhe Nie, Xiang Chen:
Multi-objective Filtering for Discrete-time Systems in the Presence of Data Packet Drops. CDC 2018: 2297-2302 - [c41]Rongyao Ling, Fabien Claveau, Yu Feng, Philippe Chevrel:
Output regulation of multi-input systems under packet dropout with application to trajectory tracking of cooperative robots. ECC 2018: 1937-1944 - [c40]Dakai Zhang, Xiaobin Feng, Xiaoling Shen, Yinkai Liu, Min Cai, Yun Zhang, Yu Feng:
A method of sidelobe suppression in the specified location based on window function. IIKI 2018: 84-89 - [c39]Yu Feng, Sergiy Shebotnov, Claus Brenner, Monika Sester:
Ensembled Convolutional Neural Network Models for Retrieving Flood Relevant Tweets. MediaEval 2018 - [c38]Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig:
Program synthesis using conflict-driven learning. PLDI 2018: 420-435 - [c37]Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig:
Singularity: pattern fuzzing for worst case complexity. ESEC/SIGSOFT FSE 2018: 213-223 - [i6]Siyu He, Yin Li, Yu Feng, Shirley Ho, Siamak Ravanbakhsh, Wei Chen, Barnabás Póczos:
Learning to Predict the Cosmological Structure Formation. CoRR abs/1811.06533 (2018) - 2017
- [j24]Yu Feng, Jianzhong Zhou, Muhammad Tayyab:
Kernel Clustering with a Differential Harmony Search Algorithm for Scheme Classification. Algorithms 10(1): 14 (2017) - [j23]Yu Feng, Chirag Modi:
A fast algorithm for identifying friends-of-friends halos. Astron. Comput. 20: 44-51 (2017) - [j22]Yu Feng, Yong Peng, Ningbo Cui, Daozhi Gong, Kuandi Zhang:
Modeling reference evapotranspiration using extreme learning machine and generalized regression neural network only with temperature data. Comput. Electron. Agric. 136: 71-78 (2017) - [j21]Yu Feng, Zhouchao Wei, Ugur Erkin Kocamaz, Akif Akgül, Irene M. Moroz:
Synchronization and Electronic Circuit Application of Hidden Hyperchaos in a Four-Dimensional Self-Exciting Homopolar Disc Dynamo without Equilibria. Complex. 2017: 7101927:1-7101927:11 (2017) - [j20]Kouame Joseph Arthur Kouame, Kouakou Alphonse Yao, Fuxing Jiang, Yu Feng, Sitao Zhu:
Ivory Coast: The Impacts of Artisanal Gold Mining on Local Livelihoods and the Mining Industry. Int. J. Serv. Sci. Manag. Eng. Technol. 8(4): 42-55 (2017) - [j19]Yu Feng, Xiang Chen, Guoxiang Gu:
Output Feedback Stabilization for Discrete-Time Systems Under Limited Communication. IEEE Trans. Autom. Control. 62(4): 1927-1932 (2017) - [c36]Jia Chen, Yu Feng, Isil Dillig:
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. CCS 2017: 875-890 - [c35]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS 2017 - [c34]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based synthesis of table consolidation and transformation tasks from examples. PLDI 2017: 422-436 - [c33]Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps:
Component-based synthesis for complex APIs. POPL 2017: 599-612 - [c32]Nick Hand, Yu Feng:
nbodykit: A Python Toolkit for Cosmology Simulations and Data Analysis on Parallel HPC Systems. PyHPC@SC 2017: 7:1-7:10 - 2016
- [j18]Yu Feng, Mohamed Yagoubi:
Comprehensive admissibility for descriptor systems. Autom. 66: 271-275 (2016) - [j17]Yu Feng, Xiang Chen, Guoxiang Gu:
Observer-Based Stabilizing Controllers for Discrete-Time Systems with Quantized Signal and Multiplicative Random Noise. SIAM J. Control. Optim. 54(1): 251-265 (2016) - [c31]Yu Feng, Xiang Chen, Guoxiang Gu:
Multi-objective control for discrete-time systems over lossy actuating channel. CDC 2016: 2358-2363 - [c30]Qianhui Wu, Yu Feng, Biqing Huang:
RUL Prediction of Bearings Based on Mixture of Gaussians Bayesian Belief Network and Support Vector Data Description. Monterey Workshop 2016: 139-151 - [c29]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Hunter: next-generation code reuse for Java. SIGSOFT FSE 2016: 1028-1032 - [i5]Tao Han, Yu Feng, Jiang Wang, Lijun Wang, Qiang Li, Yujie Han:
On Energy Efficiency of the Nearest-Neighbor Cooperative Communication in Heterogeneous Networks. CoRR abs/1606.07197 (2016) - [i4]Yu Feng, Chirag Modi:
A fast algorithm for identifying Friends-of-Friends halos. CoRR abs/1607.03224 (2016) - [i3]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. CoRR abs/1608.06254 (2016) - [i2]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Type-Directed Code Reuse using Integer Linear Programming. CoRR abs/1608.07745 (2016) - [i1]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. CoRR abs/1611.07502 (2016) - 2015
- [j16]Rupert A. C. Croft, Tiziana di Matteo, Nishikanta Khandai, Yu Feng:
Petascale Cosmology: Simulations of Structure Formation. Comput. Sci. Eng. 17(2): 40-46 (2015) - [j15]Qiang Guo, Chengdong Wu, Yu Feng, Xiaohong Lu:
Conjugate gradient algorithm for efficient covariance tracking with Jensen-Bregman LogDet metric. IET Comput. Vis. 9(6): 814-820 (2015) - [j14]Yu Feng:
Positive real control for discrete-time singular systems with affine parameter dependence. J. Frankl. Inst. 352(3): 882-896 (2015) - [j13]Dan Zhang, Rongyao Ling, Qing-Guo Wang, Li Yu, Yu Feng:
Sensor-network-based distributed stabilization of nonlinear large-scale systems with energy constraints and random sensor faults. J. Frankl. Inst. 352(8): 3345-3365 (2015) - [c28]Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig:
Bottom-Up Context-Sensitive Pointer Analysis for Java. APLAS 2015: 465-484 - [c27]Xiang Chen, Yu Feng, Guoxiang Gu:
On design conservativeness in networked control over a quantized lossy channel. ASCC 2015: 1-5 - [c26]Tao Han, Yu Feng, Jiang Wang, Lijun Wang, Qiang Li, Yujie Han:
On energy efficiency of the nearest-neighbor cooperative communication in heterogeneous networks. ICC Workshops 2015: 2793-2798 - [c25]Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin:
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. OOPSLA 2015: 520-534 - 2014
- [j12]Lijia Xu, Nan Wang, Yu Feng, Dan-ni Bao, K. Jorshin:
Design of Aquaculture System based on Wireless Monitoring and its Testing. Int. J. Online Eng. 10(5): 68-73 (2014) - [c24]Yu Feng, Xiang Chen, Guoxiang Gu:
Quantized feedback stabilizing control for multiple-input networked systems with multiplicative random noises: A stochastic approach. ACC 2014: 3299-3304 - [c23]Dan Zhang, Rongyao Ling, Wenjian Cai, Qing-Guo Wang, Yu Feng:
Non-fragile H∞ filtering for discrete-time networked systems with multiple communication delays. ICCA 2014: 898-903 - [c22]Shahab Ardalan, Yu Feng:
Digital lock-detection for systematic phase noise elimination in a phase interpolator CDR. NEWCAS 2014: 101-104 - [c21]Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken:
Apposcopy: automated detection of Android malware (invited talk). DeMobile@SIGSOFT FSE 2014: 13-14 - [c20]Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken:
Apposcopy: semantics-based detection of Android malware through static analysis. SIGSOFT FSE 2014: 576-587 - 2013
- [j11]Yu Feng, Mohamed Yagoubi, Philippe Chevrel:
Dissipative performance control with output regulation for continuous-time descriptor systems. J. Frankl. Inst. 350(5): 1189-1205 (2013) - [j10]Yu Feng, Mohamed Yagoubi:
On State Feedback H∞ Control for Discrete-Time Singular Systems. IEEE Trans. Autom. Control. 58(10): 2674-2679 (2013) - [c19]Yu Feng, Xiang Chen, Guoxiang Gu:
Output feedback stabilization for networked control systems with quantized fading actuating channels. ACC 2013: 777-782 - [c18]Yu Feng, Xiang Chen, Guoxiang Gu:
Quantized state feedback stabilization with signal-to-noise ratio constraints. ASCC 2013: 1-6 - [c17]Xiang Chen, Guoxiang Gu, Li Qiu, Yu Feng:
Modeling quantized fading channels as uncertainty: A quasi-Signal-to-Noise-Ratio approach. CDC 2013: 5282-5287 - [c16]Yu Feng, Xiang Chen, Guoxiang Gu:
Quantized state feedback control for multiple-input systems subject to signal-to-noise ratio constraints. CDC 2013: 7229-7234 - [c15]Yu Feng, Jon A. Preston, Joshua Skelton:
Asymmetric game design and player location: An empirical study on mobile play experiences. CGAMES 2013: 127-131 - [c14]Lijie Li, Yu Feng, Weiquan Pan:
Existence of Almost Periodic Solutions to a Class of Non-autonomous Functional Integro-differential Stochastic Equations. ICICA (2) 2013: 605-614 - 2012
- [j9]Yu Feng, Mohamed Yagoubi, Philippe Chevrel:
Hinfinity control with unstable and nonproper weights for descriptor systems.