Pavithra Prabhakar
Pavithra Prabhakar

Ph.D. University of Illinois at Urbana-Champaign, 2011
Assistant Research Professor (tenure-track)
IMDEA Software Institute

Research Interests

(Opening) If you are interested in an internship, PhD or postdoctoral position in topics related to Formal Methods and/or Cyber-Physical Systems, send me an email.



Program Committee (PC) Member:




Representative Publications

  1. Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
    Pavithra Prabhakar, Jun Liu and Richard M. Murray.
    International Conference on Embedded Software (EMSOFT), 2013.
    Abstract BiB PS PDF
  2. Abstraction Based Model-Checking of Stability of Hybrid Systems.
    Pavithra Prabhakar and Miriam García Soto.
    25th International Conference on Computer Aided Verification (CAV), 2013.
    Abstract BiB PS PDF
  3. A dynamic algorithm for approximate flow computations.
    Pavithra Prabhakar and Mahesh Viswanathan.
    14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2011.
    Abstract BiB PS PDF
  4. STORMED Hybrid Systems.
    Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
    Automata, Languages and Programming, 35th International Colloquium (ICALP), 2008.
    Abstract BiB PS PDF
  5. Verifying Tolerant Systems Using Polynomial Approximations.
    Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan and Geir E. Dullerud.
    30th IEEE Real-Time Systems Symposium (RTSS), 2009.
    Abstract BiB PS PDF