Lu Feng
Lu Feng
Assistant Professor of Computer Science, University of Virginia
Verified email at virginia.edu - Homepage
Title
Cited by
Cited by
Year
Compositional verification of probabilistic systems using learning
L Feng, M Kwiatkowska, D Parker
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
522010
Synthesis of human-in-the-loop control protocols for autonomous systems
L Feng, C Wiltsche, L Humphrey, U Topcu
IEEE Transactions on Automation Science and Engineering 13 (2), 450-462, 2016
472016
Automated learning of probabilistic assumptions for compositional reasoning
L Feng, M Kwiatkowska, D Parker
International Conference on Fundamental Approaches to Software Engineering, 2-17, 2011
472011
Controller synthesis for autonomous systems interacting with human operators
L Feng, C Wiltsche, L Humphrey, U Topcu
Proceedings of the acm/ieee sixth international conference on cyber-physical …, 2015
352015
Learning-based compositional verification for synchronous probabilistic systems
L Feng, T Han, M Kwiatkowska, D Parker
International Symposium on Automated Technology for Verification and …, 2011
352011
A modal specification approach for on-demand medical systems
AL King, L Feng, O Sokolsky, I Lee
International Symposium on Foundations of Health Informatics Engineering and …, 2013
152013
Assuring the safety of on-demand medical cyber-physical systems
AL King, L Feng, O Sokolsky, I Lee
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks …, 2013
142013
Platform-specific timing verification framework in model-based implementation
BG Kim, L Feng, LTX Phan, O Sokolsky, I Lee
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 235-240, 2015
122015
Human-interpretable diagnostic information for robotic planning systems
L Feng, L Humphrey, I Lee, U Topcu
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016
112016
Towards assurance for plug & play medical systems
AL King, L Feng, S Procter, S Chen, O Sokolsky, J Hatcliff, I Lee
International Conference on Computer Safety, Reliability, and Security, 228-242, 2015
112015
On learning assumptions for compositional verification of probabilistic systems
L Feng
92014
Platform-specific code generation from platform-independent timed models
BG Kim, L Feng, O Sokolsky, I Lee
2015 IEEE Real-Time Systems Symposium, 75-86, 2015
82015
A safety argument strategy for PCA closed-loop systems: A preliminary proposal
L Feng, AL King, S Chen, A Ayoub, J Park, N Bezzo, O Sokolsky, I Lee
5th Workshop on Medical Cyber-Physical Systems, 2014
82014
A data-driven behavior modeling and analysis framework for diabetic patients on insulin pumps
S Chen, L Feng, MR Rickels, A Peleckis, O Sokolsky, I Lee
2015 International Conference on Healthcare Informatics, 213-222, 2015
62015
The effect of whole-body haptic feedback on driver’s perception in negotiating a curve
E Pakdamanian, L Feng, I Kim
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 62 (1 …, 2018
52018
CityResolver: A decision support system for conflict resolution in smart cities
M Ma, JA Stankovic, L Feng
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
52018
Runtime monitoring of safety and performance requirements in smart cities
M Ma, JA Stankovic, L Feng
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 44-50, 2017
42017
A formal human reliability analysis of a community pharmacy dispensing procedure
X Zheng, ML Bolton, C Daly, L Feng
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61 (1 …, 2017
42017
Attack-resilient sensor fusion for cooperative adaptive cruise control
P Lu, L Zhang, BB Park, L Feng
2018 21st International Conference on Intelligent Transportation Systems …, 2018
32018
DAMON: a data authenticity monitoring system for diabetes management
W Young, J Corbett, MS Gerber, S Patek, L Feng
2018 IEEE/ACM Third International Conference on Internet-of-Things Design …, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20