UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee UPenn Lee
Home About Me Group Research Teaching PRECISE News Publications Awards Contact
Recent Publications   |   Books   |   Journal Publications   |   Book Chapters   |   Conference Papers   |   Selected Papers by Area   |   Other


Medical Cyber-Physical Systems

Safe AI and Autonomy

Security, Trust Management, and Policy Modeling

Real-Time Resource Management: Compositional Scheduling, Virtualization, Communication

Real-Time Embedded Systems: Model-Based Development, Programming, Testing

Formal Methods in Safety-Critical Systems (Real-Time, Hybrid, and Probabilistic Systems)

Run-time Monitoring and Checking (a la Runtime Verification)

Position Papers



Relevant Publications

Copyright © 2011-2019 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.