Departmental Papers (CIS)

Departmental Papers (CIS)

 

Our faculty have research activities across many areas of computer science and are from schools throughout Penn, including Penn Engineering and the School of Arts and Sciences. For more information about CIS research, visit our research areas page.

Follow


Papers from 2018

PDF

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems, Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, and Ulrik Nyman

PDF

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges, Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, and Shinichi Shiraishi

PDF

Data Freshness Over-Engineering: Formulation and Results, Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee

PDF

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things, Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, and Insup Lee

PDF

Context-Aware Detection in Medical Cyber-Physical Systems, Radoslav Ivanov, James Weimer, and Insup Lee

PDF

Joint Rate Control and Demand Balancing for Electric Vehicle Charging, Fanxin Kong, Xue Liu, and Insup Lee

PDF

Cyber-Physical System Checkpointing and Recovery, Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, and Insup Lee

PDF

Multi-Mode Virtualization for Soft Real-Time Systems, Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher Gill, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

LogSafe: Secure and Scalable Data Logger for IoT Devices, Hung Nguyen, Radoslav Ivanov, Linh T.X. Phan, Oleg Sokolsky, James Weimer, and Insup Lee

PDF

Reducing Pulse Oximetry False Alarms Without Missing Life-Threatening Events, Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher P. Bona fide, James Weimer, and Insup Lee

PDF

Parameter Invariant Monitoring for Signal Temporal Logic, Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee

PDF

Parameter-Invariant Monitor Design for Cyber Physical Systems, James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, and Insup Lee

Papers from 2017

PDF

Extensible Energy Planning Framework for Preemptive Tasks, Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee

PDF

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling, Jaewoo Lee, Hoon Sung Chwa, Linh T.X. Phan, Insik Shin, and Insup Lee

PDF

Design and Implementation of Attack-Resilient Cyber-Physical Systems, Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George Pappas, and Insup Lee

PDF

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults, Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, and Insup Lee

PDF

Process Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems, Junkil Park, Insup Lee, Oleg Sokolsky, Dae Yon Hwang, Sojin Ahn, Jin-Young Choi, and Inhye Kang

PDF

Automatic Verification of Finite Precision Implementations of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee

PDF

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data, Sangdon Park, James Weimer, and Insup Lee

PDF

AutoV: An Automotive Testbed for Real-Time Virtualization, Meng Xu and Insup Lee

PDF

vCAT: Dynamic Cache Management Using CAT Virtualization, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, and Insup Lee

PDF

Monitoring Time Intervals, Teng Zhang, John Wiegley, Insup Lee, and Oleg Sokolsky

Papers from 2016

PDF

Protecting Interoperable Clinical Environment With Authentication, Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, and Insup Lee

PDF

Data-driven Adaptive Safety Monitoring using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study, Sanjian Chen, Oleg Sokolsky, James Weimer, and Insup Lee

PDF

Representation of Confidence in Assurance Cases Using the Beta Distribution, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee

PDF

Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions, Deepak Gangadharan, Jin Hyun Kim, Insup Lee, Oleg Sokolsky, BaekGyu Kim, and Shin'ichi Shiraishi

PDF

Estimation of Blood Oxygen Content Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George Pappas, and Insup Lee

PDF

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

LASER: Light, Accurate Sharing dEtection and Repair, Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Gilles Pokam, Chris J. Newburn, and Joseph Devietti

PDF

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

PDF

Scalable Verification of Linear Controller Software, Junkil Park, Miroslav Pajic, Insup Lee, and Oleg Sokolsky

PDF

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

PDF

Monitoring Assumptions in Assume-Guarantee Contracts, Oleg Sokolsky, Teng Zhang, Insup Lee, and Michael McDougall

PDF

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

PDF

SMEDL: Combining Synchronous and Asynchronous Monitoring, Teng Zhang, Peter Gebhard, and Oleg Sokolsky

Papers from 2015

PDF

Fault Tolerance and the Five-Second Rule, Ang Chen, Hanjun Xiao, Andreas Haeberlen, and Linh T.X. Phan

PDF

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

PDF

An Intraoperative Glucose Control Benchmark for Formal Verification, Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, and Insup Lee

PDF

Towards a Model-Based Meal Detector for Type I Diabetics, Sanjian Chen, James Weimer, Michael R. Rickels, Amy Peleckis, and Insup Lee

PDF

Controller Synthesis for Autonomous Systems Interacting With Human Operators, Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu

PDF

Robust Localization Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas

PDF

Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee

PDF

Early Detection of Critical Pulmonary Shunts in Infants, Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, and Insup Lee

PDF

Platform-Specific Timing Verification Framework in Model-Based Implementation, BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, and Insup Lee

PDF

Platform-Specific Code Generation from Platform-Independent Timed Models, BaekGyu Kim, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

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

