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

 

   2017    2016   2015   2014   2013   2012    2011     2010     2009     2008     2007     2006     2005     2004     2003     2002     2001     2000     1999     1998     1997     1996     1995     1994     Selected Papers before 1994

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. Jaewoo Lee, Hoon Sung Chwa, Linh T.X. Phan, Insik Shin, and Insup Lee. In Proceedings of International Conference on Embedded Software (EMSOFT 2017), Seoul, South Korea, October 2017.

Extensible Energy Planning Framework for Preemptive Tasks. Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee. In Proceedings of 20th International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada, May 2017.

Automatic Verification of Finite Precision Implementations of Linear Controllers. Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. In Proceedings of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Uppsala, Sweden, April 2017.

vCAT: Dynamic Cache Management Using CAT Virtualization. Meng Xu, Linh T.X. Phan, Hyon-Young Choi, and Insup Lee. In 23th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 17), Pittsburgh, PA, April 2017.

AutoV: An Automotive Testbed for Real-Time Virtualization. Meng Xu and Insup Lee. In Second TCRTS Workshop on Certifiable Multicore Avionics and Automotive Systems (CMAAS 2017), Pittsburgh, PA, April 2017.

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. Sangdon Park, James Weimer, and Insup Lee. In 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2017), Pittsburgh, PA, April 2017.

Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions. Deepak Gangadharan, Jin Hyun Kim, Insup Lee, Oleg Sokolsky, BaekGyu Kim, and Shinichi Shiraishi. In Proceedings of 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016), Daegu, South Korea, August 2016 (Invited paper).

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. Alexander Roederer, Joseph Dimartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson III, and Insup Lee. In Proceedings of First IEEE Conference on Connected Health Applications, Systems and Engineering Technologies (IEEE CHASE 2016), Washington, DC, June 2016.

Cloud-Based Secure Logger for Medical Devices. Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T.X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, C. William Hanson III, and Insup Lee. In Proceedings of IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2016), Washington, DC, USA, June 2016.

Monitoring Assumptions in Assume-Guarantee Contracts. Oleg Sokolsky, Teng Zhang, Insup Lee, and Michael McDougall. In Proceedings of Workshop on Pre- and Post-Deployment Verification Techniques (PrePost@IFM), Reykjavik, Iceland, June 2016.

Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi and Insup Lee. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016), Vienna, Austria, April 2016.

Estimation of Blood Oxygen Content Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee. In Proceedings of 7th International Conference on Cyber-Physical Systems (ICCPS 2016), Vienna, Austria, April 2016.

Platform-Based Automotive Safety Features. Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, and Shinichi Shiraishi. In Proceedings of SAE 2016 World Congress and Exhibition, Detroit, MI, USA, April 2016.

Scalable Verification of Linear Controller Software. Junkil Park, Miroslav Pajic, Insup Lee and Oleg Sokolsky. In Proceedings of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, The Netherlands, April 2016.

Representation of Confidence in Assurance Cases using the Beta Distribution. Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE High Assurance Systems Engineering Symposium (HASE 2016), Orlando, Florida, USA, January 2016.

Attack-Resilient State Estimation in the Presence of Noise. Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas. In Proceedings of 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015.

Platform-Specific Code Generation from Platform-Independent Timed Models. BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee. In IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Optimizing the Resource Requirements of Hierarchical Scheduling Systems. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, and Jin-Young Choi. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), held in conjunction with 36th IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Towards Compositional Mixed-Criticality Real-Time Scheduling in Open Systems. Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, and Insup Lee. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), held in conjunction with 36th IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Cache-aware Interfaces for Compositional Real-Time Systems. Linh T.X. Phan, Meng Xu, and Insup Lee. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), held in conjunction with 36th IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, and Insup Lee. In IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015), Dallas, TX, USA, October 2015.

An Intraoperative Glucose Control Benchmark for Formal Verification. Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, and Insup Lee. In 5th IFAC conference on Analysis and Design of Hybrid Systems (ADHS 2015), Atlanta, GA, USA, October 2015.

Automatic Verification of Linear Controller Software. Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky. In Proceedings of International Conference on Embedded Software (EMSOFT 2015), Amsterdam, the Netherlands, October 2015.

Robust Estimation Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee. In Proceedings of 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, IL, September/October 2015.

A Hybrid Approach to Causality Analysis. Shaohui Wang, Yoann Geo ffroy, Gregor Gossler, Oleg Sokolsky, and Insup Lee. In 15th International Conference on Runtime Verification (RV 2015), Vienna, Austria, September 2015.

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, and Insup Lee. In International Conference on Computer Safety, Reliability & Security (SEFECOMP 2015), Delft, the Netherlands, September 2015.

