Karthikeyan Bhargavan, Ph.D.

Affiliations: 
2003 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Computer Science
Google:
"Karthikeyan Bhargavan"

Parents

Sign in to add mentor
Carl A. Gunter grad student 2003 Penn
 (Network event recognition.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bhargavan K, Gunter CA. (2005) Network event recognition Formal Methods in System Design. 27: 213-251
Bhargavan K, Obradovic D, Gunter CA. (2002) Formal verification of standards for distance vector routing protocols Journal of the Acm. 49: 538-576
Bhargavan K, Gunter CA. (2002) Requirements for a practical network event recognition language Electronic Notes in Theoretical Computer Science. 70: 3-22
Bhargavan K, Chandra S, McCann PJ, et al. (2001) What packets may come: Automata for network monitoring Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 206-219
Bhargavan K, Gunter CA, Obradovic D. (2000) Routing information protocol in hol/spin Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1869: 53-72
Bhargavan K, Gunter CA, Gunter EL, et al. (1998) The village telephone system: A case study in formal software engineering Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1479: 49-66
See more...