Departmental Papers (CIS)

 

Follow


Papers from 2016

PDF

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

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

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

PDF

Scalable Verification of Linear Controller Software, Junkil Park, Miroslav Pajic, Insup Lee, 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

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical, Radoslav Ivanov, Miroslav Pajic, 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

Towards Assurance for Plug & Play Medical Systems, Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, 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

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

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

PDF

Streaming Tree Transducers, Rajeev Alur and Loris D'Antoni

PDF

Protocol Design With Concolic Snippets, Rajeev Alur, Jyotirmoy Deshmukh, Sela Mador-Haim, Milo Martin, Arun Raghavan, and Abhishek Udupa

PDF

Regular Transformations of Infinite Strings, Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi

PDF

The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity, Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew King, Oleg Sokolsky, Insup Lee, Shan Lin, and Margaret Mullen-Fortino

PDF

A Safety Case Pattern for Model-Based Development Approach, Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky

PDF

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments, Anaheed Ayoub, Baekgyu Kim, Insup Lee, and Oleg Sokolsky

PDF

Step-Indexed Normalization for a Language with General Recursion, Chris Cainghino, Vilhelm Sjoberg, and Stephanie Weirich

PDF

HMM-Based Characterization of Channel Behavior for Networked Control Systems, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, and Insup Lee

PDF

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

PDF

Learning and Predicting Dynamic Behavior with Graphical Multiagent Models, Quang Duong, Michael P. Wellman, Satinder Singh, and Michael J. Kearns

PDF

Spectral dimensionality reduction for HMMs, Dean P. Foster, Jordan Rodu, and Lyle Ungar

PDF

Competitive Contagion in Networks, Sanjeev Goyal and Michael J. Kearns

PDF

Contracts Made Manifest, Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich

PDF

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 M. Goldman

PDF

Edit Lenses, Martin Hoffmann, Benjamin C. Pierce, and Daniel Wagner

PDF

Querying Provenance for Ranking and Recommending, Zachary G. Ives, Andreas Haeberlen, Tao Feng, and Wolfgang Gatterbauer

PDF

Towards A Secure and Verifiable Future Internet, Limin Jia, Chen Chen, Sangeetha A. Jyothi, Wenchao Zhou, Suyog Mapara, and Boon Thau Loo

PDF

Behavioral Experiments on a Network Formation Game, Michael J. Kearns, Stephen Judd, and Yevgeniy Vorobeychik

PDF

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

PDF

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics, Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjoberg, Nathan Collins, and Ki Yung Ahn

PDF

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

PDF

Colonel Blotto on Facebook: The Effect of Social Relations on Strategic Interaction, Pushmeet Kohli, Yoram Bachrach, David Stillwell, Michael J. Kearns, Ralf Herbrich, and Thore Graepel

PDF

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

PDF

Realizing Compositional Scheduling Through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky

PDF

Take it or Leave it: Running a Survey when Privacy Comes at a Cost, Katrina Ligett and Aaron Roth

PDF

Declarative Constraint Optimization in Distributed Systems, Changbin Liu and Boon Thau Loo

PDF

TROPIC: Transactional Resource Orchestration Platform In The Cloud, Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernández, Boon Thau Loo, and Jacobus E. Van der Merwe

PDF

Cologne: A Declarative Distributed Constraint Optimization Platform, Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu

PDF

Implementing Network Protocols as Distributed Logic Programs, Boon Thau Loo

PDF

Recent Advances in Declarative Networking, Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, and Wenchao Zhuo

PDF

Declarative Networking, Boon Thau Loo and Wenchao Zhuo

PDF

An Axiomatic Memory Model for POWER Multiprocessors, Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo Martin, Peter Sewell, and Derek Williams

PDF

MOSAIC: Declarative Platform for Dynamic Overlay Composition, Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith

PDF

Why On-Chip Cache Coherence is Here to Stay, Milo Martin, Mark D. Hill, and Daniel J. Sorin