Towards Assurance for Plug & Play Medical Systems. Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, and Insup Lee. In International Conference on Computer Safety, Reliability & Security (SEFECOMP 2015), Delft, the Netherlands, September 2015.

Robust Monitoring of Hypovolemia in Intensive Care Patients using Photoplethysmogram Signals. Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2015), Milan, Italy, August 2015.

Robust Localization Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas. In Proceedings of Workshop on Multi-View Geometry in Robotics (MVIGRO 2015) (in conjunction with the 2015 Robotics: Science and Systems Conference (RSS 2015)), Rome, Italy, July 2015.

RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing. Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. In 8th IEEE International Conference on Cloud Computing (IEEE CLOUD), New York, USA, June 2015.

Verified ROS-Based Deployment of Platform-Independent Control Systems. Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee. In Proceedings of 7th NASA Formal Methods Symposium (NFM 2015), Pasadena, CA, April 2015.

Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. In 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), Seattle, WA, April 2015.

Towards a Model-Based Meal Detector for Type I Diabetics. Sanjian Chen, James Weimer, Michael Rickels, Amy Peleckis and Insup Lee. In 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), Seattle, WA, April 2015.

Early Detection of Critical Pulmonary Shunts in Infants. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.

Sensor attack detection in the presence of transient faults. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.

Platform-Specific Timing Verification Framework in Model-Based Implementation. BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, and Insup Lee. In Proceedings of Design, Automation & Test in Europe (DATE 2015), Grenoble, France, March 2015.

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, and Insup Lee. In Proceedings of IEEE Real-Time Systems Symposium (RTSS 2014), Rome, Italy, December 2014. (Best Paper runner-up).

Architecture-Centric Software Development for Cyber-Physical Systems. Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee. In Proceedings of First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014), New Delhi, India, October 2014.

Real-Time Multi-Core Virtual Machine Scheduling in Xen. Sisu Xi, Meng Xu, Chenyang Lu, Linh T.X. Phan, Christopher Gill, Oleg Sokolsky, and Insup Lee. In Proceedings of 14th International Conference on Embedded Software (EMSOFT 2014), New Delhi, India, October 2014.

Towards Assurance Cases for Resilient Control Systems. James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee. In Proceedings of 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014), Hong Kong, China, August 2014.

From Requirements to Code: Model Based Development of A Medical Cyber Physical System. Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Mats Heimdahl, Baek-Gyu Kim, Oleg Sokolsky and Insup Lee. In Proceedings of Joint event of the Fourth Symposium on Foundations of Health Information Engineering and Systems (FHIES) and the Software Engineering in Healthcare (SEHC) workshop (FHIES/SEHC '14), Washington, D.C., July 2014.

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. Andrew L. King, Sanjian Chen, and Insup Lee. In Proceedings of 17th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing (ISORC 2014), Reno, Nevada, USA, June 2014.

Attack-Resilient Minimum Mean-Squared Error Estimation. James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. In Proceedings of 2014 American Control Conference (ACC 2014), Portland, Oregon, USA, June 2014.

Robustness of Attack-resilient State Estimators. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George Pappas. In Proceedings of 5th International Conference on Cyber-Physical Systems (ICCPS 2014), Berlin, Germany, April 2014. (Best paper award at ICCPS 2014)

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, and Insup Lee. In Proceedings of 5th International Conference on Cyber-Physical Systems (ICCPS 2014), Berlin, Germany, April 2014.

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee. In Medical Cyber Physical Systems Workshop 2014, Berlin, Germany, April 2014.

Resilient Multidimensional Sensor Fusion using Measurement History. Radoslav Ivanov, Miroslav Pajic, Insup Lee. In 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS 2014), Berlin, Germany, April 2014.

A Layered Approach for Testing Timing in the Model-Based Implementation. BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang H. Son, and Insup Lee. In Design, Automation and Test in Europe (DATE 2014), Dresden, Germany, March 2014.

Attack-Resilient Sensor Fusion. Radoslav Ivanov, Miroslav Pajic, Insup Lee. In Design, Automation and Test in Europe (DATE 2014), Dresden, Germany, March 2014.

Functional Alarms for Systems of Interoperable Medical Devices. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky and Insup Lee. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Miami, Florida, USA, January 9 - 11, 2014.

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms . Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, and Christopher Gill. In IEEE Real-Time Systems Symposium (RTSS 2013), Vancouver, Canada, December 3-6, 2013. (Best Paper Runner-Up).

