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

 

Medical Cyber-Physical Systems

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-2016 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.