Follow

Papers from 2017

PDF

Data Predictive Control for building energy management, Achin Jain, Madhur Behl, and Rahul Mangharam

PDF

Extensible Energy Planning Framework for Preemptive Tasks, Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, 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

Papers from 2016

PDF

Data Predictive Control for Peak Power Reduction, Achin Jain, Madhur Behl, and Rahul Mangharam

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

Papers from 2015

PDF

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

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 Compositional Mixed-Criticality Real-Time Scheduling in Open Systems, Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam

PDF

Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam

PDF

Co-design of Anytime Computation and Robust Control (Supplemental), Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X Nghiem, Joesph Deveitti, and Rahul Mangharam

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

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

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

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

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

A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems, Madhukar Anand, Sebastian Fischmeister, 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

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

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

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

PADS: An Approach to Modeling Resource Demand and Supply for the Formal Analysis of Hierarchical Scheduling, Anna Philippou, Insup Lee, and Oleg Sokolsky

Papers from 2011

PDF

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time System, Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky

PDF

Video Quality Driven Buffer Sizing via Frame Drops, Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee

PDF

Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems, Linh T.X. Phan and Insup Lee

PDF

Compositional Analysis of Real-Time Embedded Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

A Semantic Framework for Mode Change Protocols, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

An Empirical Analysis of Scheduling Techniques for Real-Time Cloud-Based Data Processing, Linh T.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, and Insup Lee

Papers from 2010

PDF

Improving Resource Utilization for Compositional Scheduling Using DPRM Interfaces, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee

PDF

Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

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

PDF

Modeling Buffers With Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee

PDF

A Process Algebraic Framework for Modeling Resource Demand and Supply, Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi

PDF

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

Papers from 2009

PDF

A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal

PDF

Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee

PDF

Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee

PDF

Specification and Analysis of Network Resource Requirements of Control Systems, Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur

Papers from 2008

PDF

RTComposer: A Framework for Real-Time Components With Scheduling Interfaces, Rajeev Alur and Gera Weiss