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
     Overview . Publications . Software . Service . Awards & Scholarship
 
    Overview
    My focus area is theoretical methods, analysis tools, and systems support for building efficient cyber-physical systems (CPS) (such as automotive, avionic, and medical systems) with provable safety and timing guarantees. I am also interested in developing reliable cloud platforms that can provide real-time performance and service guarantees for distributed safety-critical, mission-critical, and IoT applications. Recently, I have started working on methods for defending CPS against malicious attacks.

    I am a member of the PRECISE Center and the Real-Time Systems Group.
    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.
    • DATE - Topic E3: Model-based Design and Verification (DATE), 2015.
  • 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 Conference (DAC), 2015.
    • Design Automation and Test in Europe (DATE), 2014, 2015.
    • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014, 2015.
    • IEEE Real-Time Systems Symposium (RTSS), 2012, 2013, 2015.
    • ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 2015.
    • 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, 2015.
    • 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