|
PHAN Thi Xuan Linh, PhD candidate Embedded Systems Lab 1Computing 1 #01-16, Law Link Singapore 117590 (see map) Tel: +65 6516 6836 Email: phanthix@comp.nus.edu.sg |
- Modeling and performance analysis of real-time systems
- Formal verification and model checking techniques
- Task scheduling in real-time systems
Research Interests
- Linh T.X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, and Lothar Thiele
Composing Functional and State-based Performance Models for Analyzing Heterogeneous Real-Time Systems
in the proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS), Tucson, Arizona, December 2007 - Samarjit Chakraborty, Linh T.X. Phan and P.S. Thiagarajan
Event Count Automata: A State-based Model for Stream Processing Systems
IEEE Real-Time Systems Symposium (RTSS), Miami, Florida, December 2005
Publications
- Professional Experience
- Research assistant (since Aug 07)
- Internship @ Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland (Oct 06 - Apr 07)
- Teaching assistant for