Linh T. X. Phan

Linh Thi Xuan Phan

	2012
j3		Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan: State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems 48(4): 430-462 (2012)
c16		BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky: A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP 2012: 16-22
c15		Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky: Realizing Compositional Scheduling through Virtualization. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 13-22
	2011
j2		Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee: Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Review 8(1): 38-45 (2011)
j1		Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky: CARTS: a tool for compositional analysis of real-time systems. SIGBED Review 8(1): 62-63 (2011)
c14		Linh T. X. Phan, Insup Lee, Oleg Sokolsky: Compositional analysis of real-time embedded systems. CASES 2011: 237-238
c13		Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky: Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 81-90
c12		Linh T. X. Phan, Insup Lee, Oleg Sokolsky: A Semantic Framework for Mode Change Protocols. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 91-100
c11		Linh T. X. Phan, Insup Lee: Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems. RTCSA (2) 2011: 67-73
c10		Deepak Gangadharan, Linh T. X. Phan, Samarjit Chakraborty, Roger Zimmermann, Insup Lee: Video Quality Driven Buffer Sizing via Frame Drops. RTCSA (1) 2011: 319-328
c9		Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee: An empirical analysis of scheduling techniques for real-time cloud-based data processing. SOCA 2011: 1-8
	2010
c8		Linh T. X. Phan, Insup Lee, Oleg Sokolsky: Compositional Analysis of Multi-mode Systems. ECRTS 2010: 197-206
c7		Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee: Modeling buffers with data refresh semantics in automotive architectures. EMSOFT 2010: 119-128
	2009
c6		Ioana Cutcutache, Thi Thanh Nga Dang, Wai Kay Leong, Shanshan Liu, Kathy Dang Nguyen, Linh Thi Xuan Phan, Joon Edward Sim, Zhenxin Sun, Teck Bok Tok, Lin Xu, Francis Eng Hock Tay, Weng-Fai Wong: BSN Simulator: Optimizing Application Using System Level Simulation. BSN 2009: 9-14
c5		Anne Bouillard, Linh T. X. Phan, Samarjit Chakraborty: Lightweight Modeling of Complex State Dependencies in Stream Processing Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 195-204
c4		Linh T. X. Phan, Samarjit Chakraborty, Insup Lee: Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. RTSS 2009: 271-280
	2008
c3		Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan: A Multi-mode Real-Time Calculus. RTSS 2008: 59-69
	2007
c2		Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele: Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. RTSS 2007: 343-352
	2005
c1		Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan: Event Count Automata: A State-Based Model for Stream Processing Systems. RTSS 2005: 87-98

Coauthor Index

Last update Tue May 21 08:53:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page