Platform-Dependent Code Generation for Embedded Real-Time Software. BaekGyu Kim, Linh T.X. Phan, Oleg Sokolsky and Insup Lee. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2013), Montreal, Canada, September/October 2013.

Model-based development of the Generic PCA infusion pump user interface within PVS. Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, and Harold Thimbleby. In 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013, Toulouse, France, September 2013. LNCS Volume 8153, 2013, pp 228-240, doi 10.1007/978-3-642-40793-2_21.

A Causality Analysis Framework for Component-based Real-time Systems. Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor G ossler, Oleg Sokolsky, and Insup Lee. In 13th International Conference on Runtime Verification (RV '13), INRIA Rennes, France, September 2013.

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. Benjamin Kohl, Sanjian Chen, Margaret Mullen-Fortino, and Insup Lee. In IEEE International Conference on Healthcare Informatics (ICHI 2013), Philadelphia, PA, September 2013.

A Modal Specification Approach for On-Demand Medical Systems. Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee. In Third International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2013), Macau, August 2013.

Assuring the Safety of On-Demand Medical Cyber-Physical Systems. Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee. In 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013), Taipei, Taiwan, August 2013.

A Trust Model for Vehicular Network-Based Incident Reports. Cong Liao, Jian Chang, Insup Lee, and Krishna K. Venkatasubramanian. In IEEE Symposium on Wireless Vehicular Communications (WiVeC 2013). Dresden, Germany, June 2013.

Towards Synthesis of Platform-aware Attack-Resilient Control Systems. Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee. In 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, Pennsylvania, April 2013.

Co-design of Control and Platform with Dropped Signals. Damoon Soudbakhsh, Linh T.X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy. In 4th International Conference on Cyber-Physical Systems (ICCPS 2013). Philadelphia, PA, April 2013.

Overhead-Aware Compositional Analysis of Real-Time Systems. Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, and Oleg Sokolsky. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 13). Philadelphia, PA, April 2013.

Contract-based Blame Assignment by Trace Analysis. Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, and Insup Lee. In 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS 2013). Philadelphia, PA, April 2013.

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee. In Workshop on Control of Cyber-Physical Systems, Johns Hopkins University, Baltimore, MD, March 2013.

Assessing the Overall Sufficiency of Safety Arguments. Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee. In 21st Safety-critical Systems Symposium (SSS'13). Bristol, UK, February 2013.

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)

A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling. BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. In IEEE International Symposium on Rapid System Prototyping (RSP 2012). Tampere, Finland, October 2012.

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.

Towards Content-driven Reputation for Collaborative Code Repositories. Andrew G. West and Insup Lee. In Proceedings of the Eighth International Symposium on Wikis and Open Collaboration (WikiSym '12). Linz, Austria. August 2012.

Rationale and Architecture Principles for Medical Application Platforms. John Hatcliff, Andrew King, Insup Lee, Alasdair MacDonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger and Julian Goldman. In ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS 2012). Beijing, China, April 2012 (Invited Paper).

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. (Best Student Paper Award).

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.

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.

Clinical Decision Support for Integrated Cyber-Physical Systems: A Mixed Methods Approach. Alex Roederer, Andrew Hicks, Enny Oyeniran, Insup Lee and Soojin Park. 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.

Runtime Verification of Traces under Recording Uncertainty. Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, and Insup Lee. In Proceedings of the 2nd International Conference on Runtime Verification (RV 2011), San Francisco, CA, 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. (Invited Paper)

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.

Spam Mitigation using Spatio-Temporal Reputations from Blacklist History. Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee. In Proceedings of the 26th Annual Computer Security Applications Conference, Orlando, Florida, December 2010.

On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform. Zhuoyao Zhang, Linh T.X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, and Insup Lee. In Proceedings of the 11th ACM/IFIP/USENIX International Middleware Conference (Middleware 2010), Bangalore, India, December 2010.

Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces. Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. In the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), San Diego, CA, November 2010.

CARTS: A Tool for Compositional Analysis of Real-Time Systems. Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, and Oleg Sokolsky. In the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), San Diego, CA, November 2010.

GSA: A Framework for Rapid Prototyping of Smart Alarm Systems. Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, C. William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, and Insup Lee. In Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10), Arlington, Virginia, USA, November 2010.

Assurance Cases in Model-Driven Development of the Pacemaker Software. Eunkyoung Jee, Insup Lee and Oleg Sokolsky In Proceedings of the 4th International Symposium On Leveraging Application of Formal Methods, Verification and Validation (ISoLA 2010), Part II, LNCS 6416, pp. 343-356, Amirandes, Heraclion, Crete, October 2010.

