Publications

• Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. M. Xu, L.T.X. Phan, I. Lee, O. Sokolsky, S. Xi, C. Lu and C. Gill. Proc. of the IEEE Real-Time Systems Symposium (RTSS), 2013 (To Appear)
• Improving Schedulability of Fixed-Priority Real-Time Systems using Shapers. L. T. X. Phan and I. Lee. Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013.
• Overhead-aware Compositional Analysis of Real Time Systems. L.T. X. Phan, M. Xu, I. Lee, and O. Sokolky. Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013.
• Realizing Compositional Scheduling through Virtualization. J. Lee, S. Xi, S. Chen, L.T.X. Phan, C. Gill, I. Lee, C. Lu and O. Sokolsky. Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012.
• Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. S. Chen, L. T. X. Phan, J. Lee, I. Lee and O. Sokolsky. Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011.
• A Semantic Framework for Multi-Mode Systems. L. T.X. Phan, I. Lee, and O. Sokolsky. RTAS 2011. Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011.
• Compositional Analysis of Multi-Mode Systems. L. T.X. Phan, I. Lee, and O. Sokolsky. Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), 2010.
• CARTS: A Tool for Compositional Analysis of Real-Time Systems. L. T. X. Phan, J. Lee, A. Easwaran, V. Ramaswamy, I. Lee, and Oleg Sokolsky. Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2010.
• Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces. L. T. X. Phan, J. Lee, S. Chen, Oleg Sokolsky and I. Lee. Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2010.
• A Compositional Analysis Framework for Hierarchical and Partitioned Real-Time Systems. I. Lee. AFOSR Meeting, 2009.
• Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. I. Shin, A. Easwaran, and I. Lee. Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), 2008.
• Compositional Analysis Framework using EDP Resource Models. A. Easwaran, M. Anand and I. Lee. Proc. of the IEEE Real-Time Systems Symposium (RTSS), 2007.
• Incremental Schedulability Analysis of Hierarchical Real-Time Components. A. Easwaran, I. Shin, O. Sokolsky and I. Lee. Proc. of the Annual ACM Conference on Embedded Software (EMSOFT), 2006.
• Periodic Resource Model for Compositional Real-Time Guarantees. I. Shin and I. Lee. In Proc. of the IEEE Real-Time Systems Symposium (RTSS), 2003.