PDF

Towards Assurance for Plug & Play Medical Systems, Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, and Insup Lee

PDF

Towards Compositional Mixed-Criticality Real-Time Scheduling in Open Systems, Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Verified ROS-Based Deployment of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee

PDF

Automatic Verification of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

PDF

Attack-Resilient State Estimation in the Presence of Noise, Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas

PDF

Sensor Attack Detection in the Presence of Transient Faults, Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee

PDF

Cache-aware Interfaces for Compositional Real-Time Systems, Linh T.X. Phan, Meng Xu, and Insup Lee

PDF

Mixed-Criticality Scheduling on Multiprocessors using Task Grouping, Jiankang Ren and Linh T.X. Phan

PDF

Robust Monitoring of Hypovolemia in Intensive Care Patients Using Photoplethysmogram Signals, Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee

PDF

Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients, Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee

PDF

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices, Krishna Venkatasubramanian, Eugene Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, and Insup Lee

PDF

A Hybrid Approach to Causality Analysis, Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, and Insup Lee

PDF

Parameter-Invariant Design of Medical Alarms, James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, and Insup Lee

PDF

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

PDF

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms, Meng Xu, Linh T.X. Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher Gill, and Insup Lee

PDF

Executing Model-Based Tests on Platform-Specific Implementations, Dongjiang You, Sanjai Rayadurgam, Mats Heimdahl, John Komp, BaekGyu Kim, and Oleg Sokolsky

Papers from 2014

PDF

Detecting Covert Timing Channels with Time-Deterministic Replay, Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh T.X. Phan, Micah Sherr, and Wenchao Zhou

PDF

Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms, Dionisio de Niz and Linh T.X. Phan

PDF

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

PDF

Attack-Resilient Sensor Fusion, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

Resilient Multidimensional Sensor Fusion Using Measurement History, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

A Layered Approach for Testing Timing in the Model-Based Implementation, BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang H. Son, and Insup Lee

PDF

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems With OpenFlow, Andrew L. King, Sanjian Chen, and Insup Lee

PDF

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

PDF

From Requirements to Code: Model Based Development of a Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, and Insup Lee

PDF

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

PDF

Safety-Critical Medical Device Development Using the UPP2SF Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam

PDF

Robustness of Attack-Resilient State Estimators, Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George Pappas

PDF

Architecture-Centric Software Development for Cyber-Physical Systems, Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee

PDF

Functional Alarms for Systems of Interoperable Medical Devices, Krishna Venkatasubramanian, Eugene Vasserman, Oleg Sokolsky, and Insup Lee

PDF

Attack-Resilient Minimum Mean-Squared Error Estimation, James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee

PDF

Towards Assurance Cases for Resilient Control Systems, James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee

Link

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

Papers from 2013

PDF

Regular Functions and Cost Register Automata, Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan

PDF

A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Assessing the Overall Sufficiency of Safety Arguments, Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee

PDF

AS-CRED: Reputation and Alert Service for Inter-Domain Routing, Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, and Oleg Sokolsky

PDF

Platform-Dependent Code Generation for Embedded Real-Time Software, BaekGyu Kim, Linh T.X. Phan, Oleg Sokolsky, and Insup Lee

PDF

A Modal Specification Approach for On-Demand Medical Systems, Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Assuring the Safety of On-Demand Medical Cyber-Physical Systems, Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation, Benjamin A. Kohl, Sanjian Chen, Margaret Mullen-Fortino, and Insup Lee

PDF

A Trust Model for Vehicular Network-Based Incident Reports, Cong Liao, Jian Chang, Insup Lee, and Krishna K. Venkatasubramanian

PDF

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS, Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, and Harold Thimbleby

PDF

Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract, Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee

PDF

Overhead-Aware Compositional Analysis of Real-Time Systems, Linh T.X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, and Oleg Sokolsky

PDF

Co-design of Control and Platform With Dropped Signals, Damoon Soudbakhsh, Linh T.X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy

PDF

Contract-Based Blame Assignment by Trace Analysis, Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, and Insup Lee

PDF

A Causality Analysis Framework for Component-Based Real-Time Systems, Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, and Insup Lee

PDF

Resilient Parameter-Invariant Control With Application to Vehicle Cruise Control, James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee

PDF

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

Papers from 2012

PDF

Reliable Client Accounting for Hybrid Content-Distribution Networks, Paarijaat Aditya, Mingchen Zhao, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce Maggs, and Bill Wishon

PDF

Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem, KookJin Ahn and Sudipto Guha

PDF

Analyzing Graph Structure via Linear Measurements, KookJin Ahn, Sudipto Guha, and Andrew Mcgregor

PDF

Graph Sketches: Sparsification, Spanners, and Subgraphs, KookJin Ahn, Sudipto Guha, and Andrew Mcgregor