Modeling Buffers with Data Refresh Semantics in Automotive Architectures. Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee. In 10th International Conference on Embedded Software (EMSOFT 2010), Scottsdale, Arizona, October 2010. (Best Paper Candidate)

Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram. Eunkyoung Jee, Suin Kim, Sungdeok Cha, and Insup Lee. In 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2010), Vienna, Austria, September 2010.

A Process Algebraic Framework for Modeling Resource Demand and Supply. Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi. In 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), IST Austria, Klosterneuburg, Austria, September 2010.

A Safety-Assured Development Approach for Real-Time Software. Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee. In 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), Macau, China, August 2010.

Compositional Analysis of Multi-Mode Systems. Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. In 22nd Euromicro Conference on Real-Time Systems (ECRTS10), Brussels, Belgium, July 2010.

STiki: An Anti-Vandalism Tool for Wikipedia using Spatio-Temporal Analysis of Revision Metadata. Andrew G. West, Sampath Kannan, and Insup Lee. In 6th International Symposium on Wikis and Open Collaboration (WikiSym 2010), Gdansk, Poland, July 2010.

Spatio-Temporal Analysis of Wikipedia Metadata and the STiki Anti-Vandalism Tool. Andrew G. West, Sampath Kannan, and Insup Lee. In 6th International Symposium on Wikis and Open Collaboration (WikiSym 2010), Gdansk, Poland, July 2010.

Medical Cyber Physical Systems. Insup Lee and Oleg Sokolsky. In 47th Design Automation Conference (DAC 2010), CPS Demystified Session, Anaheim, CA, June 2010. (Invited Paper) ACM Portal

Cyber Physical Systems: The Next Computing Revolution. Ragunathan (Raj) Rajkumar, Insup Lee, Lui Sha, and John Stankovic. In 47th Design Automation Conference (DAC 2010), CPS Demystified Session, Anaheim, CA, June 2010. (Invited Paper_ ACM Portal

Model-based Programming of Modular Robots. David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim. In 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC 2010), Carmona, Spain, May 2010.

Prototyping Closed Loop Physiologic Control with the Medical Sevice Coordination Framework. Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, and Sam Proctor. In 2nd Workshop on Software Engineering in Health Care (SEHC 2010), Cape Town, South Africa, May 2010.

Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata. Andrew G. West, Sampath Kannan, and Insup Lee. In 3rd European Workshop on System Security (EUROSEC 2010), Paris, France, April 2010. - Preliminary Version

Toward Patient Safety in Closed-Loop Medical Device Systems. David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky. In Cyber-Physical Systems (ICCPS 2010), Stockholm, Sweden, April 2010.

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee, The 30th IEEE Real-Time Systems Symposium(RTSS 2009), Washington, D.C., December 2009.

Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee, The 30th IEEE Real-Time Systems Symposium(RTSS 2009), Work-in-Progress Proceedings, Washington, D.C., December 2009.

Model-Based Testing of GUI-Driven Applications, Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones, The Seventh IFIP Workshop on Software Technologies for FutureEmbedded and Ubiquitous Systems (SEUS 2009), Newport Beach, CA, LNCS 5860, pp. 203-214, November 2009.

A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky and Steve Vestal, IEEE Real-Time Computing Systems and Applications (RTCSA 2009), Beijing, China, August 2009.

Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Steve Zdancewic, IEEE International Symposium on Policies for Distributed Systemsand Networks (POLICY 2009), London, July 2009.

Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke, 14th International Conference on Reliable Software Technologies (Ada-Europe 2009), Brest, France, LNCS 5570, pp. 222-236, June 2009.

DMaC: Distributed Monitoring and Checking, Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, and Insup Lee, 9th International Workshop on Runtime Verification (RV 2009), Grenoble, France, June 2009.

QuanTM: A Quantitative Trust Management System, Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, and Oleg Sokolsky, Proceedings of the European Workshop on System Security (EUROSEC 2009), Nuremberg, Germany, March 2009.

Resource Scopes: Toward Language Support for Compositional Determinism, Madhukar Anand, Sebastian Fischmeister, and Insup Lee, Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing(ISORC 2009), Tokyo, Japan, March 2009.

Synchronizing an X-ray and Anesthesia Machine Ventilator:A Medical Device Interoperability Case Study, David Arney, Julian M. Goldman, Susan F. Whitehead and Insup Lee, Proceedings of International Conference on Biomedical Electronics and Devices (BioDevices 2009), Porto, Portugal, January 2009.

