Vinayak Prabhu

I completed my PhD in 2008 from the department of Electrical Engineering and Computer Sciences at UC Berkeley working under Prof. Thomas A. Henzinger. My research interests lie in formal verification, security, real-time and hybrid systems, and software testing and model checking.

Publications

  1. Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, and Oleg Sokolsky. QuanTM: A quantitative trust management system. Proceedings of the Second European Workshop on System Security, ACM 2009, pp. 28-35.
  2. Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak Prabhu. Timed parity games: Complexity and robustness. Proceedings of the Sixth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 5215, Springer 2008, pp. 124-140.
    An expanded version appears as CoRR abs/0807.1165
  3. Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak Prabhu. Trading infinite memory for uniform randomness in timed games. Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC), LNCS 4981, Springer 2008, pp. 87-100.
    An expanded version appears as TechnicalReport-EECS-2008-4.pdf
  4. Thomas Brihaye, Thomas A. Henzinger, Vinayak Prabhu, and Jean-Francois Raskin. Minimum-time reachability in timed games. Proceedings of the Thirty Fourth International Colloquium on Automata, Languages, and Programming (ICALP), LNCS 4596, Springer 2007, pp. 825-837.
    An expanded version appears as TechnicalReport-EECS-2007-47.pdf
  5. Thomas A. Henzinger and Vinayak Prabhu. Timed alternating-time temporal logic. Proceedings of the Fourth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 4202, Springer, 2006, pp. 1-17.
  6. Thomas A. Henzinger, Rupak Majumdar, and Vinayak Prabhu. Quantifying similarities between timed systems. Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 3829, Springer, 2005, pp. 226-241.
  7. Thomas A. Henzinger, Marius Minea, and Vinayak Prabhu. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the Fourth International Workshop on Hybrid Systems: Computation and Control (HSCC), LNCS 2034, Springer, 2001, pp. 275-290.


Contact Information

Vinayak Prabhu