Linh Thi Xuan PHAN
Research Assistant Professor
University of Pennsylvania
Computer and Information Science Department
Levine 311
3330 Walnut Street
Philadelphia, PA 19104-6389

Phone:   +1 (215) 898-2012
Email:   linhphan AT cis.upenn.edu
     Research Interests . Publications . Software . Service . Awards & Scholarship . Affiliations
 
    Research Interests
  • Adaptive cyber-physical systems: Multi-mode theories; compositional analysis and component-based design;
    run-time verification; platform and adaptive controller co-design.
  • Distributed real-time control embedded systems: Formal modeling and performance analysis; fault-tolerant techniques;
    compositions of automata, real-time scheduling, and network calculus theories.
  • Cloud computing: Resource management and scheduling.
    Software
  • CARTS: Compositional analysis tool for real-time systems
  • RT-Xen: Real-time Xen virtualization platform
    Service
  • Program Committee Co-Chair
    • Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2011.
    • Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2011.
  • Publicity Chair, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2013.
  • Web Chair, Cyber-Physical Systems Week, 2013.
  • Work-In-Progress Chair, Euromicro Conference on Real-Time Systems (ECRTS), 2013.
  • Program Committee Member
    • Design Automation and Test in Europe (DATE), 2014.
    • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
    • IEEE Real-Time Systems Symposium (RTSS), 2012, 2013.
    • IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2013.
    • IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2013
    • Euromicro Conference on Real-Time Systems (ECRTS), 2013.
    • IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013.
    • IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2010, 2011, 2012, 2013.
    • IEEE International Conference on Parallel and Distributed Systems (ICPADS), 2013.
    • IEEE Real-Time Systems Symposium, Work-In-Progress, 2012.
    • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Work-In-Progress, 2010, 2011, 2012.
    • Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2012, 2013.
    • International Workshop on Grid Friendly Computing (GFC), 2013.
    • Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2010, 2012, 2013.
    • Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2011, 2012.
    • International Workshop on Worst-case Traverse Time (WCTT), 2011, 2012.
    • RTSS@Work, 2011, 2012.
    • International Conference on Embedded and Multimedia Computing (EMC), 2010, 2011.
    • Brazilian Workshop on Real-Time Systems (WTR), 2011.
    Awards & Scholarships
  • Best Paper Nominee, Real-Time Systems Symposium (2013)
  • Best Paper Candidate, International Conference on Embedded Software (2010)
  • NUS Dean's Graduate Research Excellence (2009)
  • NUS Graduate Scholarship (2003 to 2007)
  • Singapore Scholarship (1999 to 2003)
  • Dean's list (1999-2000)
Last updated: Jan, 2014