Hardware Acceleration for Verifiable, Adaptive Real-Time Communication, Sebastian Fischmeister, Insup Lee, and Robert Trausmuth, Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany, September 2008.

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky, Proceedings of the Ninth International Conference on Deontic Logic in Computer Science (DEON'08), Luxembourg, July 2008.

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors, Insik Shin, Arvind Easwaran, Insup Lee, Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS 08), Prague, Czech Republic, July 2008.

Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee, Proceedings of the ACM SIGPLAN/SIGBED 2008 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2008), Tucson, AZ, Jun 2008.

Compositional Feasibility Analysis for Conditional Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee, Proceedings of the 11th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2008), Orlando, Florida, May 2008.

Interface Algebra for Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, Proceedings of the Foundations of Interface Technologies (FIT'08), Satellite workshop of ETAPS'08, Budapest, Hungary, April 5, 2008.

Checking Traces for Regulatory Conformance, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky, Proceedings of the Eighth Workshop on Runtime Verification (RV'08), Satellite workshop of ETAPS'08, Budapest, Hungary, March 2008.

Compositional Analysis Framework using EDP Resource Models, Arvind Easwaran, Madhukar Anand, and Insup Lee, RTSS 2007, Tucson, Arizona, December 2007.

A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems, L. Almeida, M. Anand, S. Fischmeister, and I. Lee, Proceedings of the 7th Annual ACM Conference on Embedded Software (emSoft '07), Salzburg, Austria, October 2007.

Logic-based Regulatory Conformance Checking, Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky, 14th Monterey Workshop (2007), Monterey, CA, September 2007.

Composition Techniques for Tree Communication Schedules, M. Anand and S. Fischmeister and I. Lee, Proceedings of the 19th Euromicro Conference on Real-TimeSystems (ECRTS 2007), Pisa, Italy, July 2007, pp. 235-246.

Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project, David Arney, Raoul Jetley, Paul Jones, Insup Lee, Oleg Sokolsky, Proceedings of 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, Boston, MA, June 2007.

Schedulability Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), Santorini Island, Greece, May 2007. (Invited Paper)

Robust Test Generation and Coverage for Hybrid Systems, A Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, and George Pappas, Proceedings of 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 2007, pp. 329-342.

Statistical Runtime Checking of Probabilistic Properties, Usa Sammapun, Insup Lee, Oleg Sokolsky, and John Regehr, Proceedings of the 7th Workshop on Run-time Verification, Vancouver, B.C., Canada, LNCS 4839, pp. 164-175, March 2007.

Securing the Drop-Box Architecture for Assisted Living, Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee, Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE 2006), George Mason University, Fairfax, Virginia, November 2006.

An Analysis Framework for Network-Code Programs, Madhukar Anand, Sebastian Fischmeister, and Insup Lee, Proceedings of the 6th ACM International Conference onEmbedded Software (EMSOFT 2006), Seoul, South Korea, October 2006.

Incremental Schedulability Analysis of Hierarchical Real-Time Components, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee, Proceedings of the 6th ACM International Conference onEmbedded Software (EMSOFT 2006), Seoul, South Korea, October 2006.

Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON, Madhukar Anand, Insup Lee, Oleg Sokolsky, and George Pappas, Proceedings of the IEEE International Symposium onComputer-Aided Control Systems Design (CACSD 2006), Technische Universitet Munchen, Munich, Germany, October 2006.

Sensor Network Security: More Interesting Than You Think, Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Zachary Ives and Insup Lee, Proceedings of the 1st USENIX Workshop on Hot Topics in Security(HotSec 2006), Vancouver, B.C. Canada, July 2006.

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies, Michael J. May, Carl A. Gunter, and Insup Lee, Proceedings of the 19th IEEE Computer Security FoundationsWorkshop (CSFW 2006), Venice, Italy, July 2006.

Schedulability Analysis of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke, 14th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), Island of Rhodes, Greece, April 2006.

Formal Modeling and Analysis of AFDX Frame Management Design, Madhukar Anand, Samar Dajani-Brown, Steve Vestal, and Insup Lee, Proceedings of the 9th IEEE International Symposium onObject-oriented Real-time Distributed Computing (ISORC 2006),Gyeongiu, Korea, April 2006.

Network-Code Machine: Programmable Real-Time Communication Schedules, Sebastian Fischmeister, and Oleg Sokolsky, and Insup Lee, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), SanJose, California, April 2006. Supplemental Material

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems, Fabian Kratz, Oleg Sokolsky, George J. Pappas, and Insup Lee, Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC 2006), Santa Barbara, CA, USA, LNCS 3927, pp. 392-406, March 2006.

