Insup Lee's Research
- Current Research Projects:
- Real-Time Embedded Systems: Compositional Scheduling Framework
- High-Confidence Medical Device Software and Systems
- Formal Modeling and Analysis of Requirements and Policy Documents
- Run-time Monitoring and Checking
- Quantitative Trust Management
- Model-Based Development: Code Generation, Test Generation
- Wireless Sensor Networks and Mobile Systems
- Past Research Projects:
- Hybrid Systems: CHARON, MoBIES
- Embedded and Hybrid System Design and Implementation: High Assurance Systems Tools and Environment (HASTEN)
- Real-Time Systems: Specification and Analysis of Real-Time Systems ( ACSR , VERSA, TREAT)
- Real-Time Programming Languages and Concepts
- Selected Recent Papers ( by year and by area )
- Ph.D. Students - Past and Present
- Real-Time Systems Group (RTG)
- My Ph.D. Dissertation:
DYMOS:
A Dynamic Modication System
(To see how it can be done better now, check out Mike Hick's dissertation.)