팔로우
Insup Lee
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
cis.upenn.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Cyber-physical systems: the next computing revolution
R Rajkumar, I Lee, L Sha, J Stankovic
Proceedings of the 47th design automation conference, 731-736, 2010
22852010
for Wireless Sensor Networks
SI Huang, S Shieh, SY Wu
Computer Security in the 21st Century, 91, 2005
8782005
Periodic resource model for compositional real-time guarantees
I Shin, I Lee
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 2-13, 2003
6592003
Challenges and research directions in medical cyber–physical systems
I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ...
Proceedings of the IEEE 100 (1), 75-90, 2011
4452011
Compositional real-time scheduling framework with periodic model
I Shin, I Lee
ACM Transactions on Embedded Computing Systems (TECS) 7 (3), 1-39, 2008
3092008
Java-MaC: A run-time assurance approach for Java programs
M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky
Formal methods in system design 24, 129-155, 2004
3062004
Modular specification of hybrid systems in CHARON
R Alur, R Grosu, Y Hur, V Kumar, I Lee
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000
2942000
Opportunities and obligations for physical computing systems
JA Stankovic, I Lee, A Mok, R Rajkumar
Computer 38 (11), 23-31, 2005
2642005
Compositional analysis framework using EDP resource models
A Easwaran, M Anand, I Lee
28th IEEE International Real-Time Systems Symposium (RTSS 2007), 129-138, 2007
2582007
Java-MaC: a run-time assurance tool for Java programs
M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001
2552001
Robustness of attack-resilient state estimators
M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014
2512014
Medical cyber physical systems
I Lee, O Sokolsky
Proceedings of the 47th design automation conference, 743-748, 2010
2462010
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
2431999
Hierarchical scheduling framework for virtual clustering of multiprocessors
I Shin, A Easwaran, I Lee
2008 Euromicro Conference on Real-Time Systems, 181-190, 2008
2402008
Compositional real-time scheduling framework
I Shin, I Lee
25th IEEE International Real-Time Systems Symposium, 57-67, 2004
2152004
Verisig: verifying safety properties of hybrid systems with neural network controllers
R Ivanov, J Weimer, R Alur, GJ Pappas, I Lee
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
2132019
A temporal logic based theory of test coverage and generation
HS Hong, I Lee, O Sokolsky, H Ural
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
2032002
Formally specified monitoring of temporal properties
M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 1999
1921999
A framework and architecture for multi-robot coordination
R Fierro, A Das, J Spletzer, J Esposito, V Kumar, JP Ostrowski, G Pappas, ...
The International Journal of Robotics Research 21 (10-11), 977-995, 2002
1892002
High-confidence medical device software and systems
I Lee, GJ Pappas, R Cleaveland, J Hatcliff, BH Krogh, P Lee, H Rubin, ...
Computer 39 (4), 33-38, 2006
1832006
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20