Simulation-Based Graph Similarity, Oleg Sokolsky, Sampath Kannan, and Insup Lee, Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), Vienna, Austria, LNCS3920, pp. 426-440, March 2006.

Generating Sound and Resource-Aware Code from Hybrid System Models, Madhukar Anand, Jesung Kim, Sebastian Fischmeister, and Insup Lee, Proceedings of the 2nd Workshop on Advanced Automotive Softwareand Systems Development (ASWSD 2006), University of California, San Diego, March 2006.

Checking Correctness At Runtime using Real-Time Java, Usa Sammapun, Insup Lee and Oleg Sokolsky, Proceedings of the 3rd Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'05), San Diego, CA, October 2005.

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky, 5th International Workshop on Source Code Analysis and Manipulation (SCAM), Budapest, Hungary, September/October 2005.

Distributed Code Generation from Hybrid Systems Models for Timedelayed Multirate Systems, Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee, Proceedings of EMSOFT'05, Jersey City, New Jersey, USA, September 2005.

Quantifying Eavesdropping Vulnerability in Sensor Networks, Madhukar Anand, Zachary G. Ives, and Insup Lee, Proceedings of the 2nd International VLDB Workshop on Data Management for Sensor Networks, DMSN'05, Trondheim, Norway, August 2005.

RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, Usa Sammapun, Insup Lee and Oleg Sokolsky, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'05, Hong Kong, August 2005.

Run-Time Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim, Proceedings of the Fifth Workshop on Runtime Verification, RV'05,The University of Edinburgh, Scotland, UK, July 2005.

End-to-end Application Performance Impact on Scheduler inCDMA-1XRTT Wireless System, Bong Ho Kim, Insup Lee, and Kelvin Chu, IEEE 61st Vehicular Technology Conference. VTC2005 Spring ,Volume 5, pp. 2770-2774 Stockholm, Sweden, May/June 2005.

Code Generation from Hybrid Systems Models for Distributed Embedded System, Madhukar Anand, Jesung Kim, and Insup Lee, Proceedings of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing, ISORC'05, Seattle, Washington, May 2005. (Invited Paper)

Compositional Real-Time Scheduling Framework, Insik Shin, Insup Lee, Proceedings of the 25th IEEE Real-Time Systems Symposium, RTSS 2004, Lisbon, Portugal, December 2004.

Model-based Testing and Monitoring for Hybrid Embedded Systems, Li Tan, Jesung Kim, Oleg Sokolsky, and Insup Lee, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI 2004), Las Vegas, Nevada, USA, November 2004.

Specification-based Testing with Linear Temporal Logic, Li Tan, Oleg Sokolsky, and Insup Lee, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI 2004), Las Vegas, Nevada, USA, November 2004.

A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints, Insik Shin, Insup Lee, and Sang Lyul Min Proceedings of the 10th Real-time and Embedded Computing Systems and Applications Conference, RTCSA 2004, Gothenburg, Sweden, August 2004.

Resource Modeling for Embedded Systems Design, Oleg Sokolsky Proceedings of the Workshop on Software Technologies for Future Embedded and Ubiquitous Computing (WSTFEUS 2004), Vienna, Austria, May 2004.

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky, Proceeding of Runtime Verification Workshop (RV'04), Barcelona, Spain, April 2004.

Sound Code Generation from Communicating Hybrid Models, Yerang Hur, Jesung Kim, Insup Lee, and Jin-Young Choi, Proceedings of Hybrid Systems: Computation and Control (HSCC04), Philadelphia, PA, LNCS 2939, pp. 432-447, March 2004.

Regular Expressions for Run-Time Verification, Usa Sammapun, Oleg Sokolsky, Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taipei, Taiwan, December 2003.

Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee, Proceeding of the 24th IEEE Real-Time Systems Symposium, RTSS 2003, Cancun, Mexico, December 2003 (Awarded as the Best Paper of RTSS 2003).

Testing and Monitoring Model-based Generated Program, Li Tan, Jesung Kim, and Insup Lee, Proceeding of Runtime Verification Workshop (RV'03), Boulder, Colorado, July 2003.

Generating Embedded Software from Hierarchical Hybrid Models, Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee and Oleg Sokolsky, Proceeding of ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES'03), San Diego, California, June 2003.

Modular Code Generation from Hybrid Automata based on Data Dependency, Jesung Kim and Insup Lee, Proceedings of The 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), Washington, DC, May 2003.

Data Flow Testing as Model Checking, Hyoung Seok Hong, Sung Deok Сha, Insup Lee, Oleg Sokolsky, and Hasan Ural, Proceedings of ICSE'03, Portland, Oregon, May 2003.

Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou,Insup Lee, and Kyriakos Christou, Proceedings of TACAS'03, Warsaw, Poland, April 2003, LNCS 2619, pp. 409-425.

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements, Insik Shin, Insup Lee, Sang Lyul Min, Proceedings of the 23rd IEEE Real-Time Systems Symposium, RTSS 2002, Austin, TX, December 2002.

A General Resource Framework for Real-Time Systems , Insup Lee, Anna Philippou, and Oleg Sokolsky, Proceedings of the Monterey Workshop, Venice, Italy, October 2002. (Invited Paper)

Monitoring, Checking, and Steering of Real-Time Systems, Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky, 2nd International Workshop on Run-time Verification.Copenhagen, Denmark, July 2002; Electronic Notes in Theoretical Computer Science 70 No. 4.

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan, Electronic Notes in Theoretical Computer Science Volume 70 No. 42nd International Workshop on Run-time Verification (RV 2002), Copenhagen, Denmark, July 2002.

Distributed Simulation of Multi-Agent Hybrid Systems, Yerang Hur, Insup Lee, IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC), Crystal City, Virginia, USA, April/May 2002.

