☰

Abhay Vardhan, Ph.D.

Affiliations: 
2006 University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Google:
"Abhay Vardhan"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Gul Agha grad student 2006 UIUC
 (Learning to verify systems.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
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.

Vardhan A, Viswanathan M. (2007) Learning to verify branching time properties Formal Methods in System Design. 31: 35-61
Sen K, Vardhan A, Agha G, et al. (2006) Decentralized runtime analysis of multithreaded applications 20th International Parallel and Distributed Processing Symposium, Ipdps 2006. 2006
Vardhan A, Sen K, Viswanathan M, et al. (2005) Using language inference to verify omega-regular properties Lecture Notes in Computer Science. 3440: 45-60
Vardhan A, Sen K, Viswanathan M, et al. (2004) Learning to verify safety properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3308: 274-289
Vardhan A, Sen K, Viswanathan M, et al. (2004) Actively learning to verify safety for FIFO automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328: 494-505
Sen K, Vardhan A, Agha G, et al. (2004) Efficient decentralized monitoring of safety in distributed systems Proceedings - International Conference On Software Engineering. 26: 418-427
Vardhan A, Agha G. (2003) Using passive object garbage collection algorithms for garbage collection of active objects Acm Sigplan Notices. 38: 213-220
See more...