Papers from 2019
Technical Report: Anytime Computation and Control for Autonomous Systems, Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, and Rahul Mangharam
Holistic resource allocation for multicore real-time systems, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, and Insup Lee
Papers from 2018
Real-time Decision Policies with Predictable Performance, Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, and Alena Rodionova
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
Data Freshness Over-Engineering: Formulation and Results, Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee
Learning and Control using Gaussian Processes, Achin Jain, Truong X Nghiem, Manfred Morari, and Rahul Mangharam
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
Papers from 2017
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles, Houssam Abbas, Matthew O'Kelly, Alena Rodionova, and Rahul Mangharam
Data Predictive Control for building energy management, Achin Jain, Madhur Behl, and Rahul Mangharam
Data Predictive Control using Regression Trees and Ensemble Learning, Achin Jain, Francesco Smarra, and Rahul Mangharam
Extensible Energy Planning Framework for Preemptive Tasks, Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee
MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling, Jaewoo Lee, Hoon Sung Chwa, Linh T.X. Phan, Insik Shin, and Insup Lee
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
AutoV: An Automotive Testbed for Real-Time Virtualization, Meng Xu and Insup Lee
vCAT: Dynamic Cache Management Using CAT Virtualization, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, and Insup Lee
Papers from 2016
Data Predictive Control for Peak Power Reduction, Achin Jain, Madhur Behl, and Rahul Mangharam
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
Fault Tolerance and the Five-Second Rule, Ang Chen, Hanjun Xiao, Andreas Haeberlen, and Linh T.X. Phan
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
Towards Compositional Mixed-Criticality Real-Time Scheduling in Open Systems, Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, and Insup Lee
Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam
Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam
Co-design of Anytime Computation and Robust Control (Supplemental), Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X Nghiem, Joesph Deveitti, and Rahul Mangharam
Cache-aware Interfaces for Compositional Real-Time Systems, Linh T.X. Phan, Meng Xu, and Insup Lee
Mixed-Criticality Scheduling on Multiprocessors using Task Grouping, Jiankang Ren and Linh T.X. Phan
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
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
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
Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms, Dionisio de Niz and Linh T.X. Phan
The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems With OpenFlow, Andrew L. King, Sanjian Chen, and Insup Lee
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
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
A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems, Madhukar Anand, Sebastian Fischmeister, and Insup Lee
Overhead-Aware Compositional Analysis of Real-Time Systems, Linh T.X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, and Oleg Sokolsky
Co-design of Control and Platform With Dropped Signals, Damoon Soudbakhsh, Linh T.X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy
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
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
Realizing Compositional Scheduling Through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky
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
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time System, Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky
Video Quality Driven Buffer Sizing via Frame Drops, Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee
Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems, Linh T.X. Phan and Insup Lee
Compositional Analysis of Real-Time Embedded Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
A Semantic Framework for Mode Change Protocols, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
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
Improving Resource Utilization for Compositional Scheduling Using DPRM Interfaces, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee
Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
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
Modeling Buffers With Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee
A Process Algebraic Framework for Modeling Resource Demand and Supply, Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi
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
A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal
Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee
Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee
Specification and Analysis of Network Resource Requirements of Control Systems, Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur
Papers from 2008
RTComposer: A Framework for Real-Time Components With Scheduling Interfaces, Rajeev Alur and Gera Weiss