Modeling Opportunities in mHealth Cyber-Physical Systems. Wendy Nilsen, Emre Ertin, Eric B. Hekler, Santosh Kumar, Insup Lee, Rahul Mangharam, Misha Pavel, James M. Rehg, William T. Riley, Daniel E. Rivera, Donna Spruijt-Metz. In Mobile Health - Sensors, Analytic Methods, and Applications. 2017. pp 443-453

An Evaluation Framework for Reputation Management Systems. Andrew G. West, Sampath Kannan, Insup Lee, and Oleg Sokolsky. In Trust Modeling and Management in Digital Environments: From Social Concept to System Development (Zheng Yan, ed.). 2009.

Compositional Real-Time Schedulability Analysis. Insik Shin and Insup Lee. In Handbook of Real-Time and Embedded Systems , Edited by Insup Lee, Joseph Y-T. Leung and Sang H. Son, CRC Press, 2007.

Temporal Control in Real-Time Systems: Language and Systems. Sebatian Fischmeister and Insup Lee. In Handbook of Real-Time and Embedded Systems, Edited by Insup Lee, Joseph Y-T. Leung and Sang H. Son, CRC Press, 2007.

Overview of the HASTEN (High Assurance Systems, Tools, and Environments) Project. I. Lee, R. Alur, B. Cook, C. Gunter, E. Gunter, S. Kannan, K. Shin, and O. Sokolsky. In Information Security Research, New Methods for Protecting Against Cyber Threats, Wiley, 2007. pp. 270-296

Hierarchical Modeling and Analysis of Embedded Systems. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. In Information Security Research, New Methods for Protecting Against Cyber Threats, Wiley, 2007. pp. 297-314. (Reprint of 2003 IEEE Proceedings paper)

Anomaly and Misuse Detection in Network Trac Streams - Checking and Machine Learning Approaches. S. Kannan, I. Lee, W. Lee, O. Sokolsky, D. Spears, and W. Spears. In Information Security Research, New Methods for Protecting Against Cyber Threats, Wiley, 2007. pp. 88-99.

A Compositional Framework for Real-Time Embedded Systems. Insik Shin and Insup Lee. In Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, Editors Miroslaw Malek, Edgar Nett, Neeraj Suri, Lecture Note in Computer Science 3694, Springer-Verlag Heidelberg, 2005. pp. 137-148.

Fair Real-Time Scheduling over a Wireless LAN. Insup Lee, Insik Shin, Sanjeev Khanna. Resource Management in Wireless Networking, edited by Mihaela Cardei, Ionut Cardei, and Ding-Zhu Du, Kluwer, Oct 2003. (published in 2004)

Software Reliability, Verification and Validation. Insup Lee. In Research Trend Study - Computers and Communications, edited by Kane Kim, Wonmo Hong and Se-June Hong, KSEA (Korean-American Scientist and Engineers Association) and KOSEF (Korean Science and Engineering Foundation), 1996.

A Process Algebraic Method for Real-Time Systems, Insup Lee, Hanêne Ben-Abdallah, and Jin-Young Choi, Formal Methods for Real-Time Computing C.Heitmeyer and D.Mandrioli (eds.), John Wiley & Sons Ltd, 1996.

The Algebra of Communicating Shared Resources and Its Toolkit. Insup Lee, Duncan Clarke and Hong-Liang Xie. In Advances in Real-Time Systems, edited by S. Son, Prentice Hall, 1995, pp. 275-298.

A Proof System for Communicating Shared Resources. Richard Gerber and Insup Lee. In Tutorial on Real-Time Systems - Abstractions, Languages, and Design Methodologies, Edited by Krishna M. Kavi, IEEE, 1992. (Reprint of the same paper appeared in Proc. IEEE Real-Time Systems Symposium, 1990.)

Language Constructs for Distributed Real-Time Programming, Insup Lee and Vijay Gehlot, in Tutorial on Real-Time Systems - Abstractions, Languages, and Design Methodologies, Edited by Krishna M. Kavi, IEEE, 1992. (Reprint of the same paper appeared in Proceedings of IEEE Real-Time Systems Symposium, San Diego, California, Dec. 1985.)

Communicating Shared Resources: A Paradigm for Integrating Real-Time Specication and Implementation. Insup Lee, Susan Davidson and Rich Gerber. In Foundations of Real-Time Computing: Formal Methods, edited by A. van Tilborg and G. Koob, Kluwer Pub, 1991, pp. 87-109.

Adding Time to Synchronous Process Communications. Insup Lee and Susan Davidson. In Tutorial on Hard Real-Time Systems, Edited by J.A. Stankovic and K. Ramamritham, IEEE 1988. (Reprint of the same article appeared in IEEE Transactions on Computers, August 1987.)

Partitioning of Massive/Real-Time Programs for Parallel Processing. Insup Lee, Noah Prywes and Boleslaw Szymanski. In Advances in Computers, edited by M.C. Yovits, Prentice-Hall, 1986, pp. 215-275.

Relevant Publications

• Google Scholar
• DBLP


• PRECISE Publications
• RTG Publications