Lu Feng

Assistant Professor
University of Virginia

Conference & Journal Papers

  • Attack Resilient Sensor Fusion for Cooperative Adaptive Cruise Control
    Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng.
    21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC), 2018

  • Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models
    BaekGyu Kim, Lu Feng, Oleg Sokolsky, and Insup Lee.
    ACM Transactions on Cyber-Physical Systems, 2018

  • Counterexamples for Robotic Planning Explained in Structured Language [PDF] [BibTex]
    Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, and Ufuk Topcu.
    IEEE International Conference on Robotics and Automation (ICRA), 2018.

  • CityResolver: A Decision Support System for Conflict Resolution in Smart Cities [PDF] [BibTex] [DOI]
    Meiyi Ma, John A. Stankovic, and Lu Feng.
    ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2018.

  • DAMON: A Data Authenticity Monitoring System for Diabetes Management [PDF] [BibTex] [DOI]
    William Young, John Corbett, Matthew Gerber, Stephen Patek, and Lu Feng.
    ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2018.

  • Runtime Monitoring of Safety and Performance Requirements in Smart Cities [PDF] [BibTex] [DOI]
    Meiyi Ma, John A. Stankovic, and Lu Feng.
    ACM Workshop on the Internet of Safe Things, 2017.

  • A Formal Human Reliability Analysis of a Community Pharmacy Dispensing Procedure [PDF] [BibTex] [DOI]
    Xi Zheng, Matthew L. Bolton, Christopher Daly, and Lu Feng.
    International Annual Meeting of Human Factors and Ergonomics Society (HFES), 2017.

  • Human-Interpretable Diagnostic Information for Robotic Planning Systems [PDF] [BibTex] [DOI]
    Lu Feng, Laura Humphrey, Insup Lee, and Ufuk Topcu.
    IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016.

  • Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems [PDF] [BibTex] [DOI]
    Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu.
    IEEE Transactions on Automation Science and Engineering, 2016.

  • A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients [PDF] [BibTex] [DOI]
    Sanjian Chen, Lu Feng, Michael Rickels, Amy Peleckis, Oleg Sokolsky and Insup Lee.
    IEEE International Conference on Healthcare Informatics (ICHI), 2015.

  • Controller Synthesis for Autonomous Systems Interacting with Human Operators [PDF] [BibTex] [DOI]
    Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu.
    ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2015.

  • Platform-Specific Code Generation from Platform-Independent Timed Models [PDF] [BibTex] [DOI]
    BaekGyu Kim, Lu Feng, Oleg Sokolsky, and Insup Lee.
    IEEE Real-Time Systems Symposium (RTSS), 2015.

  • Platform-Specific Timing Verification Framework in Model-Based Implementation [PDF] [BibTex] [DOI]
    BaekGyu Kim, Lu Feng, Linh T.X. Phan, Oleg Sokolsky, and Insup Lee.
    Design, Automation Test in Europe (DATE), 2015.

  • Towards Assurance for Plug and Play Medical Systems [PDF] [BibTex] [DOI]
    Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, and Insup Lee.
    International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2015.

  • A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal [PDF] [BibTex] [DOI]
    Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee.
    International Workshop on Medical Cyber-Physical Systems (Medical CPS), 2014.

  • Exploring the Twin Peaks using Probabilistic Verification Techniques [BibTex] [DOI]
    Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, and Insup Lee.
    International Workshop on Twin Peaks of Requirements and Architecture (TwinPeaks), 2014.

  • Assuring the Safety of On-Demand Medical Cyber-Physical Systems [PDF] [BibTex] [DOI]
    Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee.
    IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013.

  • A Modal Specification Approach for On-Demand Medical Systems [PDF] [BibTex] [DOI]
    Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee.
    International Symposium on Foundations of Health Information Engineering and Systems (FHIES), 2013.

  • Learning-based Compositional Verification for Synchronous Probabilistic Systems [PDF] [BibTex] [DOI]
    Lu Feng, Tingting Han, Marta Kwiatkowska, and David Parker.
    International Symposium on Automated Technology for Verification and Analysis (ATVA), 2011.

  • Automated Learning of Probabilistic Assumptions for Compositional Reasoning [PDF] [BibTex] [DOI]
    Lu Feng, Marta Kwiatkowska, and David Parker.
    International Conference on Fundamental Approaches to Software Engineering (FASE), 2011.

  • Compositional Verification of Probabilistic Systems using Learning [PDF] [BibTex] [DOI]
    Lu Feng, Marta Kwiatkowska, and David Parker.
    International Conference on Quantitative Evaluation of Systems (QEST), 2010.

Dissertation

  • On Learning Assumptions for Compositional Verification of Probabilistic Systems [PDF] [BibTex]
    Ph.D. Dissertation, University of Oxford, Oct. 2013.