A Temporal Logic Based Theory of Test Coverage and Generation, Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, and Hasan Ural, International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS2002), Grenoble, France, April 2002.

Fair Real-time Traffic Scheduling over A Wireless LAN, Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou, Proceedings of the 22nd IEEE Real-Time Systems Symposium, RTSS 2001, London, UK, December 2001.

Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky, Proceedings of IEEE/IEE Workshop on Real-Time Embedded Systems (RTES'2001),London, UK, December 2001.

Java-MaC: a Run-time Assurance Tool for Java, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, 1st International Workshop on Run-time Verification. Paris, France, July 2001 Electronic Notes in Theoretical Computer Science 55 No. 2 (2001).

Hierarchical Hybrid Modeling of Embedded Systems, Rajeev Alur, Thao Dang, Joel Esposito, R. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George Pappas, and Oleg Sokolsky, Proceedings of EMSOFT'01: First Workshop on Embedded Software, Tahoe City, California, USA, Oct 2001. (Invited Paper)

Characterizing Non-Zenoness on Real-Time Processes, Jitka Stribrna and Insup Lee, Proceedings of Model for Time-Critical Systems (MTCS'01), Aalborg, Denmark, Aug 2001.

A Family of Resource-Bound Real-time Process Algebras, Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, and Oleg Sokolsky, Proceedings of 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01),Cheju Island, Korea, August 2001. (Invited Paper)

Automatic Test Generation from Statecharts Using Model Checking, Hyoung Seok Hong, Insup Lee, Oleg Sokolsky and Sung Deok Сha, Proceedings of FATES'01, Workshop on Formal Approaches to Testing of Software, August 2001. BRICS Notes Series, NS-01-4, pp. 15-30.

Compositional Refinement for Hierarchical Hybrid Systems, Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky, Hybrid Systems: Computation and Control, LNCS 2034, pp. 33-48, March 2001.

Modular specifications of hybrid systems in CHARON, Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, and Insup Lee, Hybrid Systems: Computation and Control, LNCS 1790, pp. 6-19, 2000.

A framework and architecture for multirobot coordination, Rajeev Alur, A. Das, Joel Esposito, R. Fierro, Yerang Hur, G. Grudic, Vijay Kumar, Insup Lee, J. Ostrowski, George Pappas, J. Southall, J. Spletzer, and C. Taylor, Seventh International Symposium on Experimental Robotics-ISER00, Honolulu, Hawaii, Dec. 2000.

Weak Bisimulation for Probabilistic Systems, Anna Philippou, Insup Lee, and Oleg Sokolsky, Proceedings of CONCUR'00, August 2000.

Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan, Proceedings of the International Symposium on Software Testing and Analysis, August 2000.

Distributed Spatial Control and Global Monitoring of Mobile Agents, Diana Gordon, William Spears, Insup Lee, and Oleg Sokolsky, Proceedings. 1999 International Conference on Information, Intelligence, and Systems, November 1999, pp. 681-688.

Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination, Rajeev Alur, Joel Esposito, Moonjoo Kim, Vijay Kumar and Insup Lee, Proceedings of FM'99 Toulouse, France, September 1999.

Runtime Assurance Based On Formal Specifications, Insup Lee, Sampath Kannan, MoonjooKim, Oleg Sokolsky, Mahesh Viswanathan, Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June/July 1999.

Formally Specified Monitoring of Temporal Properties, MoonjooKim, Mahesh Viswanathan, Insup Lee, HanêneBen-Abdellah, Sampath Kannan, and Oleg Sokolsky, Proceedings of the European Conference on Real-Time Systems, York, UK, June 1999.

Symbolic Schedulability Analysis of Real-time Systems , Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi and Oleg Sokolsky, IEEE Real-Time Systems Symposium, December 1998.

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP, Hee-Hwan Kwak, Insup Lee, and Oleg Sokolsky, Proceedings 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, Carmel-By-The-Sea, CA, Oct 27-29, 1998.

A Monitoring and Checking Framework for Run-time Correctness Assurance, Insup Lee, HanêneBen-Abdellah, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan, Proceedings 1998 Korea-U.S. Technical Conference on Strategic Technologies, Vienna, VA, Oct 22-24, 1998. (Invited Paper)

Probabilistic Resource Failure in Real-Time Process Algebra , Anna Philippou, Rance Cleaveland, Insup Lee, Scott Smolka, and Oleg Sokolsky, CONCUR '98, September 1998.

Specifying Failures and Recoveries in PACSR, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott Smolka, Proceedings of Workshop on Probabilistic Methods in Verification, Jun 1998.

Verification of the Redundancy Management System for Space Launch Vehicle, Oleg Sokolsky, Mohamed Younis, Insup Lee, Hee-Hwan Kwak, and JeffZhou, Proceedings of RTAS'98, Jun 1998.

A Graphical Property Specification Language, Insup Lee and Oleg Sokolsky, Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering, Aug 1997.

Operational Semantics for Visual Simulation in PARAGON, Hanêne Ben-Abdallah, Insup Lee and Oleg Sokolsky, Proceedings of IEEE National Aerospace and Electronics Conference, Jul 1997.

Automatic Test Generation for the Analysis of a Real-Time System: Case Study, Duncan Clarke and Insup Lee, Proceedings of 3rd IEEE Real-Time Technology and Applications Symposium (RTAS'97), Jun 1997.

Automatic Generation of Tests for Timing Constraints from Requirements, Duncan Clarke and Insup Lee, Proceedings of WORDS'97: IEEE 3rd International Workshop on Object-oriented Real-time Dependable Systems, Feb 1997.

PARAGON: A Paradigm for the Specification, Verification, and Testing of Real-Time Systems, Hanêne Ben-Abdallah, Duncan Clarke, Insup Lee, and Oleg Sokolsky, IEEE Aerospace Conference, Feb 1997.

The Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements, Hanêne Ben-Abdallah, Insup Lee and Young Si Kim, Proceedings of the International Symposium on Requirements Engineering, Anapolis, MD, Jan 1997.

Ordering Processes in a Real-Time Process Algebra, Patrice Bremond-Gregoire, Hanêne Ben-Abdallah and Insup Lee, Proceedings of AMAST 3rd International Workshop on Real-Time Systems, 1996.

Schedulability and Safety Analysis in the Graphical Communicating Shared Resources, Hanêne Ben-Abdallah, Young Si Kim and Insup Lee, Proceedings of IEEE Workshop on Object-Oriented Real-Time and Dependable Systems, Laguna Beach, CA, Feb 1996.

An Efficient State Space Generation for the Analysis of Real-time Systems, Inhye Kang and Insup Lee, Proceedings of International Symposium on Software Testing and Analysis, 1996.

A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems, Hanêne Ben-Abdallah, Insup Lee, and Jin-Young Choi, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.

The Specification and Schedulability Analysis of Real-Time Systems using ACSR, Jin-Young Choi, Insup Lee and Hong-Liang Xie, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.

Testing Real-Time Constraints in a Process Algebraic Setting, Duncan Clarke and Insup Lee, Proceedings of the 17th International Conference on Software Engineering, 1995.

Timing Analysis of Superscalar Processor Programs Using ACSR, Jin-Young Choi, Insup Lee, and Inhye Kang, 11th IEEE Workshop on Real-Time Operating Systems and Software, 1994.

State Minimization for Concurrent System Analysis Based on State Space Exploration, Inhye Kang and Insup Lee, Proceedings of Conference on Computer Assurance, 1994.

Language Constructs for Distributed Real-Time Programming, Insup Lee and Vijay Gehlot, Proceedings of 6th Real-Time Systems Symposium (RTSS85), San Diego, California, Dec. 1985.

A Programming System for Distributed Real-Time Applications, Insup Lee, Proceedings of 5th IEEE Real-Time Systems Symposium (RTSS84), Austin, Texas, December 1984.

 

Relevant Publications

Copyright © 2011-2016 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.