|
Linh Thi Xuan PHAN, Ph.D.
Research Associate
University of Pennsylvania Computer and Information Science Department 3330 Walnut Street Philadelphia, PA 19104-6389 Office: 279 South, Levine Hall Email: linhphan AT cis.upenn.edu |
- Formal modeling and compositional analysis of real-time embedded systems
- Automata and verification
- Game theory and its application to synthesis and performance evaluation of real-time systems
- Composition of Real-Time Calculus and automata-theoretic techniques
Research Interests
- Arvind Easwaran, Madhukar Anand, Insup Lee, Linh T.X. Phan, and Oleg Sokolsky.
Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierarchical Systems
Workshop on Reconciling Performance with Predictability (RePP), Grenoble, France, Oct 2009. - Linh T.X. Phan, Samarjit Chakraborty and Insup
Lee.
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems
30th IEEE Real-Time Systems Symposium (RTSS), Washington DC, Dec 2009. - K. D. Nguyen, I. Cutcutache, E. Sim, Linh T.X.
Phan, N.T.T. Dang, K. Wai, Z. Sun, S. Liu, T.B. Tok, L. Xu, F. E.H. Tay and W.F.
Wong.
BSN Simulator: Optimizing Application Using System Level Simulation.
6th International Workshop on Wearable and Implantable Body Sensor Networks, Berkeley, California, Jun 2009. - Anne Bouillard, Linh T.X. Phan and Samarjit Chakraborty.
Lightweight Modeling of Complex State Dependencies in Stream-Processing Systems
15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, California, Apr 2009. - Linh T.X. Phan, Samarjit Chakraborty, and P. S. Thiagarajan
A Multi-Mode Real-Time Calculus
29th IEEE Real-Time Systems Symposium (RTSS), Barcelona, Spain, Dec 2008. - K. D. Nguyen, I. Cutcutache, S. Sinnadurai, S. Liu, C. Basol, E. Sim,
L. T. X. Phan, T. B. Tok, L. Xu, F. E. H. Tay, T. Mitra, W. F. Wong
Fast and Accurate Simulation of Biomonitoring Applications on a Wireless Body Area Network
5th International Workshop on Wearable and Implantable Body Sensor Networks, Hong Kong, China, Jun 2008. - 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
28th IEEE Real-Time Systems Symposium (RTSS), Tucson, Arizona, Dec 2007 - Samarjit Chakraborty, Linh T.X. Phan and P.S. Thiagarajan
Event Count Automata: A State-based Model for Stream Processing Systems
26th IEEE Real-Time Systems Symposium (RTSS), Miami, Florida, Dec 2005
Publications
- Professional Experience
- Research assistant @ Embedded System Laboratory, School of Computing, National University of Singapore, Singapore (Aug 07-Feb 09)
- Internship @ Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland (Oct 06 - Apr 07)
- Teaching assistant for
- CIS 480/CIS 899 Embedded and Cyber Physical Systems (2009)
- CS4271 Critical Systems and their Verification (2008)
- CS5270 Verification of Real-time Systems (2002/03, 2004/05)
- CS4272 Hardware-software Codesign (2004-2006)
- CS1101S Programming Methodology ( 2000-2002)