Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin and Insup Lee. In 33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, December 2012 (Best Paper Award)

Trust in Collaborative Web Applications. Andrew West, Jian Chang, Krishna Venkatasubramanian, Insup Lee. In Elsevier Future Generation Computer Systems, Volume 28, Issue 8, pp.1238–1251, October 2012 (Invited Paper). Based in part on UPENN MS-CIS-10-33 technical report

Evaluation of a Smart Alarm for Intensive Care using Clinical Data. Andrew King, Kelsea Fortino, Nicholas Stevens, Sachin Shah, Margaret Fortino-Mullen, and Insup Lee. In 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'12). San Diego, California, September, 2012.

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam. In 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012). Beijing, China, April 2012.

Realizing Compositional Scheduling through Virtualization. Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky. In 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012). Beijing, China, April 2012.

A Safety Case Pattern for Model-Based Development Approach. Anaheed Ayoub, Baek-Gyu Kim, Insup Lee and Oleg Sokolsky. In NASA Formal Methods Symposium (NFM). Norfolk, VA, April 2012.

Spamming for Science: Active Measurement in Web 2.0 Abuse Research. Andrew West, Pedram Hayati, Vidyasagar Potdar, and Insup Lee. In 3rd Workshop on Ethics in Computer Security Research 2012 (WECSR 2012). Bonaire, March 2012.

Challenges and Research Directions in Medical Cyber-Physical Systems. Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian. In Special Issue on Cyber-Physical Systems, Proceedings of the IEEE, Volume 100, Issue 1, pp.75-90, January 2012 (Invited Paper).

PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Anna Philippou, Insup Lee, and Oleg Sokolsky. In Theoretical Computer Science, Volume 413, Issue 1, 2012, pp.2-20. Manuscript Number: TCS-D-10-00731R2, January 2012.

The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity. Philip Asare, Danyang Cong, Santosh Vattam, Baek-Gyu Kim, Shan Lin, Oleg Sokolsky, Margaret Mullen-Fortino and Insup Lee. In Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI 2012). Miami, FL, January 2012.

Smart Alarms: Multivariate Medical Alarm Integration for post CABG surgery patients. Stevens Nicholas, Giannareas Ana, Kern Vanessa, Viesca Adrian, Fortino-Mullen Margaret, King Andrew, Lee Insup. In Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI 2012). Miami, FL, January 2012.

Challenges in the Regulatory Approval of Medical Cyber-Physical Systems. Oleg Sokolsky, Insup Lee, and Mats Heimdahl. In Proceedings of the International Conference on Embedded Software (EMSOFT 2011). Taipei, Taiwan, October 2011.

Safety-Assured Development of the GPCA Infusion Pump Software. BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley. In Proceedings of the International Conference on Embedded Software (EMSOFT 2011). Taipei, Taiwan, October 2011.

Compositional Analysis of Real-Time Embedded Systems. Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. In IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES 2011). Taipei, Taiwan, October 2011. (Tutorial Abstract)

Autonomous Link Spam Detection in Purely Collaborative Environments. Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, and Insup Lee. In Proceedings of Seventh International Symposium on Wikis and Open Collaboration (WikiSym ’11). Mountain View, California, October 2011.

What Wikipedia Deletes: Characterizing Dangerous Collaborative Content. Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, and Insup Lee. In Proceedings of Seventh International Symposium on Wikis and Open Collaboration (WikiSym ’11). Mountain View, California, October 2011.

Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence. Andrew G. West and Insup Lee. In Notebook Papers on Uncovering Plagiarism, Authorship, and Social Software Misuse (CLEF 2011). Amsterdam, Netherlands, September 2011.

ToMaTo: A Trustworthy Code Mashup Development Tool. Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee. In Proceedings of 5th International Workshop on Web APIs and Service Mashups (Mashups 2011). Lugano, Switzerland, September 2011.

Link Spamming Wikipedia for Profit. Andrew G. West, Jian Chang, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee. In Proceedings of 8th Annual Collaboration, Electronic Messaging, Anti-Abuse, and Spam Conference (CAES 2011). pp. 152-161, Perth, Australia, September 2011 (co-Best Paper Award).

Towards the Effective Temporal Association Mining of Spam Blacklists. Andrew G. West and Insup Lee. In Proceedings of 8th Annual Collaboration, Electronic Messaging, Anti-Abuse, and Spam Conference (CAES 2011). pp. 73-82, Perth, Australia, September 2011.

Biomedical Devices and Systems Security. David Arney, Krishna K. Venkatasbramanian, Oleg Sokolsky, and Insup Lee. In Proceedings of 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC ’11). Boston, MA, August/September 2011.

Video Quality Driven Buffer Sizing via Frame Drops. Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Toyama, Japan, August 2011.

Towards A Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems. Linh T. X. Phan and Insup Lee. In 1st International Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA). Toyama, Japan, August 2011.

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, and Insup Lee. In 4th International Conference on Trust and Trustworthy Computing (TRUST 2011). Pittsburgh, PA, June 2011.

On Effective Testing of Health Care Simulation Software. Christian Murphy, M.S. Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, Leon Osterweil. In Proceedings of the 3rd International Workshop on Software Engineering in Health Care (SEHC 2011). Honolulu, Hawaii, May 2011.

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee and Oleg Sokolsky. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011), Chicago, IL, April 2011.

A Semantic Framework for Multi-Mode Systems. Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011), Chicago, IL, April 2011.

Reputation-based Networked Control with Data-Corrupting Channels. Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George Pappas. In Proceedings of Hybrid Systems: Computation and Control (HSCC), Chicago, IL, April 2011.

Relevant Publications

• PRECISE Publications
• RTG Publications